November 5, 2015

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


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? abstractslides

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


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