VCLA | TU Wien

❗️ 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! 🎉

YouTube video by Vienna Center for Logic and Algorithms Women in Logic Online with Sara Negri: Axioms as Rules in Intuitionistic Logic

🎦 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

Welcome! You are invited to join a webinar: Women in Logic Online with Sara Negri. After registering, you will receive a confirmation email about joining the webinar. Axioms as Rules in Intuitionistic Logic

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

Digital Humanism – Interdisciplinary Science and Research Conference Vienna, November 20-21, 2025

✏️ 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 opportunity postdoctoral Project Staff Member at Wirtschaftsuniversität Wien Jobportal others in Wien

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

Women in Logic Online with Sonja Smets: Logic and Computation of Social Behavior YouTube video by Vienna Center for Logic and Algorithms

🎦 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

Welcome! You are invited to join a webinar: Women in Logic Online with Sonja Smets. After registering, you will receive a confirmation email about joining the webinar. Logic and Computation of Social Behavior

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

ℹ️ Details/abstract available at: www.vcla.at/2025/03/wome...

🤩 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

ℹ️ & Abstract: www.vcla.at/2025/03/wome...

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