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.