Workshop on Finite and Algorithmic Model Theory
University of Durham, 9-13 January 2006.
Satellite meeting of the Newton Institute Programme
Logic and Algorithms
|
| ||
|
Further
Registration, Application form for participation
Supported by: |
Schedule Lectures will take place in the Dawson Building, Science Site Sunday 19.00 - 20.45 Dinner
08.00 - 08.45 Breakfast 10.15 - 10.45 Coffee 10.45 - 11.45 Bart Kuijpers/Jan van den Bussche : Logical Aspects of Spatial Databases
11.45 - 12.45 Dugald Macpherson/Richard Elwes : Asymptotics of
definable sets in finite structures
15.15 - 15.45 Tea 15.45 - 16.45 Marko Djordjevic : Connections between Finite and Infinite Model Theory 16.45 - 17.45 Kousha Etessami : Analysis of Recursive Markov Chains, Recursive Markov Decision Processes, and Recursive Stochastic Games
19.00 - 20.45 Dinner
Tuesday 08.00 - 08.45 Breakfast
09.15 - 10.15 Martin Otto : Model theory with special classes of (finite) relational structures 10.15 - 10.45 Coffee 10.45 - 11.45 Bart Kuijpers/Jan van den Bussche : Logical Aspects of Spatial Databases 11.45 - 12.45 Dugald Macpherson/Richard Elwes : Asymptotics of definable sets in finite structures
13.00 - 14.00 Lunch
14.15 - 15.15 Thomas Wilke/Igor Walukiewicz : Towards understanding tree languages 15.15 - 15.45 Tea 15.45 - 16.45 Marko Djordjevic : Connections between Finite and Infinite Model Theory 16.45 - 17.45 Kousha Etessami : Analysis of Recursive Markov Chains, Recursive Markov Decision Processes, and Recursive Stochastic Games
19.00 - 23.00 Workshop dinner in Durham Castle
Wednesday 08.00 - 08.45 Breakfast
09.15 - 10.15 Martin Otto : Model theory with special classes of (finite) relational structures 10.15 - 10.45 Coffee 10.45 - 11.45 Bart Kuijpers/Jan van den Bussche : Logical Aspects of Spatial Databases 11.45 - 12.45 Dugald Macpherson/Richard Elwes : Asymptotics of definable sets in finite structures
13.00 - 14.00 Lunch
Afternoon free (there is no organised excursion as January in the north-east is not particularly suitable for outside trips(!), but there will be details of local areas of interest given to all participants - Durham city itself is very picturesque).
19.00 - 20.45 Dinner
Thursday 08.00 - 08.45 Breakfast
09.15 - 10.15 Martin Otto : Model theory with special classes of (finite) relational structures 10.15 - 10.45 Coffee 10.45 - 11.45 Erich Graedel/Sasha Rubin : Automatic Structures I 11.45 - 12.45 Stefan Kreutzer/Nicole Schweikardt : (Finite) Model Theory of Trees and Tree-like Structures
13.00 - 14.00 Lunch
14.15 - 15.15 Thomas Wilke/Igor Walukiewicz : Towards understanding tree languages 15.15 - 15.45 Tea 15.45 - 16.45 Albert Atserias : Random formulas 16.45 - 17.45 Manuel Bodirsky : The algebraic approach to infinite-valued constraint satisfaction
19.00 - 20.45 Dinner
Friday 08.00 - 08.45 Breakfast
09.15 - 10.15 Thomas Wilke/Igor Walukiewicz : Towards understanding tree languages 10.15 - 10.45 Coffee 10.45 - 11.45 Erich Graedel/Sasha Rubin : Automatic Structures II 11.45 - 12.45 Stefan Kreutzer/Nicole Schweikardt : (Finite) Model Theory of Trees and Tree-like Structures
13.00 - 14.00 Lunch
|