CRM: Centro De Giorgi
logo sns
Computer-assisted proofs, proof assistants and visualization in dynamical systems

break: Registration


timetable:
Tue 18 Jun, 8:30 - 9:00, Aula Dini
<< Go back