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 16: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
Talk by Ken Satoh: NL interface of PROLEG system and extracting normative sentences from German traffic judgements
NL interface of PROLEG system and extracting normative sentences from German traffic judgements
Monday, December 9, 2024 at 14:30
Talk by Hanoch Ben-Yami: The Quantified Argument Calculus
The Quantified Argument Calculus: Introduction and Research Directions
Wednesday, December 4, 2024 at 16:30
