17.–20. Sept. 2024
Institut für Informatik
Europe/Berlin Zeitzone

Der 34. Theorietag "Automaten und Formale Sprachen", die 30. Jahrestagung "Logik in der Informatik" der Gesellschaft für Informatik, und das Deduktionstreffen 2024 werden vom 17. bis 20. September 2024 in Göttingen stattfinden.

Die Konferenz findet im Informatik Provisorium, Nordcampus, Goldschmidtstraße, 37077 Göttingen statt. Das Gebäude, in dem die Konferenz stattfindet, befindet sich direkt neben der Bushaltestelle Tammanstraße (wird wegen Bauarbeiten zur Zeit nicht bedient,
alternative Bushaltestelle: Goldschmidtstraße). 

Der Band mit den Konferenzbeiträgen kann hier heruntergeladen werden.

Die Folien zur Fachgruppensitzung können hier heruntergeladen werden.

Anmeldung:

Die Anmeldung ist jetzt geöffnet. Um sich anzumelden, verwenden Sie diesen Link.

Invited Speakers:

Lisa Beinborn (Göttingen)

Joel D. Day (Loughborough)

Stefan Göller (Kassel)

Dietrich Kuske (Ilmenau)

Carsten Lutz (Leipzig)

Andreas Maletti (Leipzig)

Termine:

Kurzfassungen der Beiträge: 15. August 2024
Theorietag 2024:  17.-20. September 2024

Weitere Informationen zur Einreichung von Kurzfassungen der Vorträge.

 

Beginnt
Endet
Europe/Berlin
Institut für Informatik
Goldschmidtstraße, 7 37077 Göttingen

Supported by: