hosted by
and the Estonian Academy of Sciences
This in-person event is meant as a friendly get-together for people in or outside of Estonia who are interested in philosophical or mathematical/computer science logic - an opportunity to learn about current logic research in Estonia on both sides of the field and to celebrate the World Logic Day.
The workshop will take place in the grand hall of the Estonian Academy of Sciences (Kohtu 6, Tallinn).
Zoom link: This event has already taken place.
All times are Tallinn time (GMT+2).
| 9:45-10:00 | Welcome coffee |
| 10:00-10:15 | Opening |
| 10:15-11:15 | Session 1 Noam Zeilberger (LIX, École Polytechnique): Fibrational perspectives on logic, automata and language theory |
| 11:15-11:30 | Break |
| 11:30-12:30 |
Niels Voorneveld (Cybernetica): Multimodal logic for knowledge and communication Danel Ahman (U. of Tartu): Intuitionistic modal logic and temporal resource management |
| 12:30-13:30 | Lunch |
| 13:30-14:30 | Session 2 Juha Kontinen (U. of Helsinki): Descriptive complexity of Boolean and algebraic complexity classes |
| 14:30-15:00 | Amirouche Moktefi (TUT): Is 'French logic' an oxymoron? |
| 15:00-15:30 | Coffee break |
| 15:30-16:30 | Session 3 Alessandro Di Giorgio (TUT): Proofs as programs as diagrams Chad Nester (U. of Tartu): A general notion of combinatory completeness |
| 16:30-16:45 | Discussion |
Participation is free, but please register by filling this form.
If you plan to attend in person, please fill the form by Mon 5 Jan. This is necessary to plan catering. Thanks!
Amirouche Moktefi, Tarmo Uustalu, Niccolò Veltri
For the 4th year, we are grateful for the support from the Department of Software Science.
We also acknowledge the generous support of the Estonian Academy of Sciences.
Get in touch with Amirouche Moktefi (firstname.lastname@taltech.ee), Tarmo Uustalu (firstname@cs.ioc.ee) or Niccoló Veltri (firstname@cs.ioc.ee).