Schedule:
9:30-10:15 Pablo Cobreros (UNAV): A limit of the semantic conception of metainference validity
10:15-11:00 Bas Kortenbach (SNS): The Incoherency of Mixed Logics
Coffee Break 11:00-11:30
11:30-12:15 Beatrice Buonaguidi (KCL): Non-well-founded classes in hyperuniverses
12:15-13:00 Camila Gallovich (CONICET-UBA): Semantic supervenience in fixed-point models
Lunch 13:00-14:30
14:30-15:15 Elena Wüllhorst (KCL): Adding a conditional to a consistent theory of truth
15:15-16:00 Pablo Dopico (KCL): Supervaluations, truth, and intuitionistic logic
Coffee Break 16:00-16:30
16:30-17:15 Pietro Brocci (SNS): Cyclic Proofs for Disquotational Truth
17:15-18:00 Camillo Fiore (CONICET-UBA): LP, K3, FDE and their generalised collapse results
Schedule:
9:30-10:15 Pedro del Valle-Inclán (SNS): Structural Rules and the Meaning of Logical Connectives
10:15-11:00 Pietro Vigiani (SNS): An Invitation to Contextual Modal Logics
Coffee Break 11:00-11:30
11:30-12:15 Martina Zirattu (Turin) & Mariela Rubin (CONICET-UBA): De Finetti goes viral
12:15-13:00 Aylén Bavosa Castro (CONICET-UBA): Metainferential normativity
Lunch 13:00-14:30
14:30-15:15 Thomas Sachen (SNS): Purity and simplicity of informal proofs
15:15-16:00 Guillaume Massas (SNS): An Invitation to Fundamental Logic
Coffee Break 16:00-16:30
16:30-17:15 Carlo Nicolai (KCL): Disentangled syntax, type-free
A book of abstracts can be found here.