VCLA | TU Wien

YouTube video by Vienna Center for Logic and Algorithms LogicLounge with Hartmut Neven: What Happens When Computers Go Quantum

🎬 If you missed #LogicLounge 2025, you can now watch the recording on our VCLA youtube channel! “What Happens When Computers Go Quantum” with Hartmut Neven
Enjoy! 🍿 #Logic #QuantumComputing #QuantumAI
www.youtube.com/watch?v=3lJL...

🙂 Thanks for joining us yesterday at #LogicLounge 2025✨! And thanks to Hartmut Neven for an inspiring talk and discussion on optimism, competition, publication, and passion in the field of quantum computing (moderated by @sarahkriesche.bsky.social)!
🎦 coming soon on our youtube channel

📢 Join us TODAY at 15:30 for #LogicLounge with Hartmut Neven (Google Quantum AI)!
What Happens When Computers Go Quantum?
@tuwien.at | Luftpavillon
ℹ️ www.vcla.at/2025/11/logi...

👉 As part of the AI Festival's Public Day on Dec 3, VCLA Co-Chair @szeider.bsky.social offers an interactive workshop on the principles underlying large language models such as ChatGPT.
📅 Dec 3 at 15:00 | @tuwien.at, Campus Gußhaus
🔗 informatics.tuwien.ac.at/news/3023

‼️ Only 2 days to go until #LogicLounge 2025 with Hartmut Neven, pioneering leader of Google Quantum AI! What Happens When Computers Go Quantum? Join us at the "Luftpavillon" of @tuwien.at on Dec 4 at 15:30 hours! Admission-free, no expertise or registration necessary.
ℹ️ www.vcla.at/2025/11/logi...

✏️ 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 deonconferences.org
❗️ Submit bids until January 15, 2026.

🙁 Due to unforeseen circumstances, today's talk in the online seminar series "Women in Logic Online" has been cancelled. Once we have set a new date, we will post it here! 🔜📅

🤩 Only one week to go until the 7th talk in the online seminar series "Women in Logic Online"! Elaine Pimentel (@ucl.ac.uk) will talk about "Classical Versus Constructive: An Ecumenical Approach"!
#logic #WomenInSTEM
🗓️ Nov 26, 17:00 CET
Sign up for free via zoom: tuwien.zoom.us/webinar/regi...

⚔️ 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.
transformer.project.tuwien.ac.at

📌 Save the Date! #LogicLounge 2025 will be held on Dec 4, 15:30 at @tuwien.at (Luftpavillon) in #Vienna. Join us for this public discussion with Hartmut Neven, pioneering leader of Google Quantum AI!
➡️ www.vcla.at/2025/11/logi...

🧱🤖 Practicing for the LEGO Unearthed Challenge at TU Transformer, an FFG-funded project which offers extracurricular learning opportunities for children and teenagers. #legochallenge
transformer.project.tuwien.ac.at

📢 Call for Submissions – FLoC 2026

Join FLoC 2026: top conferences, 86 workshops (including Mentoring Workshop, Olympic Games, tutorials, and doctoral consortia), and leading invited speakers.

🔗 Learn more and find submission details: www.floc26.org
#FLoC2026 #LogicInCS

🤩 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.ac.uk)!
🗓️ November 26, 17:00 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/11/wome...

❗️ JOB OFFER! University Assistant (post-doc)
Institute of Logic and Computation at @informatics.tuwien.ac.at

Research Unit Formal Methods in Systems Engineering
full-time, starting in Jan, for six years
🇩🇪 German skills required!
🗓️ apply until Nov 13
ℹ️ jobs.tuwien.ac.at/Job/259533
#postdocposition

❗️ JOB OFFER! University Assistant (post-doc)
Institute of Logic and Computation at @informatics.tuwien.ac.at

Research Unit Formal Methods in Systems Engineering
full-time, starting in January and limited to six years
🗓️ apply until Nov 13
ℹ️ jobs.tuwien.ac.at/Job/259532
#postdocposition

✨ Check out our latest annual report and learn more about the activities of the VCLA – promoting international scientific collaboration in logic and algorithms since 2011! 📘
#algorithms #logic #LogiCS
➡️ www.vcla.at/wp-content/u...

🧑‍🎓 ESSAI 2026 Call for Course Proposals:
4th European Summer School on AI / 2nd International Summer School on Bilateral AI
🗓️ July 6-10, 2026, Vienna, Austria 🇦🇹
Submit a course proposal until Dec 3!
For a list of possible topics, please visit: essai2026.eu/teaching.php

🏆 We congratulate the VCLA co-chair Agata Ciabattoni and her co-authors Timo Lang and Revantha Ramanayake on receiving the TABLEAUX 2025 Best Paper Award for their paper “Analytic Proofs for Tense Logic”! 👏
ℹ️ www.vcla.at/2025/10/best...

🏆 🤖 Die Preisverleihung zum Jugend-Videowettbewerb "Mensch und Maschine im Jahr 2035" fand am 30. September an der @tuwien.at statt! Agata Ciabattoni und Stefan Szeider überreichten die Urkunden an die Gewinner-Teams. Wir gratulieren! 👏 #KI #AI
📸 Amélie Chapalain
ℹ️ www.vcla.at/2025/10/prei...

Women in Logic Online with Nina Gierasimczuk: Learning and Belief Revision: an Overview YouTube video by Vienna Center for Logic and Algorithms

🎦 If you missed the sixth talk in the seminar series Women in Logic, "Learning and Belief Revision: an Overview" by Nina Gierasimczuk (DTU Compute), you can now watch the recording on our VCLA Youtube Channel. Enjoy! 🍿 #logic
www.youtube.com/live/LHbwslg...

🤩 Join us TOMORROW for our free online seminar “Women in Logic Online: Learning and Belief Revision: an Overview” with Nina Gierasimczuk (DTU Compute)!
🗓️ September 16, 17:30 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/08/wome...

👏 Congratulations to the winners of the VCLA International Student Awards 2025 🏆 in Logic and Computer Science: Wietze Koops from Radboud University (Outstanding Master Thesis Award) & Hannah Louise Wilk from @rwth.bsky.social (Undergraduate Research Award)!
➡️ www.vcla.at/2025/09/stud...

‼️ Job opportunity: PhD position @tuwien.at
Institute of Logic and Computation, Research Unit Formal Methods in Systems Engineering
limited to 4 years, 30 hrs/week, starting October
🇩🇪 skills needed for teaching
🗓️ apply until: Sep 25
jobs.tuwien.ac.at/job/256472
#PhDposition #phdjobs

🏆 We congratulate Dmitry Rozplokhas, the VCLA co-chair Agata Ciabattoni, and Matteo Tesi on receiving the JELIA 2025 Best Student Paper Prize for their paper “GL-based calculi for PCL and its deontic cousin”! 👏
ℹ️ www.vcla.at/2025/09/jeli...

👧 The VCLA is part of the FFG-funded project "Transformer," which offers extracurricular learning opportunities for children and teenagers. Check out the program here:
🔗 transformer.project.tuwien.ac.at/events/

🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Learning and Belief Revision: an Overview” with Nina Gierasimczuk (DTU Compute)!
🗓️ September 16, 17:30 CET
➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/08/wome...

‼️ Job opportunity: PhD position @tuwien.at

Institute of Logic and Computation, Research Unit Databases and Artificial Intelligence
limited to 4 years, 30 hrs/week, starting September
🇩🇪 skills needed for teaching
🗓️ apply until: Sep 4
jobs.tuwien.ac.at/Job/255456
#PhDposition #phdjobs

🏆 We congratulate the VCLA co-chair Agata Ciabattoni and her co-authors Emery Neufeld and Radu Tulcan on receiving the IJCAI 2025 Distinguished Paper Award for their paper “Combining MORL with Restraining Bolts to Learn Normative Behaviour”! 👏
ℹ️ www.vcla.at/2025/08/ijca...

🤞🤖 Daumen drücken für die Teilnehmer_innen an unserem Jugend-Videowettbewerb "Mensch und Maschine im Jahr 2035"! Die Jury-Bewertung läuft...
[Fingers crossed for all participants in our youth video competition "Humans and Machines in the year 2035"! Stay tuned...]
#menschundmaschine #AI #KI

❗️ JOB OFFER! University Assistant (post-doc)
Institute of Logic and Computation at @tuwien.at | @informatics.tuwien.ac.at

Research Unit Formal Methods in Systems Engineering
full-time, starting in September and limited to one year
🗓️ DL August 14
ℹ️ jobs.tuwien.ac.at/Job/255265
#postdocposition