World Logic Day 2023 in Tallinn

hosted by

of Tallinn University of Technology (TUT)

and the Estonian Academy of Sciences


WLD 2023 Logic in Estonia Workshop

Tallinn, Estonian Academy of Sciences, 14 January 2023

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.

Programme

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:00Welcome coffee
10:00-10:30Opening, round of introductions (Chair: Niccolò Veltri)
10:30-12:00Session 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:00Lunch
13:00-14:30Session 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:00Coffee break
15:00-16:00Session 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:30Discussion

Registration

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!

Previous WLD events in Estonia

Organizers

Amirouche Moktefi, Tarmo Uustalu, Niccolò Veltri

Contact

Get in touch with Amirouche Moktefi (firstname.lastname@ttu.ee) or Tarmo Uustalu (firstname@cs.ioc.ee).


Last updated 18 January 2023