World Logic Day 2024 in Tallinn

hosted by

of Tallinn University of Technology (TUT)

and the Estonian Academy of Sciences

WLD 2024 Logic in Estonia Workshop

Tallinn, Estonian Academy of Sciences, 15 January 2024

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).

Talk abstracts, slides, videos (password-protected, ask us for the password)

9:45-10:00Welcome coffee
10:15-11:15Session 1
Jan von Plato (U. of Helsinki), Kurt Gödel's life and work in the light of his shorthand notebooks
11:30-12:30 Veiko Palge (UT), Is quantum mechanics logical?
Amirouche Moktefi (TUT), An execrably bad logician
13:30-14:30Session 2
Valentin Goranko (Stockholm U.), Logics for strategic reasoning of socially interacting rational agents
14:30-15:00Philipp Joram (TUT), Algebraic data types with symmetries
15:00-15:30Coffee break
15:30-16:30Session 3
Margus Veanes (Microsoft Research), The impact of logic in formal methods at Microsoft
16:30-17:00 Bruno Carneiro (UT), Incremental Datalog evaluation: the state of the art
17:15-17:45Guided tour of the Academy building (history, architecture/interior design) (optional)


Participation is free, but please register by filling this form.

If you plan to attend in person, please fill the form by Mon 8 Jan. This is necessary to plan catering. Thanks!

Previous WLD events in Estonia


Amirouche Moktefi, Tarmo Uustalu, Niccolò Veltri


Get in touch with Amirouche Moktefi (, Tarmo Uustalu ( or Niccolò Veltri (

Last updated 24 January 2024