🎦 What is VCLA? Check out our new video to get an impression of our main activities and objectives! #logic #algorithms

🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Classical Versus Constructive: An Ecumenical Approach” with @Elaine_Pim (@ucl)! 🗓️ November 26, 17:00 CET ➡️ Sign up for free via Zoom: https://t.co/dz3DEpXcta ℹ️ https://t.co/uWc1BzZrob

❗️ JOB OFFER! University Assistant (post-doc) Institute of Logic and Computation at @tu_wien Research Unit Formal Methods in Systems Engineering full-time, starting in Jan, for six years 🇩🇪 German skills required! 🗓️ apply until Nov 13 ℹ️ https://t.co/HI6u5yO36S #postdocposition

❗️ JOB OFFER! University Assistant (post-doc) Institute of Logic and Computation at @tu_wien Research Unit Formal Methods in Systems Engineering full-time, starting in January and limited to six years 🗓️ apply until Nov 13 ℹ️ https://t.co/RbT1w9Gw65 #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 ➡️ https://t.co/dRIhf2xC3s

🧑‍🎓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: https://t.co/6vASmeqXUb

🏆 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”! 👏 ℹ️ https://t.co/K1amx87V2G

🏆🤖 Die Preisverleihung zum Jugend-Videowettbewerb „Mensch und Maschine im Jahr 2035“ fand am 30. September an der @tu_wien statt! Agata Ciabattoni und Stefan Szeider überreichten die Urkunden an die Gewinner-Teams. Wir gratulieren! #KI 📸 A. Chapalain ℹ️ https://t.co/3On5PvkEuZ

🎦 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 https://t.co/MRjYwNvgiC

❗️ 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: https://t.co/unGXDA2psj ℹ️ https://t.co/4U3zhBacML

👏 Congratulations to the winners of the VCLA International Student Awards 2025 🏆 in Logic and CS: Wietze Koops from Radboud University (Outstanding Master Thesis Award) & Hannah Louise Wilk from RWTH Aachen University (Undergraduate Research Award)! ➡️ https://t.co/Q4CFz8YKTt

‼️ Job opportunity: PhD position @tu_wien 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 https://t.co/1eStlmpqyu #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”! 👏 ℹ️ https://t.co/Zt0oFokgq9

👧 The VCLA is part of the FFG-funded project "Transformer", which offers extracurricular learning opportunities for children and teenagers. Check out the program here: 🔗 https://t.co/RilNsHcyKj

🤩 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: https://t.co/unGXDA1RCL ℹ️ https://t.co/4U3zhB9EXd

‼️ Job opportunity: PhD position @tu_wien 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 https://t.co/rDyJkeRBRi #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”! 👏 ℹ️ https://t.co/KoJUmzcTNl

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

❗️ JOB OFFER! University Assistant (post-doc) Institute of Logic and Computation at @tu_wien Research Unit Formal Methods in Systems Engineering full-time, starting in September and limited to one year 🗓️ apply until August 14 ℹ️ https://t.co/zPImxTOUAz #postdocposition

Good luck with your summer projects 😎

And the CAV award goes to... 🥁🥁🥁 Roy Armoni, Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Limor Fix, John Havlicek, Avner Landver, Hiller Miller, and Moshe Vardi 🏆 INDUSTRIAL TEMPORAL LOGIC SPECIFICATION MECHANISMS 🏆 @vardi