Neuigkeiten und Termine
Aus International Center for Computational Logic
Neuigkeiten und Termine
Aktuelle Neuigkeiten
Ältere Neuigkeiten anzeigen20. Januar 2025: | ICCL Forschende tragen zur Lean-Standardbibliothek bei | |
25. November 2024: | Franz Baader und Renata Wassermann gewinnen Ray Reiter Best Paper Award bei der KR 2024 | |
20. November 2024: | Jonas Karge gewinnt Student Best Paper Award auf der PRIMA24 | |
5. November 2024: | Best Paper Award für Nemo | |
1. Juli 2024: | CACM-Blogartikel über die Vereinbarkeit von Familie und Beruf im akademischen Umfeld von ICCL-Forscherin Luisa Herrmann |
Veranstaltungskalender
Veranstaltungskalender abonnieren (iCal)