Please note that this newsitem has been archived, and may contain outdated information or links.
29 - 30 January 2024, Workshop on Proof Systems for Modal Fixed Point Logics
Date: 29 - 30 January 2024
Time: 09:00-11:30
Location: Room F0.01 at the Bushuis, Kloveniersburgwal 48. Amsterdam
On 29 and 30 January 2024 the workshop Proof Systems for Modal Fixed Point Logics takes place at the University of Amsterdam. The workshop is associated with two public PhD Defences. Guillermo Menéndez Turata will defend his thesis Cyclic Proof Systems for Modal Fixpoint Logics on 30 January at 13:00 in the Agnietenkapel. Jan Rooduijn will defend his thesis Fragments and Frame Classes: Towards a uniform proof theory for modal fixed point logics on 31 January at 11:00 in the Aula.
For more information, see
https://staff.fnwi.uva.nl/j.m.w.rooduijn/workshop/
or contact Jan Rooduijn at j.m.w.rooduijn at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.