Computer-assisted proofs, proof assistants and visualization in dynamical systems
timetable:
Tue 18 Jun, 16:20 - 16:40, Aula Dini
Wed 19 Jun, 9:50 - 10:10, Aula Dini
Wed 19 Jun, 16:20 - 16:40, Aula Dini
Thu 20 Jun, 9:50 - 10:10, Aula Dini
Thu 20 Jun, 16:40 - 17:00, Aula Dini
Fri 21 Jun, 9:50 - 10:10, Aula Dini
<< Go back
break: Coffee break
timetable:
Tue 18 Jun, 16:20 - 16:40, Aula Dini
Wed 19 Jun, 9:50 - 10:10, Aula Dini
Wed 19 Jun, 16:20 - 16:40, Aula Dini
Thu 20 Jun, 9:50 - 10:10, Aula Dini
Thu 20 Jun, 16:40 - 17:00, Aula Dini
Fri 21 Jun, 9:50 - 10:10, Aula Dini
<< Go back