Call for Nominations: VCLA International Student Awards
The deadline for (self-)nominations has expired. The recipients of the awards will be announced after August 31, 2024.
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 […]
Talk by Nick Bezhanishvili: Degrees of the Finite Model Property for Superintuitionistic and Modal Logics
Degrees of the Finite Model Property for Superintuitionistic and Modal Logics
Tuesday, April 16, 2024 at 13:00 – 14:00
7th Women in Logic Workshop (WiL) 2023 in Rome, Italy
Saturday, July 1, 2023
6th Women in Logic Workshop (WiL) 2022 in Haifa, Israel
Sunday, July 31, 2022
Talk by Byron Cook: The Business of Proofs
Business of Proofs
Wednesday, April 17, 2024 at 11:15
Talk by Reiner Hähnle: Context-aware Trace Contracts
Context-aware Trace Contracts
Tuesday, March 26, 2024 at 13:00
Kick-off Meeting: FFG-funded project “Transformer”
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 […]
Talk by Emiliano Lorini: A Rule-based Modal View of Causal Reasoning
A Rule-based Modal View of Causal Reasoning
Wednesday, February 28, 2024 at 17:15
Women in Logic Online (seminar series)
Women in Logic Online – Network Mathematics
Wednesday, March 20, 2024 at 17:00
Helmut Veith Stipend
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 […]
