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