Embedded Files
18/02/2026
18/02/2026
10:00 - 11:30
Some variants of proof-theoretic semantics and their relations with intuitionistic logic and the ecumenical project
Some variants of proof-theoretic semantics and their relations with intuitionistic logic and the ecumenical project
Dag Prawitz & Antonio Piccolomini D'Aragona
11:30 - 12:30
Cyclic proofs for Gödel-Löb modal logics: classical and intuitionistic
Cyclic proofs for Gödel-Löb modal logics: classical and intuitionistic
Iris van der Giessen
12:30 - 14:00
Lunch
Lunch
14:00 - 15:00
The proof theory of linear logic using negative connectives
The proof theory of linear logic using negative connectives
Dale Miller
15:00 - 15:30
Coffee break
Coffee break
15:30 - 16:30
On the Various Translations between Classical, Intuitionistic and Linear Logic
On the Various Translations between Classical, Intuitionistic and Linear Logic
Gilda Ferreira & Paulo Oliva
19/02/2026
19/02/2026
09:00 - 10:00
Connections between classical and intuitionistic propositional logic
Connections between classical and intuitionistic propositional logic
Jan von Plato
10:00 - 11:00
TBA
TBA
Sara Negri
11:00 - 11:30
Coffee break
Coffee break
11:30 - 12:00
Modal logics: Semantics Without Worlds
Modal logics: Semantics Without Worlds
Carlos Olarte
12:00 - 12:30
Ecumenism, provability and proofs
Ecumenism, provability and proofs
Tiago de Castro Alves
12:30 - 14:00
Lunch
Lunch
14:00 - 18:00
Free afternoon
Free afternoon
For discussions or sightseeing
Social dinner
20/02/2026
20/02/2026
10:00 - 11:00
Logical Principles and Inferences in Nonclassical Theories
Logical Principles and Inferences in Nonclassical Theories
Rosalie Iemhoff
11:00 - 12:00
TBA
TBA
Tor Sandqvist
12:00 - 14:00
Lunch
Lunch
14:00 - 15:00
From translations to non-collapsing logic combinations
From translations to non-collapsing logic combinations
Cristina Sernadas & João Rasga
15:00 - 15:30
Coffee break
Coffee break
15:30 - 16:30
TBA
TBA
Sebastian Enqvist
16:30 - 17:30
Discussion: the ecumenical agenda & the future
Discussion: the ecumenical agenda & the future
Page updated
Google Sites
Report abuse