Thierry Coquand | Göteborgs Universitet | h 4:30 PM Online via Zoom
SeminarSimone Parisotto and Matteo Frigo | University of Cambridge and Inria Sophia-Antipolis Mediterranée | h 9:00 PM
SeminarMargherita Maria Ferrari | University of South Florida |
SeminarAdrian Zalinescu | Facultatea de Informatică Universitatea "Alexandru I. Cuza" | h 3:15 PM
Seminar