🧑‍🎓 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...

🎦 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

Good luck with your summer projects 😎

🏆 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! 🎉

🎦 If you missed the fifth talk in the seminar series Women in Logic Online, "Axioms as Rules in Intuitionistic Logic" by Sara Negri, you can now watch the recording on our VCLA Youtube Channel. Enjoy! 🍿 #logic youtu.be/w1UHrheep9Y

➡️ Sign up NOW for our free online seminar "Women in Logic Online: Axioms as Rules in Intuitionistic Logic" with Sara Negri (University of Genova)! #logic #WomenInSTEM 🗓️ June 23, 17:00 CET ℹ️ and abstract: www.vcla.at/2025/05/wome... tuwien.zoom.us/webinar/regi...

‼️ 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...

✏️ Call for Papers: Digital Humanism – Interdisciplinary Science and Research Conference 🗓️ Nov 20-21, 2025 | Vienna 🇦🇹, MuseumsQuartier long or short papers from computer science, AI research, social sciences, law as well as the humanities ❗️ Submission deadline: July 15 dighum.org/dighum-res/

💡 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...

📢 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...

🤩 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...

‼️ 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

‼️ 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

🧠 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...

🐯 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

⌛️ 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

❗️ JOB OFFER! Post-doc Position at @wuvienna.bsky.social within the #BILAI Cluster of Excellence! Institute for Data, Process and Knowledge Management full-time, starting in August and limited to 3.5 years 🗓️ Deadline: June 8 ℹ️ wirtschaftsuniversitaet-wien-portal.rexx-systems.com/postdoctoral...

⌛️ 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

Easter riddle 🙂🐰🌷 Source: www.rd.com/article/east...

❗️ Lehrer_innen und Schüler_innen aufgepasst! Das VCLA veranstaltet einen Jugend-Videowettbewerb zum Thema „Mensch und Maschine im Jahr 2035“! 🤖 Es winken Geld- und Sachpreise! 💵📚 🗓️ Einsendeschluss ist der 4. Juli 2025. #menschundmaschine #schule #bildung #KI ℹ️ www.vcla.at/activities/m...

📌 Don’t forget to submit your self-nomination for the VCLA International Student Awards! Deadline is April 20❗️ 🔷 Logic & Computer Science 🔷 Master Thesis & Undergraduate Research Award 🔷 Total Award Fund: EUR 2,000 #Grant #logic #AI 🔗 www.vcla.at/2025/02/stud...

‼️ Call for Applications: 10 PhD Positions on Automated Reasoning at TU Wien new doctoral college starting Oct 2025, limited to 4 years, 30 hrs/week 🗓️ apply until: May 18 ℹ️ jobs.tuwien.ac.at/Job/249889 🔗 List of research topics: forsyte.at/docfunds/#to... #Phdposition #phdjobs

🎦 If you missed the Women in Logic talk on "Logic and Computation of Social Behavior" by Sonja Smets, you can now watch the recording on our VCLA Youtube Channel: www.youtube.com/live/cMee0vG.... Enjoy! 🍿 #logic

🤩 Join us tomorrow for the 4th talk in the online seminar series "Women in Logic Online"! Sonja Smets will talk about "Logic and Computation of Social Behavior"! #SocialSciences #logic 🗓️ March 19, 17:00 CET ℹ️ www.vcla.at/.../women-in... ➡️ Sign up for free via zoom: tuwien.zoom.us/webinar/regi...

👪 Discover the world of data science! Visit the joint station of the VCLA and eduLAB (both from TU Wien Informatics) at the Vienna Research Festival at the City Hall on March 21-23 for fun activities for all age groups 😀 #Wien #Vienna #WienerForschungsfest 👉 viennabusinessagency.at/events-works...

🤩 One week to go until the 4th talk in the online seminar series "Women in Logic Online"! Sonja Smets will talk about "Logic and Computation of Social Behavior"! #logic #WomenInSTEM 🗓️ March 19, 17:00 CET 👉 Sign up for free via zoom: tuwien.zoom.us/webinar/regi...

‼️ Second Call for Applications: The @fwf-at.bsky.social funded Cluster of Excellence "Bilateral AI" #BILAI still has several open positions for PhD and Post-Doc researchers! Join the team at one of the six participating research centers across Austria 🇦🇹. ℹ️ bilateral-ai.net/career

🤩 Great news! You may now register for our free online seminar "Women in Logic Online: Logic and Computation of Social Behavior" with Sonja Smets (University of Amsterdam / Universiteit van Amsterdam)! 🗓️ March 19, 17:00 CET Sign up for free via Zoom: tuwien.zoom.us/meeting/regi... #logic

🏅Call for Nominations for CAV Award 2025 🏅 The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. *Deadline for submitting nominations: March 4, 2025* For more details, visit conferences.i-cav.org/2025/award/

‼️ Job opportunity: PhD position at TU Wien Institute of Logic and Computation Research Unit of Algorithms and Complexity limited to 4 years, 40 hrs/week, starting April 🗓️ deadline for applications: March 6 ℹ️ jobs.tuwien.ac.at/Job/248127 #PhDposition #phdjobs

✏️ Third Call for Papers: 17th Int. Conference on Deontic Logic and Normative Systems (DEON 2025) 🗓️ 30 June – 3 July 2025 | TU Wien, Vienna 🇦🇹 ❗️ Extended submission deadlines: March 5 for abstracts, March 13 for papers sites.google.com/view/deon-20...

📣 The Call for Nominations for the 9th edition of the VCLA International Student Awards is now open! We are looking for outstanding theses in the field of #Logic & Computer Science. 🏆 Master Thesis & Undergraduate Research Award 🗓️ Deadline: April 20 ℹ️ www.vcla.at/2025/02/stud...