@vclatuwien.bsky.social
The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms. https://www.vcla.at
🧑🎓 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 😎
29.07.2025 08:44 — 👍 2 🔁 0 💬 0 📌 0
🏆 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! 🎉
17.07.2025 07:30 — 👍 1 🔁 0 💬 0 📌 0
🎦 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
