Zum Hauptinhalt springen
Workshop

Deduktionstreffen 2024: Jährlicher Workshop und Mitgliederversammlung 2024

Das jährliche Deduktionstreffen wird 2024 als Teil des Theorietags am Institut für Informatik in Göttingen stattfinden.

Datum und Uhrzeit

17.09.2024, 09:00 - 20.09.2024, 18:00
Im Kalender speichern

Veranstaltungsort

Universität Göttingen
Göttingen

Beschreibung

Zusammen mit anderen GI-Gruppen im Berich der theoretischen Grundlagen, werden wir für 3-4 Tage informelle Diskussionen zu aktueller Forschung halten.

Für Details siehe die Homepage des Theorietags.

Beiträge aller Art aus dem Bereich Deduktionssysteme sind willkommen. Beiträge sollten weniger als 4 Seiten umfassen und unter https://events.gwdg.de/event/873/page/145-tagungsband (oder per E-Mail an die Fachgruppensprecher) eingereicht werden. Der Einsendeschluss dafür ist am 15. August 2024.