Please note that this newsitem has been archived, and may contain outdated information or links.
15 December 2016, Provability and Modal Logic
Date: Thursday 15 December 2016
Time: 10:00-17:00
Location: Room F1.15, ILLC, Science Park 107, Amsterdam
The Institute for Logic, Language, and Computation at the University of Amsterdam hosts a workshop on Provability and Modal Logic.
Experts in the field of provability logic and related areas wil give talks on topics related to arithmetic, proof theory, and modal logic.
Attendance is free, but registration is required. In order to register, please send a mail to paulahenk at gmail.com before December the 9th.
For more information, see
http://events.illc.uva.nl/Workshops/PML2016/
or contact Paula Henk at paulahenk at gmail.com.
Please note that this newsitem has been archived, and may contain outdated information or links.