TCSE logo 
 Sigsoft logo
Sustainability badge

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 May

Displayed 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
15m
Day opening
NSE2025 Opening
NSE

09:15
60m
Talk
Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning
NSE
Stefan Szeider Vienna University of Technology (TU Wien)
:
:
:
: