![[previous]](../img/prev.gif){kind=small}
![[up]](../img/up.gif){kind=small}
![[next]](../img/next.gif){kind=small}
| Tuesday July 30th | | All
sessions |
| CAV | CADE TABLEAUX | ICLP |
|---|---|---|
09:00-10:30 in Aud. 1 | 09:00-10:30 in Aud. 3 | 09:00-10:30 in Aud. 4 |
R E F R E S H M E N T S | ||
11:00-12:30 in Aud. 1 | 11:00-11:30 in Aud. 3 | 11:00-12:30 in Aud. 4 |
11:30-12:30 in Aud. 3 | ||
L U N C H | ||
14:00-15:30 in Aud. 1 | 14:00-15:30 in Aud. 3 | 14:00-15:30 in Aud. 4 |
R E F R E S H M E N T S | ||
16:00-17:15 in Aud. 1 | 16:00-17:30 in Aud. 3 | 16:00-17:30 in Aud. 4 |
17:15-18:15 in Aud. 1 | ||
17:30-18:30 in Aud. 4 | ||
17:45-18:30 in Aud. 3 | ||
18:30-21:00 in DIKU | ||
19:30-22:00 in Restaurant Luftkastellet | ||
| FLoC |
|
| MEETINGS |
|
| PROGRAM |
|
| FACILITIES |
|
| COPENHAGEN |
|
| MISCELLANEOUS |
|
