Computational Logic Autumn Summit 2022Schedule
| 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 |