Keine Frage: Künstliche Intelligenz wird unsere Gesellschaft nachhaltig verändern. Arbeit, Bildung, Medizin und Verkehr sind nur einige Bereiche, die davon betroffen sind. Doch welche Chancen und Risiken bringt die Technologie mit sich? Zeigt uns eure Vision vom Leben im Jahr 2035 in einem Kurzvideo (maximal 60 Sekunden)! #menschundmaschine
Die besten und kreativsten Beiträge werden mit Geld- […]
On February 26, 2025, around 300 researchers, industry professionals, and decision makers gathered at Johannes Kepler University Linz (JKU) to discuss the project’s vision and goals. Two Vice Rectors of TU Wien, Peter Ertl (Vice Rector Research, Innovation, International Affairs) and Wolfgang Kastner (Vice Rector Digitalization and Infrastructure), attended the event, as did Gerti Kappel, […]
The deadline for submission of (self-)nominations has been extended to April 30, 2025!
The Vienna Center for Logic and Algorithms at TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:
Outstanding Master Thesis Award*
Outstanding Undergraduate Thesis Award (Bachelor thesis […]
Dr. Anna Prianichnikova, beloved coordinator of TU Wien’s computer science doctoral programs, has passed away after a short but serious illness. She dedicated her career to supporting and nurturing future PhD students through multiple prestigious doctoral programs at TU Wien.
From the first FWF Doctoral College “Logical Methods in Computer Science” to the current Marie Skłodowska-Curie […]
Codd’s Theorem for Databases over Semirings
Thursday, February 27, 2025 at 17:00
Explanatory Proofs: From Logic to Mathematics
Friday, January 24, 2025 at 17:00
Trustable Explainable AI — A Redemption by Logic
Tuesday, January 14, 2025 at 17:00
NL interface of PROLEG system and extracting normative sentences from German traffic judgements
Monday, December 9, 2024 at 14:30
The Quantified Argument Calculus: Introduction and Research Directions
Wednesday, December 4, 2024 at 16:30