Perspectives on Research in Logic
Organization
The advanced training course, organized by Scuola Normale Superiore, is funded by the PNRR through the MERITA, the network for talent project*.
Date: 18 – 20 June, 2026
Location: Scuola Normale Superiore, Pisa
Total hours: 16
Max participants: 15
Language: English
NEW Application deadline: May 06, 2026
Target audience: PhD students, postdocs or young researchers with a Master's degree in Logic or in a related field
The course has the aim of bringing together researchers working in diverse areas of logic to present and discuss key contemporary research themes, ranging from proof theory to the semantics of non-classical logics. Particular attention is given to both technical developments and their philosophical significance. The programme consists of a series of lectures designed to introduce participants to current lines of research and ongoing debates in logic, while also providing young researchers with a broad overview of the field.
Programme:
Thursday, 18 June
14.45–15.00 | Opening
15.00–17.00 | Roberto Giuntini | Università di Cagliari
From Sharp to Unsharp Foundations and Recent Directions in Quantum Logic
17.00–17.30 | Coffee break
17.30–19.30 | Marco Pedicini | Università Roma Tre
Computational Content of Proofs and Cryptographic Reasoning
20.00 | Dinner
Friday, 19 June
9.00–11.00 | Ivano Ciardelli | Università di Padova
Inquisitive Logic
11.00–11.30 | Coffee break
11.30–13.30 | Sara Ugolini | IIIA-CSIC, Barcelona
Conditionals in Algebraic Logic
13.30–15.00 | Lunch
15.00–17.00 | Francesca Poggiolesi | Université Paris 1 Panthéon-Sorbonne / CNRS, IHPST
From Modal Logic to Dynamic Epistemic Logic via Hypersequents
17.00–17.30 | Coffee break
17.30–19.30 | Margherita Zorzi | Università di Verona
Proof Theory: From Mathematical Logic to Computation
20.00 | Dinner
Saturday, 20 June
9.00–11.00 | Lorenzo Rossi | Università di Torino
Supervaluational Truth and Quantifiers
11.00–11.30 | Coffee break
11.30–13.30 | Andrew Tedder | Ruhr University Bochum
Relevant Logics
13.30 | Lunch
____________________________________
* MERITA, the network for talent project is the result of a collaboration between five Italian academic institutions: the Scuola Normale Superiore, the Scuola Superiore Sant’Anna, the Collegio Superiore dell’Università di Bologna, the Scuola Galileiana di Studi Superiori dell’Università di Padova and the Scuola Superiore di Studi Avanzati della Sapienza Università di Roma.
The MERITA project is funded within the Piano Nazionale di Ripresa e Resilienza (PNRR), Missione 4 – Istruzione e Ricerca, Componente 1, Investimento 3.4 "Didattica e competenze universitarie avanzate"- "Rafforzamento delle Scuole universitarie superiori". (National Recovery and Resilience Plan (PNRR), Mission 4 – Education and Research, Component 1, Investment 3.4 "Advanced university teaching and competences" - "Enhancement of the institutions for higher education").