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

Discussion and self organized collaboration

timetable:
Wed 19 Jun, 11:00 - 11:50, Aula Dini
Thu 20 Jun, 17:50 - 18:20, Aula Dini
<< Go back