15 Dec 2016
Amsterdam, The Netherlands
The Institute for Logic, Language, and Computation at the University of Amsterdam hosts a workshop on *Provability and Modal Logic.* *Date*: 15 December 2016 *Venue*: Room F1.15, ILLC, Science Park 107, Amsterdam Experts in the field of provability logic and related areas will give talks on topics related to arithmetic, proof theory, and modal logic. The *programme* can be found at: http://events.illc.uva.nl/Workshops/PML2016/ Attendance is free, but *registration* is required. In order to register, please send a mail to: paulahenk@gmail.com before *December the 9th*. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam