News - archivio
“Factorization Spaces”
Mercoledì 22 Giugno 2022, ore 16:30 - Aula 2BC30 - Laura Cossu (Karl-Franzens-Universität, Graz)
Leggi
“On quiver categories associated to quadratic differentials”
Martedì 21 Giugno 2022, ore 14:00 - Aula 2AB40 - Anna Barbieri (Università di Padova)
Leggi
Bando n.11/2022 per n. 1 assegno di ricerca “Migliorare i CAPTCHA per il divertimento degli utenti e profitti / Enhancing CAPTCHAs for User Fun and Profit”
Graduatoria
Leggi
“Introduction to sub-Riemannian geometry”
Wednesday 15 June 2022 h. 15:30 - Room 2AB45 and Zoom - Alessandro Socionovo (Padova, Dip. Mat.)
Leggi
Bando n.13/2022 per n. 1 assegno di ricerca “CONNECT: Controllo di Equazioni non locali per modelli di folle e di traffico / CONNECT: Control of Nonlocal Equations for Crowds and Traffic models”
Graduatoria
Leggi
“Constructing a universe for the setoid model”
Giovedì 9 Giugno 2022, ore 15:00 - Aula 2AB40 - Filippo Sestini (PhD student - University of Nottingham, UK)
Leggi
“Reifying Dynamical Algebra”
Mercoledì 8 Giugno 2022, ore 16:30 - Aula 2AB40 - Ingo Blechschmidt (Università di Augsburg)
Leggi
“How to solve your next math problem by computer. Three stories on proof-assistants”
Martedì 7 Giugno 2022, ore 16:30 - Aula - 1A150 - Ingo Blechschmidt (Università di Augsburg - Germania) + Marco Maggesi (Università di Firenze) + Filippo Sestini (Università di Nottingham - UK)
Leggi
