Computer-assisted proofs, proof assistants and visualization in dynamical systems

break: Lunch

timetable:
Tue 18 Jun, 12:00 - 15:30, Aula Dini
Wed 19 Jun, 12:00 - 15:30, Aula Dini
Thu 20 Jun, 12:00 - 15:00, Aula Dini
<< Go back