Program

You can find here a list of suggested restaurants in Bern for your lunches.


09:00 - 10:15 Registration and Welcome Coffee
10:15 - 10:30 Opening Greetings
10:30 - 11:00 Matteo De Benedetto Explicating ‘Explication’ via Conceptual Spaces
11:00 - 11:30 Jannik Vierling Clause Set Cycles and Induction (slides)
11:30 - 12:00 Ana Cholodovskis Belief Changes with Indexical Information (slides)
12:00 - 14:00 Lunch
14:00 - 15:45
15:45 - 16:15
Coffee break
16:15 - 16:45 Grzegorz Lisowski Nominating Representatives in Single-Elimination Tournaments (slides)
16:45 - 17:15 Esther Anna Corsi Attack principles in argumentation frames and coherence in non-reversible betting games (slides)
17:30 - 18:00 Andrea Condoluci A(b)normal Environments (slides)
18:00 - 18:30 Leander Vignero A Computational Pragmatics for Weaseling (slides)
19:00
09:00 - 10:00
10:00 - 10:30
Coffee break
10:30 - 11:00 Ludovica Conti Russell's Paradox and free zig-zag solutions (slides)
11:00 - 11:30 Giovanni Marco Martino An impredicative framework for Frege's Basic Law V (slides)
11:30 - 12:00 Giovanni Soldà Reverse Mathematics of some principles related to partial orders (slides)
12:00 - 14:00 Lunch
14:00 - 15:45
15:45 - 16:15
Coffee break
16:15 - 16:45 Sara Vannucci On Injectivity and Projectivity of MV-semimodules (slides)
16:45 - 17:15 Marco Abbadini Stone-Gelfand duality for groups (slides)
17:15 - 17:45 Louis Vuilleumier On reducibility notions for the Scott domain (slides)
19:00
09:00 - 10:00
10:00 - 10:30
Coffee break
10:30 - 11:00 Nathan Wood and Thijs De Coninck Probabilistic Agent-Dependent Oughts (slides)
11:00 - 11:30 Iris van der Giessen Cut-elimination for Intuitionistic Provability Logic (slides)
11:30 - 12:00 Sara Ayhan The meaning of proofs in different proof systems (slides)
12:00 - 14:00 Lunch
14:00 - 15:45
15:45 - 16:15
Coffee break
16:15 - 16:45 Alexandra Kuncová Ability and Knowledge (slides)
16:45 - 17:15 Edi Pavlovic Sequent Calculi for Logics of Agency: the Deliberative STIT (slides)
17:15 - 17:45 Laurent De Rudder A Sahlqvist theorem for subordination algebras (slides)

Find here the list of all accepted abstracts.