29.06.2022, 12:00 Uhr Verteidigung der Masterarbeit von Marwan Sakran Erwartungswerte iterierter Summen Termin anzeigen
05.07.2022, 16:15 Uhr - 05.07.2022, 18:00 Uhr Perspektiven der Fachdidaktik Interdisziplinäres Kolloquium der Fachdidaktiken Termin anzeigen
11.08.2022, 09:00 Uhr - 12.08.2022, 17:00 Uhr 8th Workshop on Practical Aspects of Automated Reasoning (PAAR 2022) The Eighth Workshop on Practical Aspects of Automated Reasoning will take place on August 11-12, 2022 in Haifa, Isreal. PAAR 2022 is associated with… Termin anzeigen
19.09.2022, 09:00 Uhr - 20.09.2022, 17:00 Uhr Deduktionstreffen 2022 The annual meeting Deduktionstreffen is the prime activity of the Special Interest Group on Deduction Systems (FG DedSys) of the AI Section of the… Termin anzeigen