Schedule
| Sunday | Shankar/Lengrand: Speaking Logic |
|---|---|
| 8.30 - 10 | lecture |
| 10.30 - 12 | lecture |
| 1 - 2.15 | lecture |
| 2.45 - 4 | lecture |
| 4.15 - 5.30 | lecture |
| Monday | |
| 8.30 - 10 | Filliatre |
| 10.30 - 12 | Cimatti |
| 1 - 2 | Invited Talk: Johan van Benthem |
| 2.30 - 4 | Barrett |
| 4 - 5.30 | Owre |
| Tuesday | |
| 8.30 - 10 | Cimatti |
| 10.30 - 12 | Talcott |
| 1 - 2.30 | Filliatre |
| 3.00 - 4.15 | lab (Shankar1a/Barrett1b) |
| 4.15 - 5.30 | lab (Cimatti1a/Fillatre1b) |
| Wednesday | |
| 8.30 - 10 | Talcott |
| 10.30 - 12 | Barrett |
| 1 - 2.15 | lab (Talcott1a/Cimatti1b) |
| 2.45 - 4 | lab (Talcott1b/Barrett1a) |
| 4.15 - 5.30 | lab (Filliatre1a/Shankar1b) |
| Thursday | |
| 8.30 - 10 | Shankar |
| 10.30 - 12 | Invited Talk: Maria Paola Bonacina |
| 1 - 2.15 | lab (Filliatre2a/Barrett2b) |
| 2.45 - 4 | lab (Talcott2a/Cimatti2b) |
| 4.15 - 5.30 | lab (Talcott2b/Cimatti2a) |
| 6.30 - 9 | Banquet |
| Friday | |
| 8.30 - 9.30 | Invited Talk: Cindy Rubio Gonzalez |
| 10 - 11.15 | lab (Filliatre2b/Shankar2a) |
| 11.15 - 12.30 | lab (Barrett2a/Shankar2b) |