World Logic Day 2022 in Tallinn

hosted by

of Tallinn University of Technology (TUT)

WLD 2022 Logic in Estonia Workshop

This online 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.


Here is the Zoom link:

All times are Tallinn time (GMT+2).

Talk abstracts

10:00-10:30Opening, round of introductions (Chair: Tarmo Uustalu)
10:30-12:00Session 1 (Chair: Paweł Sobociński)
Mario Román (TUT), Pluralism, and linear logic for constructive mathematics
Cheng-Syuan Wan (TUT), Proof theory of skew non-commutative MILL
Niccolò Veltri (TUT), Normalization by evaluation for the Lambek calculus
12:00-13:00Lunch break
13:00-14:30Session 2 - Invited talks (Chair: Niccolò Veltri)
Anupam Das (University of Birmingham), The rise and fall of structure in proof theory
Francesco Bellucci (University of Bologna), Assertion, conjunction, and other signs of logic
14:30-15:00Coffee break
15:00-16:30Session 3 (Chair: Amirouche Moktefi)
Ahti-Veikko Pietarinen (TUT), The 1903 Lowell lectures: A synopsis of logical contributions
Nathan Haydon (TUT), Peirce's 'Note B' in a modern context
Indrek Lõbus (University of St Andrews), Frege and Tarski on generality


Amirouche Moktefi, Ahti-Veikko Pietarinen, Tarmo Uustalu, Niccolò Veltri


Get in touch with Amirouche Moktefi ( or Tarmo Uustalu (

Last updated 14 January 2022