Logik in der Informatik 2014

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

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.

Nützliche Informationen zur Anreise z.B. sind hier zusammengestellt.

 

Eingeladene Sprecher

Christoph Benzmüller (FU Berlin)
Stéphane Demri (CNRS & ENS Cachan)

 

Studierenden-Session

Studierende können mit einem Kurzvortrag an der Studierenden-Session teilnehmen. In diesem Fall kann die Fachgruppe die Reisekosten (evtl. teilweise) übernehmen. Bei Interesse senden Sie bitte eine E-Mail an Martin Lange, mit der Angabe von Kontaktdaten und Studierenden-Status. Bitte registrieren Sie sich außerdem noch über die Formulare weiter unten (Teilnahme und Vortrag).

Teilnehmer

Christoph Benzmüller

Florian Bruse
Stéphane Demri

Shiguang Feng
Moses Ganardi

Mattias Horbach

Norbert Hundeshagen

Dietrich Kuske

Martin Lange

Markus Lohrey
Michael Mendler
Manfred Schmidt-Schauß
Marco Voigt
Manuel Vargas Guzmán

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

Unterkünfte

Chassalla, ab 57 €, ca. 5 Minuten zu Fuß
CityHotel Kassel, ab 69 €, ca. 5 Minuten zu Fuß
Adesso Hotel Astoria, ab 50 €, ca. 10 Minuten zu Fuß
Days Inn Kassel Hessenland, ab 65 €, ca. 15 Minuten zu Fuß
Jugendherberge, ab 23 €, ca. 10 Minuten zu Fuß

In dieser Google map finden Sie einige Hotels in der Nähe der Universität.

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

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

Kontakt / Anfahrt