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

Discussion and self organized collaboration

timetable:
Tue 18 Jun, 17:30 - 18:20, Aula Dini
<< Go back