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 June 2012, Colloquium on Mathematical Logic, Giuseppe Greco

Speaker: Giuseppe Greco
Title: Sequent Calculus for the Logic of Public Announcements
Date: Friday 8 June 2012
Time: 16:00 - 17:00
Location: Room 007, Buys Ballot Lab, Princetonplein, Utrecht

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

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