Workshop Programme
for period 9  13 January 2006
Finite and Algorithmic Model Theory
9  13 January 2006
Timetable
Monday 9 January 

09:0010:00 
Otto, M (Technische Universitat Darmstadt) 



Model theoretic methods for special classes of (finite) structures 



10:0011:00 
Kujipers, B (Hasselt) 



Topological queries  topological invariants and query languages 



11:0012:00 
Van de Bussche, J (Hasselt) 



Logical aspects of spatial databases 



13:0014:00 
Macpherson, D (Leeds) 



Asymptotics of definable sets in finite structres 



14:0015:00 
Wilke, T (ChristianAlbrechts) 



Logics, automata, and finite semigroups 



15:0016:00 
Walukiewicz, I (CNRS) 



Towards understanding tree languages  part 1 



16:0017:00 
Djordjevic, M (Uppsala) 



Connections between finite and infinite model theory 



17:0018:00 
Etessami, K (Edinburgh) 



Analysis of recursive Markov chains, recursive Markov decision processes, and recursive stochastic games 

