Freitag

13:3014:30

Isolde Adler

The VC dimension of definable sets in graph classes 
Folien 
14:3015:10

Thomas Schneider

The modular structure of an ontology: Atomic decomposition 
Folien 
15:4516:45

Martin Mundhenk

A survey of complexity results for temporal logics 
Folien 
16:4517:25

Martin Huschenbett

Word automaticity of tree automatic ordinals is decidable 
Folien 
17:2518:00

Fachgruppensitzung

ab 19:00 Uhr

gemeinsames Abendessen im Hotel Tanne

Samstag

9:3010:30

Lutz Strüngmann

Finite automata presentable Abelian groups 
Folien 
10:3011:10

Markus Lohrey

Isomorphism of regular trees and words 
Folien 
11:2012:00

Manfred SchmidtSchauß 
On Conservativity of pure Haskell in Concurrent Haskell 
Folien 