Scott Shapiro, Yale Law School: Realizing Leibniz’s Dream This LogicLounge was held as part of the CAV2024 (the 36th International Conference on Computer Aided Verification) program in Montreal on July 25, 2024. Essentially, Shapiro explored how formal methods and LLMs…
Funding News! The project “Acquiring and explaining norms for AI systems” (AXAIS) will be funded by the WWTF (Vienna Science and Technology Fund) under the call Information and Communication Technology – Digital Humanism – ICT23-030. The principal investigator is Agata…
The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master’s students who plan to start one of the programs in Computer Science at TU Wien taught in English in one of the following semesters: –…
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.…
