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

break: Lunch


timetable:
Fri 21 Jun, 11:50 - 13:00, Aula Dini
<< Go back