Logik in der Informatik 2015

22. Jahrestagung der GI-Fachgruppe "Logik in der Informatik"

Die diesjährige Jahrestagung der Fachgruppe "Logik in der Informatik" wird am 11. September 2015 als Workshop im Rahmen der CSL'15 an der TU Berlin stattfinden.

Informationen zu Anreise und zur Registrierung finden sich auf der Seite der CSL'15.

 

Eingeladene Sprecher

Michael Elberfeld (RWTH Aachen)
Uli Schöpp (LMU München)

 

Weitere Vorträge

Karin Quaas: MTL on Timed Counter Nets
Claudia Carapelle: (Un)satisfiability of temporal logics with non-local constraints
Shiguang Feng: Path Checking for MTL and TPTL over Data Words
Moses Ganardi: A logspace algorithm for bisimulation on trees
Peter Lindner: The Two-Variable Fragment of the Theory of the Subword Order is Decidable

 

Programm

Friday, Sept 11, 2015

08:50

Opening

09:00

FICS'15/LogInf invited talk 1: Bartek Klin: "Topological Dynamics and Decidability of Infinite Constraint Satisfaction"

10:00

Peter Lindner: "The Two-Variable Fragment of the Theory of the Subword Order is Decidable"

10:30

Coffee break

11:00

LogInf/FICS'15 invited talk 2: Ulrich Schöpp: "On Interaction Semantics as an Approach to Organising Low-Level Programs"

12:00

Martin Lange: "The Sequent Calculus Trainer"

12:30

Lunch break (off site)

14:00

LogInf/FICS'15 invited talk 2: Michael Elberfeld: "Expressivity of Monadic Second-Order Logic on Structured Graphs"

15:00

Moses Ganardi: "A logspace algorithm for bisimulation on trees"

15:30

Coffee break

16:00

Karin Quaas: "MTL on Timed Counter Nets"

16:30

Shiguang Feng: "Path Checking for MTL and TPTL over Data Words"

17:00

Claudia Carapelle: "(Un)satisfiability of temporal logics with non-local constraints"

17:30

Fachgruppentreffen

19:30

Dinner (to be confirmed)

Registrierung für die Jahrestagung "Logik in der Informatik" 2015

Vortrag anmelden für die Jahrestagung "Logik in der Informatik" 2015

Kontakt