📌 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 🔗 vcla.at/2025/02/studen…

Für die Forschung sind die Zeiten vielerorts schwieriger geworden. In Wien wurden die Bedingungen stetig besser. Ich bin überzeugt, dass dieser Trend anhält, die Unterstützung dafür stark bleibt und werde meinen Teil dazu beitragen. #IchForscheGernInWien #TopForschungWien #Wien

❗️ 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 ℹ️ vcla.at/activities/men…

Easter riddle 🙂🐰🌷 Source: rd.com/article/easter…

⌛️ Deadline extended to April 30❗️ VCLA International Student Awards 🏆 🔷 Master Thesis & Undergraduate Research Award 🔷 Logic & Computer Science 🔷 Total Award Fund: EUR 2,000 🔗 vcla.at/2025/02/studen… Thanks for sharing! #Grant #Logic

The registration for CAV 2025 is now open! You can go ahead and register here: conferences.i-cav.org/2025/registrat…. Looking forward to seeing you all in July!

❗️ JOB OFFER! Post-doc Position at WU Vienna 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 ℹ️ …ersitaet-wien-portal.rexx-systems.com/postdoctoral-P… #postdocposition #KnowledgeGraphs

⌛️ 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/studen… #Grant #Logic

🐯 The TAIGER roars: Three papers from the WWTF-funded project TAIGER have been accepted at IJCAIconf 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

🧠 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 🇨🇦 ℹ️ vcla.at/2025/05/szeide…

‼️ Job opportunity: PhD position TU Wien 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

‼️ 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 June 🗓️ Deadline for applications: June 5 jobs.tuwien.ac.at/Job/252239 #PhDposition #phdjobs

🤩 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/regist… ℹ️vcla.at/2025/05/women-…

📢 Call for Participation: 17th Int. Conference on Deontic Logic and Normative Systems (DEON 2025) 🗓️ 30 June – 3 July 2025 | TU Wien, Vienna 🇦🇹 ‼️ Early registration with reduced rates 💵 available until June 2nd 🔗 sites.google.com/view/deon-2025…

💡 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 TU Wien ℹ️and abstract: vcla.at/2025/06/talk-b…

✏️ Call for Papers: Digital Humanism – Interdisciplinary Science and Research Conference 🗓️ Nov 20-21, 2025 | Vienna 🇦🇹 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/

➡️ 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: vcla.at/2025/05/women-… tuwien.zoom.us/webinar/regist…

🤩 Only three days to go until the 5th talk in our online seminar series "Women in Logic Online"! Sara Negri (University of Genova) will talk about "Axioms as Rules in Intuitionistic Logic". #logic #WomenInSTEM 🗓️ June 23, 17:00 CET ℹ️ and abstract: vcla.at/2025/05/women-…