Fall 1999 Meetings

Date  Speaker  Subject (and notes) 
October 18  Dr. Cowles  A formalization of Knuth's generalization of McCarthy's 91 function in ACL2. 
October 25  Dr. Forrester  Strength of
Obligations 
November 8  Dr. Forrester  Strength of
Obligations 
November 15  Dr. Forrester  Strength of
Obligations 
November 22  Dr. Caldwell  ProofsasPrograms: from
the CurryHoward Isomorphism to Programming Practice 
November 29  None 
December 6  Dr. Caldwell  ProofsasPrograms: from the CurryHoward
Isomorphism to Programming Practice 
Spring
2000 Meetings


Date  Speaker  Subject (and notes) 
February 21  Mr. Paul  Theorem Proving and Program
Synthesis in the Domain of Projective
Geometry  2:00 pm. Hoyt Hall, Room 327 
February 28  Dr. Hill  Kleene's Recursion Theorem
(Fixed Points)  2:00 pm. Wyoming Hall, Rm. 204 
March 6  Dr. Cowles  More on Kleene's Recursion Theorem  2:00 pm. Wyoming Hall, Rm. 204 
March 20  Dr. Branting  On the adequacy of Tarskian semantics for natural language. 
TBA  Dr. Gantenbein  Ethics
and Deontic Logic in Computer Science 