Program (preliminary)
Thursday 12th of October
11:30 Reception, possibly joint lunch in the cafeteria
12:30-13:05 Balder ten Cate, Amsterdam: Abstract model theory for modal languages Abstract.
13:05-13:40 Volker Weber, Dortmund: Bounded-Variable Fragments of Hybrid Logics. Abstract.
Coffee
14:10-14:45 Carsten Lutz, Dresden: Deciding Conservative Extensions
14:45-15:20 Ulrich Schöpp, München: Cyclic proofs in sequent calculus. Abstract.
15:20-15:55 Peter Padawitz, Dortmund: Dialgebraic Modelling: Syntax - Semantics - Deduction. Abstract.
More coffee
16:25-17:00 Pascal Hitzler, Karlsruhe: A domain-logical perspective of answer set programming
17:00-17:35 Stefan Milius, Braunschweig: Coalgebras, Monads and
Semantics Abstract.
17:45 Fachgruppentreffen (Assembly of the special interest group)
Friday 13th of October
9:00-10:00 Anuj Dawar, Cambridge: Preservation properties on well-behaved classes of finite structures (invited talk). Abstract.
10:00-10:35 Ernst-Erich Doberkat, Dortmund: Stochastic Coalgebraic Logic: Bisimilarity and Behavioral Equivalence. Abstract.
Coffee
11:00-11:35 Achim Blumensath, Darmstadt:Graph operations and decidable monadic theories. Abstract.
11:35-12:10 Stefan Göller, Stuttgart: Infinite State Model-Checking of Propositional Dynamic Logics. Abstract.
12:10-12:45 Martin Hofmann, München: A proof system for the linear-time mu-calculus