Neuigkeiten und Termine
Aus International Center for Computational Logic
Neuigkeiten und Termine
Aktuelle Neuigkeiten
Ältere Neuigkeiten anzeigen| 20. 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)
