Talk by Rajeev Gore: CEGAR-Tableaux – Improved Modal Satisfiability via Modal Clause-Learning and SAT
SHORT BIO:
Rajeev Gore obtained his PhD from the Computer Laboratory of the University of Cambridge in 1992. Before that, he was at the University of Melbourne, completing a BSc (hons I) with a double major in Physics and Computer Science, and an MSc in design automation. His research interests include Electronic Voting and Vote-Counting, Proof […]
PhD Position at TU Wien, AXAIS project
The research group Theory and Logic, Institute of Logic and Computation of TU Wien (the Vienna University of Technology) is looking for an exceptionally talented and motivated student for a PhD position.
The 4-year position (30 hrs/week) is embedded in the AXAIS project (“Acquiring and explaining norms for AI systems”) funded by the Vienna Science and […]
Helmut Veith Stipend: Announcement
It is our pleasure to announce that the 8th edition of the Helmut Veith Stipend for Female Master’s Students in Computer Science (submission period end of November 2023) has concluded with the selection of four recipients! Seeing that the committee received an unprecedented number of qualified applications (180 submissions in total), it seemed impossible to […]
Talk by Guillermo Badia: Logical Characterizations of Weighted Complexity Classes
SHORT BIO:
Guillermo Badia is a Lecturer in Logic (continuing position) in the School of Historical and Philosophical Inquiry at the University of Queensland, Australia. From 2022-2025, his research is supported by an Australian Research Council Discovery Early Career Researcher Award (DE220100544). He serves as an editor of Archive for Mathematical Logic and Journal of Multiple-Valued Logic […]
LogicLounge at CAV in Montreal: Realizing Leibniz’s Dream
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 can be utilized to realize Leibniz’s dream of automated legal reasoning.
Abstract: In the 17th Century, the […]
WWTF-Funding for project AXAIS
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 Ciabattoni (TU Wien and VCLA); her co-principal investigators are John Horty (University of Maryland) and Cristinel […]
Helmut Veith Stipend
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:
– winter semester 2024/2025
– summer semester 2025
– winter semester 2025/26
The deadline of the current call is November […]
Talk by David Pearce: Logic, Accountability, and Design
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 doctoral studies in Philosophy at St John’s College, Oxford. I later returned to Sussex where I obtained […]
LogicLounge 2024 with Georg Gottlob
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 Intelligence and Artificial Ignorance”, Professor Georg Gottlob, who recently joined the University of Calabria (Unical), provided […]
Bilateral Artificial Intelligence: Discovering the Next Dimension of AI
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 VCLA Co-Chair Agata Ciabattoni and VCLA Board Member Thomas Eiter.
At a press conference held at […]
