Ciclo di seminari

  1. Home

Seminari di Logica

Responsabile
Peter Michael Schuster

Prossimi seminari
Data Ora Titolo Relatore
01/12/25 16.30 Sala Verde The homotopy theoretic point of view on dependent types Matteo Spadetto - LS2N of the University of Nantes
03/12/25 15.00 Sala Verde Conservative Extensions of Intuitionistic Logic with Epsilon Terms over Predicate Abstraction Elio La Rosa - MCMP at Ludwig-Maximilians-Universität München

Seminari già svolti
Data Ora Titolo Relatore
29/10/25 16.30 Sala verde From High School Algebra to University Algebra Thorsten Altenkirch - University of Nottingham
Condividi