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 | |
| 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 | |
| 13. Juni 2024: | Markus Krötzsch erhält den Lehrpreis 2024 |
Veranstaltungskalender
Veranstaltungskalender abonnieren (iCal)
