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 […]

Talk by Nick Bezhanishvili: Degrees of the Finite Model Property for Superintuitionistic and Modal Logics

Degrees of the Finite Model Property for Superintuitionistic and Modal Logics
Tuesday, April 16, 2024 at 13:00 – 14:00

Talk by Byron Cook: The Business of Proofs

Business of Proofs
Wednesday, April 17, 2024 at 11:15

Talk by Reiner Hähnle: Context-aware Trace Contracts

Context-aware Trace Contracts
Tuesday, March 26, 2024 at 13:00

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 participate in this project, in which six faculties of TU Wien are teaming up to offer extracurricular learning opportunities with a focus on the […]