General Schedule of Events

Sunday
8. July
Monday
9. July
Tuesday
10. July
Wednesday
11. July
Thursday
12. July
Friday
13. July
MIR DML MKM MathUI
OpenMath
UITP

Doctoral Programme
Calculemus
Calculemus
AISC
MKM Systems & Projects Systems & Projects