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).
Attending online by Zoom is possible, to receive the Zoom link please register.
Zoom link: This event has already taken place.
All times are Tallinn time (GMT+2).
Talk abstracts, slides (password-protected, ask us for the password)
Talk videos will also appear here soon.
| 9:45-10:00 | Welcome coffee |
| 10:00-10:15 | Opening |
| 10:15-11:05 | Session 1 Andrzej Indrzejczak (U. of Łódź), Bisequent calculus and its applications to non-classical logics |
| 11:05-11:15 | Break |
| 11:15-12:15 |
Indrek Reiland (U. of Vienna), Logic and force Alexander Davies (U. of Tartu), Metacontexts, job roles, an ordinance and its interpretation |
| 12:15-13:15 | Lunch |
| 13:15-14:05 | Session 2 Miika Hannula (U. of Tartu), Consistent query answering |
| 14:05-14:35 | Matthew Earnshaw (TUT), The logic of kinship |
| 14:35-15:05 | Coffee break |
| 15:05-15:55 | Session 3 Paweł Sobociński (TUT), A taste of graphical logic | 15:55-16:55 |
Ioannis Andreou (TUT), Categorical aspects of quantum lambda calculus Amirouche Moktefi (TUT), The outsider |
| 16:55-17:10 | Discussion |
Participation is free, but please register by filling this form.
If you plan to attend in person, please fill the form by Mon 6 Jan. This is necessary to plan catering. Thanks!
Amirouche Moktefi, Tarmo Uustalu, Niccolò Veltri
Get in touch with Amirouche Moktefi (firstname.lastname@taltech.ee), Tarmo Uustalu (firstname@cs.ioc.ee) or Niccolò Veltri (firstname@cs.ioc.ee).