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.
Veranstaltungsort
Universität GöttingenGö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.