CICM 2011 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 17
Monday
July 18
Tuesday
July 19
Wednesday
July 20
Thursday
July 21
Friday
July 22
 9:00   CICM 4a: S&P DML
 9:30   Invited talk 1 Invited talk 2 Invited talk 3
10:30   Break
11:00   CICM 1 CICM 4b: S&P CICM 6 DML CICM 7
12:30   Lunch
14:30   CICM 2 CICM 4c: Posters DML CICM 8
16:00   Break Break
16:30   CICM 3 CICM 5 DML CICM 9

Detailed Program

Monday, July 18th 2011

9:00 Welcome

9:30 Invited talk 1

Coffee Break (10:30 – 11:00)

Session 1 (MKM 1): 11:00 – 12:30

Lunch (12:30 – 14:30)

Session 2 (MKM 2): 14:30 – 16:00

Tea Break (16:00 – 16:30)

Session 3 (MKM 3): 16:30 – 17:30

CICM business meeting (17:40 – 18:30)


Tuesday, July 19th 2011

Session 4a (Projects): 9:00 – 10:30

Coffee Break (10:30 – 11:00)

Session 4b (Systems): 11:00 – 12:30

Lunch (12:30 – 14:30)

Session 4c (Posters): 14:30 – 16:00

Tea Break (16:00 – 16:30)

Session 5 (Calculemus 1): 16:30 – 17:30

MKM business meeting (17:40 – 18:30)


Wednesday, July 20th 2011

9:30 Invited talk 2

Coffee Break (10:30 – 11:00)

Session 6 (MKM 4): 11:00 – 12:30

Lunch (12:30 – 14:30)

DML – OpenMath (14:30 – 16:00)

Tea Break (16:00 – 16:30)

DML – OpenMath (16:30 – 17:30)


Thursday, July 21th 2011

DML (9:00 – 10:30)

Coffee Break (10:30 – 11:00)

DML (11:00 – 12:30)

Lunch (12:30 – 14:30)

Excursion


Friday, July 22th 2011

9:30 Invited talk 3

Coffee Break (10:30 – 11:00)

Session 7 (Calculemus 2): 11:00 – 12:30

Lunch (12:30 – 14:30)

Session 8 (Calculemus 3); 14:30 – 16:00

Tea Break (16:00 – 16:30)

Session 9 (Calculemus 4): 16:30 – 17:30

Calculemus business meeting (17:40 – 18:30)