The kick-off meeting of the FFG-funded project “Transformer” (call Co-Creation Spaces Climate & Energy) was held on February 29, 2024. The Vienna Center for Logic and Algorithms (VCLA) is proud to participate in this project, in which six faculties of TU Wien are teaming up to offer extracurricular learning opportunities with a focus on the […]
The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master’s students who plan to pursue one of the programs in Computer Science at TU Wien taught in English in one of the following semesters:
– winter semester 2024/2025
– summer semester 2025
The deadline of the current call is November 30, 2024.
For more […]
The Trustworthy Cyber-Physical Systems Group at TU Wien is seeking a candidate for a PhD research position (four years, 30hours/week) or a postdoctoral research position (two years, 40hours/week), starting as soon as possible. The successful applicant will carry out his/her postdoc/PhD in the research area of formal methods applied to guide autonomous agents based on […]
Business of Proofs
Wednesday, April 17, 2024 at 11:15
Context-aware Trace Contracts
Tuesday, March 26, 2024 at 13:00
Women in Logic Online – Network Mathematics
Wednesday, March 20, 2024 at 17:00
A Rule-based Modal View of Causal Reasoning
Wednesday, February 28, 2024 at 17:15
Beyond truth and falsehood: Logic as a Calculus of Events
Friday, January 12, 2024 at 17:00
Algorithmic Data Science on Graphs
Thursday, November 16, 2023 at 13:15