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 will be possible.
Zoom link: This event has already taken place.
All times are Tallinn time (GMT+2).
Talk abstracts, videos (password-protected, ask us for the password)
| 9:30-10:00 | Welcome coffee |
| 10:00-10:30 | Opening, round of introductions (Chair: Niccolò Veltri) |
| 10:30-12:00 | Session 1 (Chair: Niccolò Veltri) Amirouche Moktefi (TUT), Formalization as an epistemological strategy in diagrammatic reasoning Giovanni Mion (Istanbul Technical U), The Kant-Frege view logically examined Tanel Tammet (TUT), First-order reasoning with confidences and exceptions |
| 12:00-13:00 | Lunch |
| 13:00-14:30 | Session 2 (Chair: Amirouche Moktefi) Dominique Unruh (U of Tartu), Quantum Hoare logic... and ghosts Tarmo Uustalu (TUT), Grigori Mints, Estonia and proof theory |
| 14:30-15:00 | Coffee break |
| 15:00-16:00 | Session 3 (Chair: Tarmo Uustalu) Cheng-Syuan Wan (TUT), Skew multiplicative intuitionistic linear logic Andrea Laretto (TUT), Semantics for counterpart-based temporal logics |
| 16:00-16:30 | Discussion |
Participation is free, but please register by filling this form.
If you plan to attend in person, please fill the form by Tue 10 Jan. This is necessary to plan catering. Thanks!
Amirouche Moktefi, Tarmo Uustalu, Niccolò Veltri
Get in touch with Amirouche Moktefi (firstname.lastname@ttu.ee) or Tarmo Uustalu (firstname@cs.ioc.ee).