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.

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 before December the 9th.

For more information, see http://events.illc.uva.nl/Workshops/PML2016/ or contact Paula Henk at .

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