# 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 |

Tuesday 10 January | ||

13:00-14:00 | Elwes, R (Leeds) |
LAA |

Asymptotics of definable sets in finite structures | Satellite | |

15:00-16:00 | Walukiewicz, I (CNRS) |
LAA |

Towards understanding tree languages - part 2 | Satellite |

Wednesday 11 January | ||

13:00-14:00 | Macpherson, D (Leeds) |
LAA |

Asymptotics of definable sets in finite structures | Satellite |

Thursday 12 January | ||

11:00-12:00 | Rubin, S (Auckland) |
LAA |

Classifying automatic structures | Satellite | |

12:00-13:00 | Schweikardt, N (Humboldt) |
LAA |

(Finite) model theory of tree and tree-like structures | Satellite | |

13:00-14:00 | Kreutzer, S (Humboldt) |
LAA |

(Finite) model of tree and tree-like structures | Satellite |

Friday 13 January | ||

17:00-18:00 | Bodirsky, M (Humboldt) |
LAA |

The algebraic approach to infinite-valued constraint satisfaction | Satellite |

Other Seminars |

Seminars in the University National and International Scientific Research Meetings |