AI made in Austria: Kick-off Meeting of the FWF-funded Cluster of Excellence “Bilateral AI”
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, […]
Women in Logic Online – Talk with Sonja Smets
Wednesday, March 19, 2025 at 17:00
Call for Nominations: VCLA International Student Awards
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 or equivalent, 1st cycle of the Bologna process)*
*The degree must have been […]
Talk by Guillermo Badia: Codd’s Theorem for Databases over Semirings
Codd’s Theorem for Databases over Semirings
Thursday, February 27, 2025 at 17:00
Obituary for Anna Prianichnikova
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 […]
Workshop on Foundations of Databases and AI
Wednesday, January 29, 2025 – Thursday, January 30, 2025
Vienna Ball of Sciences 2025
Saturday, January 25, 2025 at 20:00
Women in Logic Online – Talk with Francesca Poggiolesi
Explanatory Proofs: From Logic to Mathematics
Friday, January 24, 2025 at 17:00
World Logic Day Lecture: Joao Marques-Silva
Trustable Explainable AI — A Redemption by Logic
Tuesday, January 14, 2025 at 17:00
Helmut Veith Stipend: Award Ceremony
Wednesday, December 18, 2024 at 14:30
