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:
Termine:
Kurzfassungen der Beiträge: | 15. August 2024 |
Theorietag 2024: | 17.-20. September 2024 |
Weitere Informationen zur Einreichung von Kurzfassungen der Vorträge.