Vergangene Veranstaltungen
08.04.2022
Joint Logic Workshop: Logic in Computer Science and Deduction Systems
OnlineWorkshopFachgruppe DedSys
Zoom meeting hosted by FAU University Erlangen-Nuremberg
Online
Online
29.10.2021
Mitgliederversammlung des FB KI
OnlineFachbereich KIFachgruppe DedSys
Online Workshop
Online
Online
28.09.2021
Erste Sitzung des deutschen CLAIRE-Chapters
OnlineSymposiumFachbereich KIFachgruppe DedSys
Online
Berlin
Berlin
27.09. - 01.10.2021
KI 2021: 44th German Conference on Artificial Intelligence
KonferenzFachbereich KI
Wirtschaftswissenschaftliche Fakultät der HU Berlin
Berlin
Berlin
26.03.2021
Joint Logic Workshop: Gemeinsames Jahrestreffen der FG Deduktionssysteme und FG Logik in der Informatik
OnlineWorkshopFachgruppe DedSys
Online Workshop
Online
Online