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.

Programme

Here is the Zoom link:

https://eu01web.zoom.us/j/5125377700?pwd=bElsczJNMnM2azFya2k2cytYbS9JUT09

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
16:30-17:00Discussion

Organizers

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

Contact

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


Last updated 14 January 2022