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”.