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.

Programme

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:00-10:15Opening
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:15-11:30Break
11:30-12:30 Veiko Palge (UT), Is quantum mechanics logical?
Amirouche Moktefi (TUT), An execrably bad logician
12:30-13:30Lunch
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:00-17:15Discussion
17:15-17:45Guided tour of the Academy building (history, architecture/interior design) (optional)

Registration

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

Organizers

Amirouche Moktefi, Tarmo Uustalu, Niccolò Veltri

Contact

Get in touch with Amirouche Moktefi (firstname.lastname@taltech.ee), Tarmo Uustalu (firstname@cs.ioc.ee) or Niccolò Veltri (firstname@cs.ioc.ee).


Last updated 24 January 2024