hosted by
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.
Zoom link: This event has already taken place.
All times are Tallinn time (GMT+2).
Talk abstracts, videos (password-protected, ask us for the password)
| 10:00-10:30 | Opening, round of introductions (Chair: Tarmo Uustalu) |
| 10:30-12:00 | Session 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:00 | Lunch break |
| 13:00-14:30 | Session 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:00 | Coffee break |
| 15:00-16:30 | Session 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:00 | Discussion |
Amirouche Moktefi, Ahti-Veikko Pietarinen, Tarmo Uustalu, Niccolò Veltri
Get in touch with Amirouche Moktefi (firstname.lastname@ttu.ee) or Tarmo Uustalu (firstname@cs.ioc.ee).