University of Wyoming

Logic Society



Members

Faculty

Students

To reach all members, use mailing list.

Meetings: 4:15 pm. Classroom Building, Room 207 - Refreshments provided, sometimes.

Fall 1999 Meetings

DateSpeakerSubject (and notes)
October 18Dr. CowlesA formalization of Knuth's generalization of McCarthy's 91 function in ACL2.
October 25Dr. ForresterStrength of Obligations
November 8Dr. ForresterStrength of Obligations
November 15Dr. ForresterStrength of Obligations
November 22Dr. CaldwellProofs-as-Programs: from the Curry-Howard Isomorphism to Programming Practice
November 29None
December 6Dr. CaldwellProofs-as-Programs: from the Curry-Howard Isomorphism to Programming Practice


Spring 2000 Meetings

DateSpeakerSubject (and notes)
February 21Mr. PaulTheorem Proving and Program Synthesis in the Domain of Projective Geometry -- 2:00 pm. Hoyt Hall, Room 327
February 28Dr. Hill Kleene's Recursion Theorem (Fixed Points) -- 2:00 pm. Wyoming Hall, Rm. 204
March 6Dr. Cowles More on Kleene's Recursion Theorem -- 2:00 pm. Wyoming Hall, Rm. 204
March 20Dr. BrantingOn the adequacy of Tarskian semantics for natural language.
TBADr. GantenbeinEthics and Deontic Logic in Computer Science


Department of Philosophy
Department of Computer Science
University of Wyoming
Laramie