Ciclo di seminari

  1. Home

Seminari di Logica

Manager
Peter Michael Schuster

Next Seminars
Date Time Title Supervisor
3/23/26 2:30 PM Advances in Algebra – Generalised Buchberger and Schreyer Algorithms for Coherent Rings Ihsen Yengui (Visiting Professor INdAM 2025-26) - University of Sfax, Tunisia

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