Archive
2017
May 11, 2017
LORENZO ROSSI (University of Salzburg) A unified approach to truth and implication abstract, slides
May 08, 2017
Categories, Constructions, Sets and Types Minisymposium
March 09, 2017
MATTEO CRISTANI (University of Verona) Multivalued Logics and Alternative Negation Operators abstract
STEFAN NEUWIRTH (University of Franche-Comté) Paul Lorenzen: logic and algebra abstract
Feb 02, 2017
LORIS BOZZATO (Fondazione Bruno Kessler, Trento) Constructive Semantics for Description Logics abstract, slides
2016
July 04, 2016
SARA NEGRI (University of Helsinki) From neighbourhood semantics to analytic proof systems for non-normal modal logics abstract
RICCARDO BRUNI (University of Florence) Set existence and choice principle: Beppo Levi’s contribution to foundations of mathematics abstract
May 02, 2016
DOUGLAS S. BRIDGES (University of Canterbury, Christchurch, New Zealand) Morse Set Theory as a Foundation for Constructive Mathematics abstract
April 12, 2016
THOMAS STREICHER (TU Darmstadt) Isomorphic Types are Equal? abstract, slides
March 15, 2016
HAJIME ISHIHARA (JAIST) Constructive reverse mathematics: an introduction and recent results abstract
HELMUT SCHWICHTENBERG (LMU Munich) Linear two-sorted constructive arithmetic abstractDecorating natural deduction (mini course) lecture notes, slides__
Feb 04, 2016
TATSUJI KAWAI (JAIST) Elimination theorem for the theory of binary choice sequences abstract
EMANUELE BOTTAZZI (University of Trento) Real projections of non-standard functions abstract
2015
Dec 09, 2015
DIRK PATTINSON (Australian National University) Vote counting as mathematical proof abstract
MARGHERITA ZORZI (University of Verona) On quantum lambda calculi: a foundational perspective abstract
Nov 16, 2015
GIUSEPPE ROSOLINI (University of Genoa) Exact completions, homotopical quotients, and type theory abstract
MATTEO CRISTANI (University of Verona) Defeasible logic. A non monotonic approach to plausible conclusions abstract
Oct 14, 2015
SARA NEGRI (University of Helsinki) Glivenko sequent classes in the light of structural proof theory abstract
SAMUELE MASCHIO (University of Padua) Realizability for the Minimalist Foundation abstract
April 14, 2015
MATTEO PASCUCCI (University of Verona) A unified treatment of propositional constants in modal logic abstract
DANIEL WESSEL (University of Trento) A general extension theorem for complete partial orders abstract