28. Jun Williamson’s Reductio of Bivalence Denials, and Vague Truth Degrees for Borderline Cases Speaker: Christopher von Bülow (University of Konstanz) 11:45 - 13:14 D 435
21. Jun Bluebell: a modal logic to reason about probabilistic programs (Joint talk with Uni Konstanz Logikkolloquium) Speaker: Emanuele D'Osualdo (University of Konstanz) 11:45 - 13:15 D 435
14. Jun Per Aspera ad Astra: from Skolem Paradox to an uncountable universe Speaker: Giorgio Venturi (University of Pisa) 10:00 - 13:15 D 435
14. Jun When cardinality determines the power set Speaker: Philip Welch (University of Bristol) 10:00 - 13:15 D 435
06. Jun Gödelian platonism re-imagined Speaker: Neil Barton (University of Singapore) 13:30 - 15:00 M 901
24. May How True Propositions differ from Accurate Representations Speaker: Filip Buekens (KU Leuven) 11:45 - 13:15 D 435