Spring Quarter 2010

To be added to the Logical Methods mailing list, please send a message to

Also, recall that the Tarski Lectures will take place on the 5th, 7th, and 9th of April. This year's Tarski lecturer is Gregory Hjorth.


April 13
Ulrik Buchholtz (Stanford)
Review of two papers on cut-elimination [Moczydlowski (APAL, 2008) [intuitionistic ZF with inaccessibles] and Miguel and Dowek (PhD thesis of Miguel) for a weaker theory]
(time: 16:15-17:45, room: 380-380X)

April 20
Mikael Vejdemo-Johansson (Stanford)
The Haskell category and categorical constructions in functional programming
(time: 16:15-17:45, room: 380-380X)

April 27
Valeria de Paiva (Cuil, Inc.)
Review of a paper on Cartesian Closed Dialectica Categories [Bodil Biering (APAL, 2008)]
(time: 16:15-17:45, room: 380-380X)

May 3
Wesley Holliday and Thomas Icard (Stanford)
Moorean Phenomena in Epistemic Logic
(time: 16:15-17:45, room: 380-380X)

o Past Seminars and Lunches
o Logic at Stanford