University of Wyoming
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 | Proofs-as-Programs: from the Curry-Howard Isomorphism to Programming Practice |
| November 29 | None | |
| December 6 | Dr. Caldwell | Proofs-as-Programs: from the Curry-Howard 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 |
|
Department of Philosophy |
Department of Computer Science |
University of Wyoming | Laramie |