The Vienna Center for Logic and Algorithms (VCLA) is an initiative of Vienna University of Technology (TU Wien).
VCLA is an initiative of TU Wien, facilitating international academic exchange across the fields of logic and algorithms, while raising awareness on the role of computer sciences among the experts and laymen alike. Located at the Faculty of Informatics, the Center is promoting international scientific collaboration in logic and algorithms. VCLA is hosted by five research groups at the Faculty of I
18/12/2025
🏆 We congratulate LogiCS@TUWien students Josephine Dik, Dominik Pichler and Dmitry Rozplokhas, as well as their co-authors, Agata Ciabattoni (VCLA co-chair) and Emiliano Lorini, on receiving the Martin Purvis Student Best Paper Award for their paper "From Explicit Allowances to Defeasible Deontic Operators: A Modal View" at PRIMA 2025 held in Modena, Italy! 👏
ℹ️ https://www.vcla.at/2025/12/student-best-paper-award-at-prima-2025/
08/12/2025
🎬 If you missed 2025, you can now watch the recording on our VCLA youtube channel! "What Happens When Computers Go Quantum" with Hartmut Neven
Enjoy! 🍿
LogicLounge with Hartmut Neven: What Happens When Computers Go Quantum The public discussion LogicLounge 2025 was held at TU Wien's "Luftpavillon" in Vienna on December 4, 2025. Abstract: How close are we to a world where quantu...
05/12/2025
🙂 Thanks for joining us yesterday at 2025✨! And thanks to Hartmut Neven (Google Quantum AI) for an inspiring talk and discussion on optimism, competition, publication, and passion in the field of quantum computing (moderated by Sarah Kriesche)!
🎦 coming soon on our youtube channel
04/12/2025
📢 Join us TODAY at 15:30 for with Hartmut Neven (Google Quantum AI)!
What Happens When Computers Go Quantum?
TU Wien | Luftpavillon
ℹ️ https://www.vcla.at/2025/11/logiclounge-2025-with-hartmut-neven/
02/12/2025
👉 As part of the AI Festival's Public Day on December 3, VCLA Co-Chair Stefan Szeider offers an interactive workshop on the principles underlying large language models such as ChatGPT.
📅 Dec 3 at 15:00 | TU Wien, Campus Gußhaus
AI Festival: Public Day Erleben Sie am dritten Tag unseres AI Festivals, woran unsere Forschenden arbeiten, und entdecken Sie aktuelle Trends und Herausforderungen für die KI!
02/12/2025
‼️ Only 2 days to go until 2025 with Hartmut Neven, pioneering leader of Google Quantum AI! What Happens When Computers Go Quantum? Join us at the "Luftpavillon" of
TU Wien on December 4 at 15:30 hours! Admission-free, no expertise or registration necessary.
ℹ️ https://www.vcla.at/2025/11/logiclounge-2025-with-hartmut-neven/
27/11/2025
✏️ Call for Bids [DEON 2027]
The DEON steering committee is currently soliciting bids to host the 2027 edition of DEON, the International Conference on Deontic Logic and Normative Systems.
For details, please consult https://deonconferences.org/
❗️ Submit bids until January 15, 2026.
DeonticLogic.org None
18/11/2025
⚔️ Teaching algorithms to kids at the TU Transformer with the board game "Robo Rumble," in which robot vacuum cleaners battle each other for supremacy in the household.
https://transformer.project.tuwien.ac.at/
18/11/2025
📌 Save the Date! 2025 will be held on Dec 4, 15:30 at TU Wien (Luftpavillon) in . Join us for this public discussion with Hartmut Neven, pioneering leader of Google Quantum AI!
➡️ https://www.vcla.at/2025/11/logiclounge-2025-with-hartmut-neven/
🧱🤖 Practicing for the LEGO Unearthed Challenge at TU Transformer, an FFG-funded project which offers extracurricular learning opportunities for children and teenagers.
https://transformer.project.tuwien.ac.at/
04/11/2025
🤩 Great news! You may now register for our free online seminar "Women in Logic Online: Classical Versus Constructive - An Ecumenical Approach" with Elaine Pimentel (UCL)!
🗓️ November 26, 17:00 CET
➡️ Sign up for free via Zoom: https://tuwien.zoom.us/webinar/register/WN_TbJTkg66R1eJ7Bn9gtzoVQ
ℹ️ https://vcla.at/2025/11/women-in-logic-online-talk-with-elaine-pimentel/
Women in Logic Valeria De Paiva
29/10/2025
❗️ JOB OFFER! University Assistant (post-doc)
Institute of Logic and Computation at TU Wien | TU Wien Informatics
Research Unit Formal Methods in Systems Engineering
full-time, starting in January and limited to six years
🇩🇪 German skills required!
🗓️ apply until Nov 13
ℹ️ https://jobs.tuwien.ac.at/Job/259533
Universitätsassistent_in (Post-Doc) Am Institut für Logic and Computation, im Forschungsbereich Formal Methods in Systems Engineering ist eine Stelle als Universitätsassistent_in (Post-Doc), voraussichtlich ab Januar 2026 (40 Wochenstunden, voraussichtlich befristet auf 6 Jahre) mit folgendem Aufgabengebiet zu besetzen.