Schedule

Mon Tue Wed Thu Fri Sat Sun Mon Tue Wed Thu Fri
19-Sep 20-Sep 21-Sep 22-Sep 23-Sep 24-Sep 25-Sep 26-Sep 27-Sep 28-Sep 29-Sep 30-Sep
CICM: Conference on Intelligent Computer Mathematics
(Room 107)
MPC: International Conference on Mathematics of Program Construction
(Room 212)
WG4 meeting
(Room 202)
ISR: International School on Rewriting
(Learning Center (side building) - Rooms 1 and 2)
ICTAC summer school
(Room 202)
TbiLL: International Tbilisi Summer School in Logic and Language
(Room 06 and then 115 (Sep. 22,23))
ICTAC: International Colloquium on Theoretical Aspects of Computing
(Room 06)
PPDP: International Symposium on Principles and Practice of Declarative Programming
(Room 202)
RV: 22nd International Conference on Runtime Verification
(Library Hall)
LOPSTR: International Symposium on Logic-based Program Synthesis and Transformation
(Room 212)

Time Slots

TIME Mon Tue Wed Thu Fri Sat Sun Mon Tue Wed Thu Fri
19-Sep 20-Sep 21-Sep 22-Sep 23-Sep 24-Sep 25-Sep 26-Sep 27-Sep 28-Sep 29-Sep 30-Sep
08:00-09:00 Registration
(Room 118)
Registration
(Room 118)
09:00-10:00 Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions CLAS Talk
Maribel Fernandez
(Room 107)
CLAS Talk
Luigi Liquori
(Room 107)
Excursion Parallel Sessions CLAS Talk
Manfred Kufleitner
(Room 06)
Parallel Sessions Parallel Sessions Parallel Sessions
10:00-10:30 Parallel Sessions Parallel Sessions Parallel Sessions
10:30-11:00 Coffee break
(Room 118)
Coffee break
(Room 118)
Excursion Coffee break
(Room 118)
Coffee break
(Room 118)
Coffee break
(Room 118)
Coffee break
(Room 118)
Coffee break
(Room 118)
Excursion Coffee break
(Room 118)
Coffee break
(Room 118)
11:00-12:30 Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions
12:30-13:00 Lunch
(not included)
CLAS Opening
(Room 107)
Lunch
(not included)
Lunch
(not included)
Lunch
(not included)
Lunch
(not included)
Lunch
(not included)
Lunch
(not included)
Lunch
(not included)
13:00-14:00 Lunch
(not included)
14:00-15:30 Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions
15:30-16:00 Coffee break
(Room 118)
Coffee break
(Room 118)
Coffee break
(Room 118)
Coffee break
(Room 118)
Coffee break
(Room 118)
Coffee break
(Room 118)
Coffee break
(Room 118)
Coffee break
(Room 118)
Coffee break
(Room 118)
16:00-17:30 Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions CLAS Talk
Catherine Meadows
and Closing
(Room 06)
18:00-22:00 Welcome Party Dinner Workshop Dinner Dinner
(starts at 19:00)
Dinner Farewell Party
Flag Counter