December 12
11:30-13: Mariela Rubin (U. Buenos Aires): “A non-labelled Natural Deduction Calculus for ST”
13-15 lunch
15-16:30 – Sergi Oms (UB): “Dialetheist solution to the problem of change”
16:30-18 – Martina Zirattu (U. Torino): “More semantics for Angell’s logic of Analytic Containment”.
