skip to content
 

Seminars (LAAW01)

Videos and presentation materials from other INI events are also available.

Search seminar archive

Event When Speaker Title Presentation Material
LAAW01 9th January 2006
09:00 to 10:00
M Otto Model theoretic methods for special classes of (finite) structures
LAAW01 9th January 2006
10:00 to 11:00
B Kujipers Topological queries - topological invariants and query languages
LAAW01 9th January 2006
11:00 to 12:00
J Van de Bussche Logical aspects of spatial databases
LAAW01 9th January 2006
13:00 to 14:00
D Macpherson Asymptotics of definable sets in finite structres
LAAW01 9th January 2006
14:00 to 15:00
T Wilke Logics, automata, and finite semigroups
LAAW01 9th January 2006
15:00 to 16:00
I Walukiewicz Towards understanding tree languages - part 1
LAAW01 9th January 2006
16:00 to 17:00
M Djordjevic Connections between finite and infinite model theory
LAAW01 9th January 2006
17:00 to 18:00
K Etessami Analysis of recursive Markov chains, recursive Markov decision processes, and recursive stochastic games
LAAW01 10th January 2006
13:00 to 14:00
R Elwes Asymptotics of definable sets in finite structures
LAAW01 10th January 2006
15:00 to 16:00
I Walukiewicz Towards understanding tree languages - part 2
LAAW01 11th January 2006
13:00 to 14:00
D Macpherson Asymptotics of definable sets in finite structures
LAAW01 12th January 2006
11:00 to 12:00
S Rubin Classifying automatic structures
LAAW01 12th January 2006
12:00 to 13:00
N Schweikardt (Finite) model theory of tree and tree-like structures
LAAW01 12th January 2006
13:00 to 14:00
S Kreutzer (Finite) model of tree and tree-like structures
LAAW01 13th January 2006
17:00 to 18:00
M Bodirsky The algebraic approach to infinite-valued constraint satisfaction
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons