TU Dresden
/ TU Dresden / InformatikComputer Science / ICCL
/ TU Dresden / Fakultät InformatikFaculty of Computer Science / International Center For Computational Logic
Account
  • Anmelden
Edit tools
Diskussion
Quelltext anzeigen
Versionsgeschichte
Neu laden
Intern
SucheSearch
English
International Center for Computational Logic
Über ICCL
News & Termine
Profil
Forschungsgruppen
Beschäftigte
Stellenangebote
Lage und Kontakt
Studium
Lehrveranstaltungen
Studienarbeiten
Europäischer Master
Internationaler Master
Forschung
Forschungsfelder
Forschungsprojekte
Publikationen
Kooperation
Angebote
Partner

Neuigkeiten und Termine

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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)


Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=News&oldid=27861“
Links auf diese Seite
Änderungen an verlinkten Seiten
Spezialseiten
Druckversion
Permanenter Link
Seiten­­informationen
Attribute anzeigen
Diese Seite wurde zuletzt am 16. Juni 2025 um 20:11 Uhr bearbeitet.
Datenschutz
Über International Center for Computational Logic
Impressum
Barrierefreiheit
Powered by MediaWiki
Powered by Semantic MediaWiki