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
Logical Characterizations of Weighted Complexity Classes
Tuesday, August 27, 2024 at 11:00
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
Logic, Accountability, and Design
Wednesday, June 5, 2024
LogicLounge 2024 with Georg Gottlob
Artificial Intelligence and Artificial Ignorance
Tuesday, May 28, 2024 at 16:00
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 […]
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 […]
