Upcoming Guest Talk by Prof. Sergei Artemov

Two Models of Consistency: A New Foundational Landscape
Wednesday, June 10, 2026 at 16:30

Upcoming Guest Talk by Prof. Yuri Gurevich

Assisted Algorithms
Tuesday, June 16, 2026 at 11:00

Helmut Veith Stipends and VCLA awards

Thursday, April 30, 2026 at 10:00 – Thursday, April 30, 2026 at 12:00

Women in Logic Online – Talk with Elaine Pimentel

Classical versus Constructive: An Ecumenical Approach
Wednesday, February 5, 2025 at 16:00

Student Best Paper Award at PRIMA 2025

At PRIMA 2025, the 26th International Conference on Principles and Practice of Multi-Agent Systems held in Modena, Italy, from December 16-19, 2025, LogiCS@TUWien students Josephine Dik, Dominik Pichler and Dmitry Rozplokhas were awarded the Martin Purvis Student Best Paper Award together with their co-authors, VCLA co-chair Agata Ciabattoni and Emiliano Lorini, for their paper “From […]

LogicLounge 2025 with Hartmut Neven

What Happens When Computers Go Quantum?
Thursday, December 4, 2025 at 15:30

Best Paper Awards at TABLEAUX 2025

At TABLEAUX 2025, the 34th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods held in Reykjavik, Iceland, from 27-29 September 2025, VCLA co-chair Agata Ciabattoni was awarded the best paper award for the paper “Analytic Proofs for Tense Logic,” which she co-authored with Timo Lang and Revantha Ramanayake. After awards at IJCAI […]

Preisverleihung Jugend-Videowettbewerb „Mensch und Maschine im Jahr 2035“

Tuesday, September 30, 2025

Gewinner: Jugend-Videowettbewerb “Mensch und Maschine im Jahr 2035”

Unser Jugend-Videowettbewerb „Mensch und Maschine im Jahr 2035“ ist zu Ende gegangen, und die sechs Jury-Mitglieder haben die Beiträge unabhängig voneinander bewertet.

Wir haben insgesamt 128 Anmeldungen erhalten und möchten uns bei allen bedanken, die teilgenommen haben! Es war eine Freude zu sehen, mit welcher Kreativität die Teams ihre Vorstellung vom Leben mit künstlicher Intelligenz in […]

VCLA International Student Awards 2025 – Announcement

The 9th edition of the VCLA International Student Awards 2025 was concluded in September. Based on the international call for (self-)nominations, the award committee consisting of sixteen internationally recognized researchers announced one Outstanding Master Thesis Award and one Outstanding Undergraduate Research Award. The nominated degrees had to be awarded between January 1, 2024 and December […]