Third International Wormshop
Workshop on Proof Theory, Modal Logic and Reflection Principles
Tbilisi, Georgia
Monday, September 5 -- Friday, September 9, 2016
Home
Confirmed Speakers
Program
Venue
Organizing Committee
Practical Information
Past Editions
Past Editions
First International Wormshop - Barcelona, 2012
Second International Wormshop - Mexico DF, 2014