| Prossimi seminari | |||
|---|---|---|---|
| Data | Ora | Titolo | Relatore |
| 23/03/26 | 14.30 | Advances in Algebra – Generalised Buchberger and Schreyer Algorithms for Coherent Rings | Ihsen Yengui (Visiting Professor INdAM 2025-26) - University of Sfax, Tunisia |
| Seminari già svolti | |||
|---|---|---|---|
| Data | Ora | Titolo | Relatore |
| 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 |
| 01/12/25 | 16.30 Sala Verde | The homotopy theoretic point of view on dependent types | Matteo Spadetto - LS2N of the University of Nantes |
| 29/10/25 | 16.30 Sala verde | From High School Algebra to University Algebra | Thorsten Altenkirch - University of Nottingham |
© 2026 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********
