The FLAPS workshop will take place on the 12th of February in Amsterdam. It aims to connect researchers and students interested in fixpoint logics, (cyclic) proof theory and related topics. Participation is free and no registration is required.
The workshop is colocated with the PhD defense of Johannes Kloibhofer. The defense is public and will be held on the 13th of February at 11 am at the Aula of the University of Amsterdam (Singel 411, Amsterdam).
The schedule will be updated in due time.
The workshop will take place in L1.12 at Lab42 in Science Park Amsterdam. Click here for the address.
There will be a workshop dinner. Note that the dinner is only covered for the speakers, others need to pay themselves. If you want to join the dinner, please fill in the form here (TODO) so that we can make a reservation.
For any questions please contact Daniël Otten at daniel@otten.co or Johannes Kloibhofer at j.kloibhofer@uva.nl.