Lightnews — Scholar-powered news

VCLA | TU Wien @vclatuwien.bsky.social · 5d

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

VCLA | TU Wien @vclatuwien.bsky.social · 6d

🏆 🤖 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...

VCLA | TU Wien @vclatuwien.bsky.social · 25d

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

Women in Logic Online with Nina Gierasimczuk: Learning and Belief Revision: an Overview

YouTube video by Vienna Center for Logic and Algorithms

www.youtube.com

VCLA | TU Wien @vclatuwien.bsky.social · 27d

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

VCLA | TU Wien @vclatuwien.bsky.social · Sep 11

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

VCLA | TU Wien @vclatuwien.bsky.social · Sep 9

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

Universitätsassistent_in (Prae-Doc)

jobs.tuwien.ac.at

VCLA | TU Wien @vclatuwien.bsky.social · Sep 8

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

VCLA | TU Wien @vclatuwien.bsky.social · Sep 3

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

VCLA | TU Wien @vclatuwien.bsky.social · Sep 1

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

VCLA | TU Wien @vclatuwien.bsky.social · Aug 26

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

Universitätsassistent_in (Prae-Doc)

TU-ID: 192 | 2025 | 35 | 255456

jobs.tuwien.ac.at

VCLA | TU Wien @vclatuwien.bsky.social · Aug 25

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

VCLA | TU Wien @vclatuwien.bsky.social · Aug 21

🤞🤖 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

1

VCLA | TU Wien @vclatuwien.bsky.social · Aug 5

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

University Assistant Post-Doc (all genders)

jobs.tuwien.ac.at

1 2

VCLA | TU Wien @vclatuwien.bsky.social · Jul 29

Good luck with your summer projects 😎

2

VCLA | TU Wien @vclatuwien.bsky.social · Jul 17

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

1

VCLA | TU Wien @vclatuwien.bsky.social · Jul 8

🎦 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

Women in Logic Online with Sara Negri: Axioms as Rules in Intuitionistic Logic

YouTube video by Vienna Center for Logic and Algorithms

youtu.be

VCLA | TU Wien @vclatuwien.bsky.social · Jun 11

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

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

tuwien.zoom.us

1

VCLA | TU Wien @vclatuwien.bsky.social · Jun 10

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

VCLA | TU Wien @vclatuwien.bsky.social · Jun 10

✏️ 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/

Digital Humanism – Interdisciplinary Science and Research Conference

Vienna, November 20-21, 2025

dighum.org

1

VCLA | TU Wien @vclatuwien.bsky.social · Jun 3

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

VCLA | TU Wien @vclatuwien.bsky.social · May 28

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

VCLA | TU Wien @vclatuwien.bsky.social · May 27

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

VCLA | TU Wien @vclatuwien.bsky.social · May 19

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

VCLA | TU Wien @vclatuwien.bsky.social · May 12

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

VCLA | TU Wien @vclatuwien.bsky.social · May 5

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