VCLA at TU Wien
@vclaTUwien
Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * http://www.vcla.at
🎦 What is VCLA? Check out our new video to get an impression of our main activities and objectives! #logic #algorithms
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
🏆 On June 30, the VCLA held an award ceremony for the VCLA Intl Student Awards (8th edition) as part of 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, "Axioms as Rules in Intuitionistic Logic" by Sara Negri, you can now watch the recording on our VCLA Youtube Channel: youtu.be/w1UHrheep9Y. Enjoy! 🍿#logic
🤩 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-…
➡️ 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…
✏️ 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/
💡 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 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…
🤩 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-…
‼️ 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
‼️ 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
🧠 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…
🐯 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
⌛️ 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
❗️ 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
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!
⌛️ 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
