Ciclo di seminari

  1. Home

Seminari di Logica

Manager
Peter Michael Schuster

Next Seminars
Date Time Title Supervisor
12/1/25 4:30 PM Sala Verde The homotopy theoretic point of view on dependent types Matteo Spadetto - LS2N of the University of Nantes
12/3/25 3:00 PM Sala Verde Conservative Extensions of Intuitionistic Logic with Epsilon Terms over Predicate Abstraction Elio La Rosa - MCMP at Ludwig-Maximilians-Universität München

Seminars which have already taken place
Date Time Title Supervisor
10/29/25 4:30 PM Sala verde From High School Algebra to University Algebra Thorsten Altenkirch - University of Nottingham
Share