As the conference room is small, we encourage you to join via Zoom: Join Zoom Meeting Meeting ID: 916 1073 9406 Password: 79567707 SHORT BIO: I studied Philosophy, Logic and Scientific Method at the University of Sussex and began my…
REPORT The series of public discussions LogicLounge, which is celebrating its tenth anniversary this year, was held on May 28 at Café Museum, which already served as a meeting place for Wittgenstein and the Vienna Circle. In his talk “Artificial…
The FWF-funded Cluster of Excellence (CoE) “Bilateral Artificial Intelligence” aims to provide AI with significantly better and broader skill acquisition and problem-solving abilities. Headed by Sepp Hochreiter (JKU Linz), the CoE board of directors includes renowned AI experts such as…
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…
SHORT BIO: (taken from the University of Helsinki) Nick Bezhanishvili obtained his PhD in 2006 from the ILLC (Institute for Logic, Language and Computation), University of Amsterdam, under the supervision of Professors Dick de Jongh and Yde Venema. He held…
The 7th International Women in Logic Workshop was a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) and was held in Rome, Italy, on 1 July 2023. The program included four sessions,…
The 6th International Women in Logic Workshop was a satellite event of the International Conference on Formal Structures for Computation and Deduction (FSCD 2022) and was held on July 31, 2022 as a pre-workshop of FLoC 2022 in Haifa, Israel.…
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 of areas over the years, including computer and…
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 languages, and quality assurance by verification. He is co-initiator of the…
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…
