VCLA | TU Wien
LightNews LightNews
banner
vclatuwien.bsky.social
VCLA | TU Wien
@vclatuwien.bsky.social
56 followers 43 following 49 posts
The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms.
https://www.vcla.at
Posts Replies Media Videos
vclatuwien.bsky.social
🤩 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...
November 4, 2025 at 10:06 AM
vclatuwien.bsky.social
❗️ 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
October 28, 2025 at 1:08 PM
vclatuwien.bsky.social
✨ 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...
October 22, 2025 at 8:03 AM
vclatuwien.bsky.social
🧑‍🎓 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
October 15, 2025 at 7:32 AM
vclatuwien.bsky.social
🏆 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...
October 7, 2025 at 9:46 AM
vclatuwien.bsky.social
🏆 🤖 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...
October 6, 2025 at 11:11 AM
vclatuwien.bsky.social
🤩 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...
September 15, 2025 at 8:19 AM
vclatuwien.bsky.social
👏 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...
September 11, 2025 at 11:29 AM
vclatuwien.bsky.social
🏆 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...
September 8, 2025 at 8:16 AM
vclatuwien.bsky.social
👧 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/
September 3, 2025 at 11:31 AM
vclatuwien.bsky.social
🤩 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...
September 1, 2025 at 9:27 AM
vclatuwien.bsky.social
🏆 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...
August 25, 2025 at 10:03 AM
vclatuwien.bsky.social
🤞🤖 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
August 21, 2025 at 7:52 AM
vclatuwien.bsky.social
Good luck with your summer projects 😎
July 29, 2025 at 8:44 AM
vclatuwien.bsky.social
🏆 On June 30, the VCLA held an award ceremony for the VCLA Intl Student Awards (8th edition) as part of the conference DEON. Nate Collins (Outstanding Undergraduate Research Award) and Tikhon Pshenitsyn (Outstanding Master Thesis Award) presented their work to the audience. Congratulations! 🎉
July 17, 2025 at 7:30 AM
vclatuwien.bsky.social
‼️ Reminder: Tomorrow, Malvin Gattinger from the University of Amsterdam will give a talk with the title "Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean"!
🗓️ Wednesday, June 11, 16:30-17:30 at @tuwien.at
ℹ️ and abstract: www.vcla.at/2025/06/talk...
June 10, 2025 at 11:13 AM
vclatuwien.bsky.social
💡 Malvin Gattinger from the University of Amsterdam will give a talk with the title "Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean"!
🗓️ Wednesday, June 11, 16:30-17:30 at @tuwien.at
ℹ️and abstract: www.vcla.at/2025/06/talk...
June 3, 2025 at 8:57 AM
vclatuwien.bsky.social
📢 Call for Participation: 17th Int. Conference on Deontic Logic and Normative Systems (DEON 2025)
🗓️ 30 June – 3 July 2025 | @tuwien.at, Vienna 🇦🇹
‼️ Early registration with reduced rates 💵 available until June 2nd
🔗 sites.google.com/view/deon-20...
May 28, 2025 at 10:00 AM
vclatuwien.bsky.social
🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Axioms as Rules in Intuitionistic Logic” with Sara Negri (University of Genova)!
🗓️ June 23, 17:00 CET
Sign up for free via Zoom: tuwien.zoom.us/webinar/regi...
ℹ️ www.vcla.at/2025/05/wome...
May 27, 2025 at 10:12 AM
vclatuwien.bsky.social
‼️ 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 June
🗓️ Deadline for applications: June 5
jobs.tuwien.ac.at/Job/252239
#PhDposition #phdjobs
May 19, 2025 at 10:22 AM
vclatuwien.bsky.social
‼️ Job opportunity: PhD position @tuwien.at | @informatics.tuwien.ac.at
Institute of Logic and Computation, Research Unit of Algorithms and Complexity
limited to 4 years, 40 hrs/week, starting May
🗓️ deadline for applications: May 18
ℹ️ jobs.tuwien.ac.at/Job/250940
#PhDposition #phdjobs
May 12, 2025 at 7:25 AM
vclatuwien.bsky.social
🧠 Neural meets Symbolic: Synergies Between Language Models and Constraint Reasoning
On May 3, VCLA Co-Chair Stefan Szeider delivered a keynote at the 1st International Workshop on Neuro-Symbolic Software Engineering (NSE) in Ottawa, Canada 🇨🇦
ℹ️ www.vcla.at/2025/05/szei...
May 5, 2025 at 11:25 AM
vclatuwien.bsky.social
🐯 The TAIGER roars: Three papers from the @wwtf.at -funded project TAIGER have been accepted at @ijcai.org 2025 🇨🇦! The overall aim of TAIGER is to introduce frameworks for the design of #AI agents sensitive to ethical, legal, and social norms.
ℹ️ taiger.logic.at/publications
May 2, 2025 at 7:59 AM
vclatuwien.bsky.social
⌛️ Last chance to submit your (self-)nomination!
🎯 Final Deadline: TODAY - April 30❗️
VCLA International Student Awards 🏆
🔷 Master Thesis & Undergraduate Research Award
🔷 Logic & Computer Science
🔷 Total Award Fund: EUR 2,000
🔗 vcla.at/2025/02/stud...
#Grant #Logic
April 30, 2025 at 8:06 AM
vclatuwien.bsky.social
⌛️ Deadline extended to April 30 ❗️
VCLA International Student Awards 🏆
🔷 Master Thesis & Undergraduate Research Award
🔷 Logic & Computer Science
🔷 Total Award Fund: EUR 2,000
🔗 www.vcla.at/2025/02/stud...
Thanks for sharing! #Grant #Logic
April 22, 2025 at 7:41 AM