CICM 2009 Schedule

Details of the program tracks can be found by clicking on the sessions in the timetable, or by event:

Subject to change.



  Sunday
July 5
Monday
July 6
Tuesday
July 7
Wednesday
July 8
Thursday
July 9
Friday
July 10
Saturday
July 11
Sunday
July 12
 8:30   Invited talk: Rob Arthan Calculemus W3C Math DML PenMath PenMath OpenMath CCA MKM MKM
 9:30 Calculemus MathUI
10:30 Break
11:00 Calculemus MathUI Calculemus W3C Math DML PenMath DML OpenMath CCA Invited talk:
Patrick Ion
MKM
12:00 Lunch and Break Lunch and Break
14:00 MathUI
15:00 Invited talk:
Marko Panić
Invited talk:
Jacques Calmet
Invited talk:
Dorothea Blostein
Invited talk:
David Ruddy
Invited talk:
John Fitch
Invited talk:
Georges Gonthier
16:00 Break Break
16:20 Calculemus MathUI Calculemus W3C Math DML PenMath DML OpenMath MKM CCA MKM MKM
18:00
18:15 DML
Panel
MKM
Business
MKM
20:00