University of Idaho Laboratory for Applied Logic Home Page
Computer Science Home Page
Univ. of Idaho Home Page
Welcome to the University of Idaho Laboratory for Applied
Logic (LAL).
We are the one and original LAL, with one branch lab (so far),
BYU-LAL,
located at
Brigham Young University
in Provo, Utah.
The faculty of the LAL are:
Resident CS Faculty:
Resident non-CS Faculty:
Non-Resident Faculty:
The students in the LAL are:
1994-1995 Research Report
Recent LAL Techreports
-
Solving the Maximum Clique Problem with Genetic Programming
T. Soule, J. A. Foster, J. Dickinson, LAL-96-03, Jan 1996
-
Code Growth in Genetic Programming
T. Soule, J. A. Foster, J. Dickinson, LAL-96-02, Jan 1996
-
The LAL Tech Reports
J. Alves-Foss, LAL-96-01, Jan 1996
-
The Use of Generic Specifications in Formal Specification and
Verification
J. Alves-Foss, LAL-95-13, Sep 1995
(38222 bytes)
-
Using Genetic Algorithms to Find Maximum Cliques
T. Soule and J. A. Foster, LAL-95-12, Sep 1995
(152146 bytes)
-
Transposable Element Simulator: Technical Documentation
J. Clough, R. W. Ireland, M. Barnett, and J. A. Foster, LAL-95-11,
Aug 1995
(85381 bytes)
-
Mechanizing a Logic of Authentication in Higher Order Logic
Munna & J. Alves-Foss, LAL-95-10, Aug 1995
(62165 bytes)
-
Understanding the Orange Book Guidelines in a Real-Time Embedded
System Environment
J. Alves-Foss and D. Frincke, LAL-95-09, Aug 1995
-
Assessing Computer Security Vulnerability
J. Alves-Foss and S. Barbosa, LAL-95-08, May 1995
(58604 bytes)
-
Experience Designing and Implementing a Network Security Layer Protocol
D. Anderson and J. Alves-Foss, LAL-95-07, Aug 1995
(112211 bytes)
-
LOTOS: A Specification Language: A Survey of its Applications,
Advantages and Limitations
S. Ghantasala, J. Alves-Foss and D. Frincke, LAL-95-06, April 1995
-
Using Generic Specifications in Software Specification and
Verification
J. Alves-Foss, LAL-95-05, February 1995
(51699 bytes)
-
LAL-95-04 Genetic Algorithm Hardness and Approximation Complexity
: A Research Agenda
J. A. Foster, LAL-95-04, April 1995
(78553 bytes)
April was Cyberspace Month!
In April, the LAL, along with other sponsors,
presented a lecture series on the topic of
"Settling Cyberspace: The Ethical Frontier".
For more information, click
here .
If you missed it, videos were made of all of the lectures. Watch this space
for an announcement of when and where they'll be made available!