The
three workshops have many themes in common, and they organized a joint session of invited
speakers that will feature talks by:
Joint
Invited Speakers Session of the following Workshops:
W1
Implicit computational complexity
W12
Complexity-theoretic and Recursion-theoretic methods in
Databases, Artificial Intelligence and Finite Model Theory
W14
Finite Model Theory And Its Applications
Schedule
| 13:50 - 14:40 
|
|
Dynamic
Reachability
Neil Immerman (U. Mass) |
|
|
|
| 14:50 - 15:40 |
|
The
Linear Order in Descriptive Complexity Theory
Thomas Schwentick (U. Mainz) |
|
|
|
|
|
COFFEE BREAK |
|
|
|
16:10 - 17:00 |
|
Topological
Queries in Spatial Databases
Victor Vianu (UC San Diego) |
|
|
|
| 17:10 - 18:00 |
|
Complexity
in AI and Knowledge Representation
Christos Papadimitriou (UC Berkeley) |
|
|
|
20:00 |
|
RECEPTION
(tentative)
(joint with FLoC workshop 14, Finite Model Theory and its Applications) |
|
