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

break: Coffee break


timetable:
Tue 18 Jun, 9:50 - 10:10, Aula Dini
<< Go back