LI2022: Logic and transdisciplinarity research school, Feb. 7, 2022 – Feb. 11, 2022
The goal of this week is to draw a picture of the situation of logic at the interface of several disciplines: mathematics, computer science, philosophy, linguistics.
Seven half-days will be devoted to courses presenting a series of selected themes:
- Logic, Language, Representation
- Curry-Howard-Lambek correspondence
- Proofs and Meaning
- Looking for the essence of proofs with their mathematical representation 7. Meaning and Interaction
Two afternoons will be devoted to research presentations by guest speakers that will present alternative and recent approaches, thus showing the timeliness of the questions discussed during the courses.