Vergangene Veranstaltungen
26.09.2023
Mitgliederversammlung FG DedSys 2023
Fachgruppe DedSys
HTW Berlin - Campus Wilhelminenhof
Oberschöneweide, Berlin
Oberschöneweide, Berlin
26.09.2023
DT2023: Deduktionstreffen 2023
WorkshopFachgruppe DedSys
HTW Berlin - Campus Wilhelminenhof
Oberschöneweide, Berlin
Oberschöneweide, Berlin
26.09. - 29.09.2023
KI 2023: 46th German Conference on Artificial Intelligence
KonferenzFachbereich KI
HTW Berlin - Campus Wilhelminenhof
Oberschöneweide, Berlin
Oberschöneweide, Berlin
19.09. - 23.09.2022
KI 2022: 45th German Conference on Artificial Intelligence
KonferenzFachbereich KI
Universität Trier
Trier
Trier
11.08. - 12.08.2022
Technion - Israel Institute of Technology
Haifa
Haifa
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