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).
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:00 | Welcome coffee |
| 10:00-10:15 | Opening |
| 10:15-11:15 | Session 1 Jan von Plato (U. of Helsinki), Kurt Gödel's life and work in the light of his shorthand notebooks |
| 11:15-11:30 | Break |
| 11:30-12:30 |
Veiko Palge (UT), Is quantum mechanics logical? Amirouche Moktefi (TUT), An execrably bad logician |
| 12:30-13:30 | Lunch |
| 13:30-14:30 | Session 2 Valentin Goranko (Stockholm U.), Logics for strategic reasoning of socially interacting rational agents |
| 14:30-15:00 | Philipp Joram (TUT), Algebraic data types with symmetries |
| 15:00-15:30 | Coffee break |
| 15:30-16:30 | Session 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:15 | Discussion |
| 17:15-17:45 | Guided 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!
Amirouche Moktefi, Tarmo Uustalu, Niccolò Veltri
We are grateful for the support of the Department of Computer Science.
Get in touch with Amirouche Moktefi (firstname.lastname@taltech.ee), Tarmo Uustalu (firstname@cs.ioc.ee) or Niccolò Veltri (firstname@cs.ioc.ee).