Women in Logic Online – Talk with Sonja Smets
Logic and Computation of Social Behavior
Wednesday, March 19, 2025 at 17:00
Call for Nominations: VCLA International Student Awards
The deadline for submission of (self-)nominations expired on April 30, 2025! The winning theses are expected to be announced in mid-August.
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 […]
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