Upcoming Guest Talk by Prof. Sergei Artemov

About the Speaker

Sergei Artemov is a highly distinguished Russian-American researcher widely recognized for his foundational contributions to mathematics, logic, and computer science. He currently holds the title of Distinguished Professor at the Graduate Center of the City University of New York (CUNY), where he founded and directs the research laboratory for logic and […]

Upcoming Guest Talk by Prof. Yuri Gurevich

About the Speaker

Yuri Gurevich is Professor Emeritus at the University of Michigan. For two decades, he served as a Principal Researcher at Microsoft.

He is a highly distinguished figure in the computer science community, recognized as a Guggenheim Fellow and a Fellow of AAAS, ACM, and EATCS, among others. He is also […]

Helmut Veith Stipends and VCLA awards

The Helmut Veith Stipends 2026 and the VCLA awards 2025 ceremony took place on April 30 at TU Wien Informatics, bringing together students, researchers, and representatives from academia and public institutions to celebrate achievements in logic and computer science. During the event, the Helmut Veith Stipend and the VCLA International Student Awards were […]

Women in Logic Online – Talk with Elaine Pimentel

SHORT BIO:

Elaine Pimentel is a Professor of Logic and Computation in the Department of Computer Science at University College London (UCL), UK. She is also the UCL CS Schools Outreach Lead, Treasurer of ACM SIGLOG, Chair of the Latin American Committee of the Association for Symbolic Logic, and chair of the steering committees of TABLEAUX […]

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

The LogicLounge 2025 will be held on December 4, 2025 at 15:30 hours at the Luftpavillon of TU Wien (Karlsplatz 13, courtyard 2). This year, we welcome Hartmut Neven, Founder and Lead of Google Quantum AI, and Vice President of Engineering at Google. He leads the Quantum Artificial Intelligence lab, which he founded in 2012.

The […]

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“

Am 30. September eröffnete die Fakultät für Informatik der TU Wien neue Räumlichkeiten für das eduLAB gemeinsam mit Bildungsminister Christoph Wiederkehr (mehr Info dazu finden Sie hier).

Im Zuge der Veranstaltung überreichte das Vienna Center for Logic and Algorithms (VCLA) Geld- und Sachpreise an die Gewinner:innen des Jugend-Videowettbewerbs „Mensch und Maschine im Jahr 2035“, bei dem […]

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