Workshop Programme
for period 9-13 January
Finite and Algorithmic Model Theory
9-13 January
Timetable
| Monday 09 January |
| 09:00-10:00 |
Otto, M (Technische Universitat Darmstadt) |
LAA |
| |
Model theoretic methods for special classes of (finite) structures | Satellite |
| 10:00-11:00 |
Kujipers, B (Hasselt) |
LAA |
| |
Topological queries - topological invariants and query languages | Satellite |
| 11:00-12:00 |
Van de Bussche, J (Hasselt) |
LAA |
| |
Logical aspects of spatial databases | Satellite |
| 13:00-14:00 |
Macpherson, D (Leeds) |
LAA |
| |
Asymptotics of definable sets in finite structres | Satellite |
| 14:00-15:00 |
Wilke, T (Christian-Albrechts) |
LAA |
| |
Logics, automata, and finite semigroups | Satellite |
| 15:00-16:00 |
Walukiewicz, I (CNRS) |
LAA |
| |
Towards understanding tree languages - part 1 | Satellite |
| 16:00-17:00 |
Djordjevic, M (Uppsala) |
LAA |
| |
Connections between finite and infinite model theory | Satellite |
| 17:00-18:00 |
Etessami, K (Edinburgh) |
LAA |
| |
Analysis of recursive Markov chains, recursive Markov decision processes, and recursive stochastic games | Satellite |
