30. Jahrestagung "Logik in der Informatik" der Gesellschaft für Informatik.

Die Veranstaltung fand gemeinsam mit dem 34. Theorietag "Automaten und formale Sprachen" vom 17. bis 20. September 2024 in Göttingen statt. Weitere Informationen (zum genauen Veranstaltungsort, zu den Hotels, zur Anmeldung und zum Programm) sind auf der Website der Veranstaltung verfügbar: theorietag2024.uni-goettingen.de

Während der Veranstaltung gab es sechs eingeladene Vorträge, gehalten von

Lisa Beinborn (Göttingen)

Joel D. Day (Loughborough)

Stefan Göller (Kassel)

Dietrich Kuske (Ilmenau)

Carsten Lutz (Leipzig)

Andreas Maletti (Leipzig)

Wie üblich bestand das Programm hauptsächlich aus Beiträgen, die von den Teilnehmerinnen und Teilnehmern zu den Themen Automaten, formale Sprachen und Logik in der Informatik eingereicht werden. Weitere Informationen dazu, wie Sie solche Beiträge einreichen können, finden Sie unter: events.gwdg.de/event/873/page/145-tagungsband

Der Einsendeschluss dafür ist am 15. August 2024.

Wir freuen uns über zahlreiche Einreichungen sowie Teilnehmerinnen und Teilnehmer an der Veranstaltung.

Die Veranstaltung wurde organisiert von Florin Manea (Universität Göttingen).