Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning
This program is tentative and subject to change.
Stefan Szeider is an Austrian computer scientist and full professor at the Faculty of Informatics at the Vienna University of Technology (TU Wien), where he chairs the Algorithms and Complexity Group. He is also a visiting scientist at the Simons Institute for the Theory of Computing at UC Berkeley. Specializing in algorithms, logic, computational complexity, and theoretical computer science, Szeider focuses on designing efficient algorithms for challenging problems in Artificial Intelligence and Logic. With a doctorate from the University of Vienna, he has held positions at universities in the UK and Canada. Szeider co-founded the Vienna Center for Logic and Algorithms, was the first Austrian computer scientist to receive an ERC Starting Grant, and has published over 200 articles in scientific journals and conference proceedings.
This program is tentative and subject to change.
Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | Session 1: Opening and Keynote by Stefan Szeider NSE at 215 Chair(s): Sona Ghahremani Hasso Plattner Institute, University of Potsdam, Ruben Ruiz-Torrubiano IMC Krems University of Applied Sciences | ||
09:00 15mDay opening | NSE2025 Opening NSE | ||
09:15 60mTalk | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning NSE Stefan Szeider Vienna University of Technology (TU Wien) |