Women in Logic Online – Talk with Sonja Smets
SHORT BIO:
Sonja Smets is professor of Logic and Epistemology at both the Faculty of Science and the Faculty of Humanities at the University of Amsterdam. She established herself as an expert in the domain of non-classical Philosophical Logic, and especially its applications to the logical-philosophical foundations of quantum mechanics, and to the reasoning about knowledge […]
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
SHORT BIO:
Guillermo Badia is a Lecturer in Logic (continuing position) in the School of Historical and Philosophical Inquiry at the University of Queensland, Australia. From 2022-2025, his research is supported by an Australian Research Council Discovery Early Career Researcher Award (DE220100544). He serves as an editor of Archive for Mathematical Logic and Journal of Multiple-Valued Logic […]
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
The Workshop on Foundations of Databases and AI (FADA) was a focused, two-day gathering of some of the leading international scholars working on the theoretical underpinnings of databases and artificial intelligence. The event was held on January 29–30, 2025, at TU Wien in Vienna and featured forward-looking talks and discussions on topics such as the […]
Vienna Ball of Sciences 2025
What a night! The Vienna Ball of Sciences 2025 celebrated its 10-year anniversary on Saturday, January 25, at Vienna’s city hall (Rathaus). As part of the many attractions of the event, ball guests had the opportunity to put their logic skills to the test with our logic puzzle “The Revenge of Schrödinger’s Cat (the solution […]
Women in Logic Online – Talk with Francesca Poggiolesi
On January 24, 2025, Francesca Poggiolesi held the third talk in the seminar series “Women in Logic Online”!
If you missed this talk, you can now watch the recording on the VCLA youtube channel!
SHORT BIO:
Francesca Poggiolesi is a CNRS Directrice de Recherche (Full Professor), co-leading the logic and philosophy of mathematics group of the IHPST, Paris. […]
