Clik here to view.
World Logic Day Lecture: Adnan Darwiche
On 12 January 2024, we invited you to celebrate the international World Logic Day virtually with the Vienna Center for Logic and Algorithms (VCLA) at TU Wien and the Logic community from the city of...
View ArticleClik here to view.
Helmut Veith Lecture Hall – Dedication Ceremony
On December 15, we celebrated the dedication of the lecture hall “FAV Hörsaal 1” at the Faculty of Informatics of TU Wien in honor of the late Prof. Helmut Veith. The program included invited talks as...
View ArticleClik here to view.
Vienna Ball of Sciences 2024
It’s ballroom dancing season again! The Vienna Ball of Sciences 2024 was held on Saturday, January 27, at Vienna’s city hall (Rathaus). As part of the many attractions of the event, ball guests were...
View ArticleClik here to view.
LogiCS@TUWien – Industry Day
On January 19, 2024, we hosted an “Industry Day” for our doctoral college LogiCS@TUWien so that our PhD students could discuss their projects with external guests. Event Program 8.30 – 9.00 Welcome...
View ArticleClik here to view.
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...
View ArticleWomen in Logic Online (seminar series)
Short Bio: Valeria de Paiva is a mathematician, logician, and AI scientist, working on natural language processing, logical inference, and all kinds of semantics, especially Dialectica categories....
View ArticleClik here to view.
Talk by Emiliano Lorini: A Rule-based Modal View of Causal Reasoning
SHORT BIO: Emiliano Lorini is a senior researcher (“directeur de recherche”) at the Centre National de la Recherche Scientifique (CNRS), co-head of the LILaC team (Logic, interaction, language and...
View ArticleClik here to view.
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...
View ArticleClik here to view.
Talk by Reiner Hähnle: Context-aware Trace Contracts
SHORT BIO: Reiner Hähnle is Professor in Software Engineering at the Computer Science Department of TU Darmstadt. He has wide-ranging interests in the formal foundations of software design, programming...
View ArticleClik here to view.
Talk by Byron Cook: The Business of Proofs
SHORT BIO: Byron Cook is Professor of Computer Science at University College London (UCL); as well as Vice President and Distinguished Scientist at Amazon Web Services. Byron’s has worked in a variety...
View Article
