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