Skip to content

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

Back to top ∧