[loginf] Programm fuer die LogInf Tagung

[Henrik Bjorklund]

Einladung

Die 13. Jahrestagung der GI-Fachgruppe "Logik in der Informatik"  
findet am 12. und 13. Oktober 2006 in Dortmund statt.  

Wir freuen uns, dass sich Anuj Dawar (Cambridge) bereit erklärt hat,  
einen eingeladenen Vortrag über "Preservation properties on well- 
behaved classes of finite structures" zu halten.

Programm: 

Donnerstag der 12:e Oktober

12:30-13:15 Balder ten Cate: Abstract model theory for modal languages

13:15-14:00 Volker Weber: Bounded-Variable Fragments of Hybrid Logics

14:30-15:15 Carsten Lutz: Deciding Conservative Extensions

15:15-16:00 Ulrich Schöpp: Cyclic proofs in sequent calculus

16:30-17:15 Peter Padawitz: Dialgebraische Modellierung: Syntax - Semantik - 
Deduktion

17:15-18:00 Pascal Hitzler: A domain-logical perspective of answer set 
programming

18:00 Fachgruppentreffen 

Freitag der 13:e Oktober

9:00-10:00 Anuj Dawar: Preservation properties on well-behaved classes of 
finite structures (eingeladener Vortrag)

10:15-11:00 Ernst-Erich Doberkat: Stochastic Coalgebraic Logic: Bisimilarity 
and Behavioral Equivalence

11:30-12:15 Achim Blumensath: Graph operations and decidable monadic theories 

12:15-13:00 Stefan Göller: Infinite State Model-Checking of Propositional 
Dynamic Logics

Damit wir besser planen können, wären wir Ihnen dankbar, wenn Sie uns Ihre  
Absicht an der Veranstaltung teilzunehmen möglichst bald mitteilen  
würden. Ihre Anmeldung schicken Sie an Henrik.Bjoerklund at udo.edu.

Laufend aktualisierte Informationen, auch zur Anreise und  
Unterbringung, finden Sie unter http://loginf.cs.uni-dortmund.de.

Mit freundlichen Grüßen
Henrik Björklund
Thomas Schwentick
Volker Weber