Beschreibung
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.
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) |