Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

8 December 2005 (), Colloquium on Mathematical Logic, Greg Restall

Speaker: Greg Restall (Melbourne)
Title: Proofnets for S5: sequents and natural deduction for modal logic
Date: Thursday 8 December 2005 (<em>Changed!</em>)
Time: 16:00-17:00
Location: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht
(Bus 12 from Utrecht Central Station).

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

Please note that this newsitem has been archived, and may contain outdated information or links.