|
|
Timetable
Download:
You may download the timetable as pdf file.
Download:
Informal Presentations as pdf file.
Monday, Sept 7
8:30 |
Registration |
8:50-9:00 |
Opening |
9:00-10:00 |
Invited talk: Martin Grohe. Fixed-Point Definability and Polynomial Time.
|
10:00-10:30 |
|
10:30-11:00 |
Break |
11:00-12:30 |
|
12:30-14:00 |
Break |
14:00-15:30 |
Heng Guo, Hanpin Wang and
Zhongyuan Xu.
On Model Checking Boolean BI |
Stephan
Kreutzer.
On the parameterized intractability of monadic
second-order logic |
Anthony
Widjaja To.
Model checking FO(R) over one-counter processes and beyond |
|
15:30-16:00 |
Break |
16:00-17:30 |
|
17:30-19:00 |
Visit of the Old University |
19:00 |
Porto de Honra |
Tuesday, Sept 8
9:00-10:00 |
Invited talk: Thierry Coquand. Forcing and Type Theory.
|
10:00-10:30 |
|
10:30-11:00 |
Break |
11:00-12:30 |
Mariangiola
Dezani, Paola Giannini and Simona Ronchi.
Intersection, Universally Quantified and Reference Types |
Andreas
Abel. Type Structures and Normalization by Evaluation for System
F-omega |
Eijiro Sumii.
A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References |
|
12:30-14:00 |
Break |
14:00-15:30 |
|
15:30-16:00 |
Visit of the Science Museum |
16:00-16:30 |
Break |
16:30-18:00 |
Ackermann Award |
Wednesday, Sept 9
9:00-10:00 |
Invited talk: Mikołaj Bojańczyk. Algebra for Tree Languages.
|
10:00-10:30 |
Isolde Adler
and Mark Weyer.
Tree-width for first order formulae |
|
10:30-11:00 |
Break |
11:00-13:00 |
|
14:30-18:00 |
Excursion |
|
Conference Dinner
|
Thursday, Sept 10
Friday, Sept 11
9:00-10:30 |
|
10:30-11:00 |
Break |
11:00-12:00 |
|
12:00-13:00 |
Invited talk: Yiannis Moschovakis. Kleene's Amazing Second Recursion Theorem.
|
|
|
|