Beschreibung
Die diesjährige Jahrestagung der Fachgruppe "Logik in der Informatik" wird am 14. November 2014 an der Universität Kassel stattfinden.
Wie in den letzten Jahren wird die Tagung gegen Freitag mittag beginnen. Am Abend wird es die Gelegenheit zu einem gemeinsamen Abendessen geben.
In dieser Google map können Sie sich über die Lage der Universität und einiger Hotels informieren.
Programm
Zeit | Vortrag |
---|
12:55 - 13:00 | Begrüßung |
13:00 - 13:45 | Stéphane Demri: Separation Logic and Friends |
13:45 - 14:10 | Marco Voigt: The Bernays-Schönfinkel-Ramsey Fragment of First-Order Logic with Simple Bounds is decidable |
14:10 - 14:35 | Michael Mendler: Constructive Modal Logic and its Curry-Howard Interpretation |
14:35 - 15:00 | Pause |
15:00 - 15:25 | Dietrich Kuske: Presburger arithmetic with modulo-counting quantifiers |
15:25 - 15:50 | Moses Ganardi: Parity Games of Bounded Tree- and Clique-Width |
15:50 - 16:15 | Shiguang Feng: The complexity of model checking for MTL and TPTL over data words |
16:15 - 16:40 | Manuel Vargas Guzmán: Model Checking for Process Equivalences |
16:40 - 17:00 | Pause |
17:00 - 17:45 | Christoph Benzmüller: On Logic Embeddings and Gödel’s God |
17:45 - 18:30 | Fachgruppensitzung |
19:30 - ... | gemeinsames Abendessen |