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.

8 October 2015, Colloquium on Mathematical Logic, Marta Bilkova

Speaker: Marta Bilkova
Title: Uniform Interpolation in Provability Logics via Proof Theory
Date: Thursday 8 October 2015
Time: 16:00-17:00
Location: A.W. De Grootkamer (room 0.19), Trans 8, Utrecht

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

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