Neuigkeiten und Termine
Aus International Center for Computational Logic
Neuigkeiten und Termine
Aktuelle Neuigkeiten
Ältere Neuigkeiten anzeigen| 13. Januar 2026: | Tim Lyon ist dem Herausgebergremium des Bulletin of the Section of Logic beigetreten | |
| 27. November 2025: | GPTKB wird bei ISWC als beste Demo prämiert | |
| 23. Oktober 2025: | Dörthe Arndt gewinnt Rule Challenge Best Paper Award bei RuleML+RR 2025 | |
| 30. September 2025: | Filippo De Bortoli gewinnt Best Student Paper Award bei FroCoS 2025 | |
| 20. Januar 2025: | ICCL Forschende tragen zur Lean-Standardbibliothek bei |
Veranstaltungskalender
Veranstaltungskalender abonnieren (iCal)
