TU Wien Informatics

We're excited to announce that Agata Ciabattoni, Emery A. Neufeld, and Radu Tulcan have won the Distinguished Paper Award at the IJCAI International Joint Conferences on Artificial Intelligence Organization 2025 for their paper "Combining MORL with Restraining Bolts to Learn Normative Behaviour" 🏆! The paper introduces Ordered Normative Restraining Bolts (ONRBs), a novel framework that integrates logic with reinforcement learning to enable autonomous agents to follow legal, ethical, and social norms. By treating each norm as a separate objective in a multi-objective RL setting, ONRBs allow for prioritization, adaptability to changing norms without retraining, and automated penalty assignment. IJCAI, held this year in August in Montréal, is one of the longest-standing and most respected conferences in the field of AI. The conference attracts a large number of submissions each year — in 2025, over 5,800 valid submissions were made to the main track of the conference, with the paper selected as part of the top 0.05%, highlighting its significance and impact within the field. Agata Ciabattoni, Emery A. Neufeld, and Radu Tulcan are part of the Vienna Science and Technology Fund (WWTF) funded project Training and Guiding AI Agents with Ethical Rules (TAIGER). Agata Ciabattoni is also a board member on the Cluster of Excellence Bilateral AI, funded by the Austrian Science Fund FWF. Congratulations to the authors on this outstanding achievement! Read more about the paper and the authors: 👉 https://lnkd.in/d3piGcFh Curious about Ordered Normative Restraining Bolts? Read the full paper: 👉 https://lnkd.in/dnhJMJ-Y #IJACAI2025 #AI #Ethics #AcademicExcellence 📸 ©️ Luiza Puiu, Emery Neufeld, Radu Florin Tulcan

Attention all visionaries and problem-solvers! Are you ready to unlock your full potential? If you are looking for new opportunities, these #OpenPositions at Technische Universität Wien could be the next step in your career: 🚀 #PreDoc in #DatabasesAndArtificialIntelligence 🚀 #PreDoc in #DataScience Curious to learn more? Check out the details and apply now: https://lnkd.in/d4cCVNbc #TUWien #Hiring #Jobs #Research

KuK Hof­hackerei is back from the DEF CON 33 CTF Finals 🏆! DEF CON CTF is widely regarded as the world’s most elite hacking competition. In their first appearance at DEF CON CTF, the team delivered an outstanding performance despite competing with only 31 members, taking 9th place. For comparison, the top-ranked teams typically field 50 or more elite players with many years of experience, so achieving such results under these conditions is a remarkable success. This milestone marks a promising new chapter for the team and places Austria firmly in the spotlight as a center for ethical hacking. KuK Hof­hackerei is composed of members from the Austrian CTF community, with students and experts from Technische Universität Wien, the University of Vienna, Technische Universität Graz, Johannes Kepler Universität Linz, and the FH St. Pölten – University of Applied Sciences. KuK Hofhackerei is supported by the Cybersecurity Center TU Wien, CyberSecurityAustria CSA, SBA Research, Dynatrace, Erste Bank und Sparkasse, Bosch, and Siemens. Congratulations, KuK Hof­hackerei, on this extraordinary achievement! Read all about KuK Hofhackerei's adventures in Las Vegas: 👉 https://lnkd.in/dKjbqabZ #EthicalHacking #Cybersecurity #CTF #DEFCON33

We’re delighted to announce that Technische Universität Wien awarded an honorary professorship to Michael Bronstein to recognize his extensive contributions to artificial intelligence and machine learning! Michael Bronstein is a world-leading AI and machine learning expert, with a career that bridges groundbreaking academic research and entrepreneurial ventures. Currently, he is the Scientific Director of AI at the AITHYRA Research Institute for Biomedical Artificial Intelligence, which is funded by the Austrian Academy of Sciences - Österreichische Akademie der Wissenschaften (ÖAW) and the Boehringer Ingelheim Stiftung. AITHYRA presents a unique opportunity to strengthen research, teaching, and regional innovation in AI, as Michael Bronstein brings his internationally recognized expertise in geometric deep learning and his ability to connect theory with real-world impact to Vienna, advancing medical informatics, and shaping the city’s role as a global hub for AI in the life sciences. #AI #MachineLearning #LifeSciences #MedicalInformatics 📸 ©️ Tamara Nedic / TU Wien fLtR: Heinz Fassmann, Matthias Lanzinger, Emanuel Sallinger, Wolfgang Kastner, Michael Bronstein, Ute Koch, Gerti Kappel, Jasmin Gründling-Riener, and Peter Puschner

Attention all visionaries and problem-solvers! Are you ready to unlock your full potential? If you are looking for new opportunities, these #OpenPositions at Technische Universität Wien could be the next step in your career: 🚀 #PreDoc in #DatabasesAndArtificialIntelligence 🚀 #SeniorLecturer in #BusinessInfromatics Curious to learn more? Check out the details and apply now: https://lnkd.in/dVxZmHvM #TUWien #Hiring #Jobs #Research

**The VAMPIRE Diary** We're excited to announce two victories for VAMPIRE 🦇! For the first time in the CADE ATP System Competition (CASC) history, a single automated theorem prover has achieved a clean sweep: VAMPIRE won all eight competition divisions at CASC-30. Even more remarkably, VAMPIRE solved more problems than all other competing systems combined, marking a historic milestone in automated reasoning. But as if winning all theorem proving divisions at CASC wasn’t a big enough achievement, a paper about the development of VAMPIRE received the Distinguished Paper Award at the International Conference on Computer Aided Verification (CAV), one of the leading annual conferences on the theory and practice of computer-aided formal analysis of software and hardware systems. “These victories are not just individual achievements but a reflection of the collaborative strength of our entire research group at TU Wien Informatics. This outcome underscores Technische Universität Wien’s leading position in formal methods and the global impact of its research in automated reasoning.”, says Laura Kovács, Head of the Institute of Logic and Computation at TU Wien Informatics, and one of the co-authors of the paper. Congratulations to the team for winning the competition and to the authors of *A VAMPIRE Diary*, Filip Bártek, Ahmed Bhayat, Robin C., Márton Hajdu, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, and Andrei Voronkov, for this outstanding achievement! 🏆🏆🏆🏆🏆🏆🏆🏆 Curious about the paper? The paper is open-access and available to read or download 👉 https://lnkd.in/dgrY49c5 The final results of the competition can be found on the CASC website 👉 https://lnkd.in/dEtjRZ8t #Award #Competition #AcedmicExcellence #AutomatedReasoning 📸 ©️ dejtan05 / Sebastian / stock.adobe.com

**TU Wien Informatics is hiring a full-time member of our Communications team!** The Communications department of the Faculty of Informatics at Technische Universität Wien is seeking an experienced, proactive coordinator and project manager who thrives at the intersection of events, outreach, and communication. This full-time position is available starting September 2025, initially for one year, with the explicit intention of transitioning into a permanent role if it proves to be an excellent mutual fit. Your position is central to how our team operates and critical to fulfilling our department’s responsibilities within the faculty and university. You’ll be the linchpin connecting our events, outreach activities, and internal communications, ensuring quality, clarity, and consistency in everything we do! 🎯 Your Tasks 🎯 📌 Events (Recurring & Special) Lead event planning and execution—from bright ideas to flawless execution. Coordinate all involved parties and handle logistics, including scheduling, venue selection, catering, and technical arrangements, ensuring no detail is left behind. 📌 Outreach & Communication Maintain a big-picture perspective, and align our communication and outreach strategies with faculty priorities and broader university initiatives. Strategically engage stakeholders in research, industry, politics, and among our students and alums, maintain contact databases, and manage invitation and registration workflows. 📌 Tracking & Coordination Monitor and analyze decentralized activities across the faculty and university to identify collaboration opportunities and synergies in your area. Coordinate effectively with our research units and partners, ensuring our outreach activities and events have visibility. 📌 Team Collaboration & Development Within your area, act as the go-to liaison for faculty members, proactively offering solutions and fostering connections within and beyond the faculty. Collaborate closely with the team to refine processes and occasionally take the lead on special projects—guide and support student staff, helping them grow professionally. 📌 Daily Operations Step into various roles as needed, especially when new initiatives and opportunities arise. Occasionally, lend a hand with our routine PR and social media tasks. Excited to bring your expertise and creativity to our team? We’d love to hear from you! Apply now until September 4, 2025 👉 https://lnkd.in/diFjACXm Explore TU Wien's Fringe Benefits: 👉 https://lnkd.in/dGTBMfe6 Entry-level salary is determined by the level IVa of the Austrian collective agreement for university staff. This is a minimum of currently EUR 3,390.30/month gross, 14 times/year for 40 hours/week (EUR 47,464.20/year gross). Relevant working experiences may increase the monthly income. #OpenPosition #Hiring #Jobs #TUWien 📸 ©️ tomertu / stock.adobe.com

Attention all visionaries and problem-solvers! Are you ready to unlock your full potential? If you are looking for new opportunities, these #OpenPositions at Technische Universität Wien could be the next step in your career: 🚀 #OfficeProfessional in #EmbeddedComputingSystems 🚀 #EventAndCommunicationExpert in #Communications Curious to learn more? Check out the details and apply now: https://lnkd.in/dvrQhZte #TUWien #Hiring #Jobs #Research

DEON 2025 Wrap-Up: Highlights from the 17th International Conference on Deontic Logic and Normative Systems! With over 60 participants, 3 keynotes, 21 talks, 10 posters, and 4 tutorials, DEON2025 was a vibrant and engaging event. This year's special theme—Normative AI—sparked rich discussions on topics including obligations and permissions, reinforcement learning, normative conflicts, supererogation, philosophical foundations, reasons, semantics, responsibility, rule-based reasoning, legal and moral agency, defeasibility, explainability, and first-order logic. 🏆 Awards Spotlight 🏆 Congratulations to Pedro Cabalar and Ovidio Manteiga Moar for winning the J.J. Meyer Best Paper Award for their outstanding work, *Deolingo: Extending Answer Set Programming with Deontic Reasoning.* We also had the pleasure of hosting the VCLA Award Ceremony, celebrating the winners of the international Best Master's and Bachelor's Thesis Awards, recognizing outstanding early-career research in logic, computation, and AI. We extend our thanks to our sponsors, the Cluster of Excellence Bilateral AI, funded by the Austrian Science Fund FWF, the Vienna Convention Bureau, and the Vienna Center for Logic and Algorithms (VCLA), for their support, and to everyone who helped make DEON2025 possible! Curious about the contributions and topics from DEON? All conference papers are open-access and available here: 👉 https://lnkd.in/dfEki4Q7 #Logic #NormativeSystems #AI #Conference 📸 ©️ local_doctor / stock.adobe.com

We're excited to announce that Alexander Beiser has received an Andreas Dieberger-Peter Skalicky Stipend ✨ ! Alexander is a PhD student at TU Wien Informatics, developing neurosymbolic and explainable Artificial Intelligence (AI) for Air Traffic Management (ATM). His work aims to integrate trustworthy #AI into ATM to boost efficiency and safety amid rising traffic and staffing constraints. Stefan Woltran and Nysret Musliu (both professors at TU Wien Informatics) supervise Alexander in collaboration with Frequentis. The stipend, endowed with €4,000, supports #PhD researchers in energy and environment, medical engineering, or information and communication technology. It is intended to provide financial assistance for the publication of scientific research, participation in subject-specific conferences, and the coverage of essential expenses related to the research process, including costs associated with research stays. A jury of academic experts from Technische Universität Wien carefully evaluates the applications and selects the recipients based on a combination of general and scientific criteria, including the proposed methodology's clarity and robustness, the degree of innovation demonstrated in the research project, and its overall scientific relevance and potential impact. Congratulations to Alexander on this excellent achievement! Curious about Alexander? Learn more about him and his research: 👉 https://lnkd.in/g_XMdwvi #AcademicExcellence #TrustworthyAI #AirTrafficManagement #MachineLearning #PhD 📸 ©️ Klaus Ranger