GI

18. Jahrestagung der GI-Fachgruppe
Logik in der Informatik

4.-5. November 2011, Ilmenau



Die 18. Jahrestagung der GI-Fachgruppe Logik in der Informatik der Gesellschaft für Informatik fand am 4. und 5. November 2011 in Ilmenau statt.

Programm

Freitag
13:30-14:30   Isolde Adler The VC dimension of definable sets in graph classes Folien
14:30-15:10 Thomas Schneider The modular structure of an ontology: Atomic decomposition Folien
15:45-16:45 Martin Mundhenk A survey of complexity results for temporal logics Folien
16:45-17:25 Martin Huschenbett Word automaticity of tree automatic ordinals is decidable Folien
17:25-18:00 Fachgruppensitzung
ab 19:00 Uhr gemeinsames Abendessen
im Hotel Tanne
Samstag
9:30-10:30 Lutz Strüngmann   Finite automata presentable Abelian groups Folien
10:30-11:10 Markus Lohrey Isomorphism of regular trees and words Folien
11:20-12:00 Manfred Schmidt-Schauß On Conservativity of pure Haskell in Concurrent Haskell Folien

Eingeladene Sprecher:


Angemeldete Vorträge:



Kontakt

Dietrich Kuske
Institut für Theoretische Informatik
Technische Universität Ilmenau
Postfach 100585
D-98684 Ilmenau
Telefon:+49-3677-69-1444
dietrich.kuske at tu-ilmenau.de