clock menu more-arrow no yes

Filed under:

COMPUTER WORKSHOP AT BYU IS SEPT. 10-14

The Laboratory for Applied Logic in Brigham Young University's computer science department will host the eighth International Workshop on Higher Order Logic Theorem Proving and Its Applications, HOL 95, at Aspen Grove Sept. 10-14.

Scientists from Hong Kong, Japan, Great Britain, Germany, Finland, Canada, Denmark, France, Sweden will attend.For more information on the conference, call 378-8113; send e-mail to hol95@lal.cs.byu.edu; or check the World Wide Web page http://lal.cs.byu.edu/lal/hol95/

hol95.html.