SNR26: The 9th International Workshop on Symbolic and Numerical Reasoning about games |
| Web page | https://confest-2026.github.io/workshops/snr/ |
| Submission link | https://easychair.org/conferences/?conf=snr26 |
| Submission deadline | June 29, 2026 |
The 9th International Workshop on Symbolic and Numerical Reasoning about games (SNR)
Games are a fundamental framework for modelling interaction and strategic behaviour in verification, synthesis and logic. Reasoning about games often requires a combination of symbolic methods, such as strategy improvement, fixpoint computation, automata-theoretic techniques, and logical encodings, with numerical methods, such as value iteration, policy iteration, approximation, and quantitative optimisation.
The goal of the SNR (Symbolic and Numerical Reasoning about games) workshop is to provide a platform for exploring symbolic and numerical techniques for reasoning about games, with applications in verification, synthesis, reactive systems, probabilistic models, and related areas.
Call for Submissions
SNR solicits submissions for contributed talks in the form of extended abstracts (LIPIcs style, upto 2 pages without reference). We encourage submissions of ongoing works and new results as well as works published elsewhere. All submissions will undergo a lightweight peer-reviewing process. Authors of selected submissions presenting original unpublished work may subsequently be invited to submit a full version for publication in formal proceedings.
Submissions are judged on the expected interest and relevance to the theme of the workshop.
The topics include (but are not limited to) :
- Numerical and symbolic methods in games
- Automata theory for strategy synthesis
- Verification using games
- Logical method for games
- Quantitative aspects of games
- Strategy synthesis in probabilistic models
- Heuristics for solving games
Important Dates
29 June AOE : Submission Deadline
20 July AOE : Notifications
5 Sep (full day) : Workshop
Committees
Program Committee
- K. S. Thejaswini (Université Libre de Bruxelles)
- Mickael Randour (FRS - FNRS and UMONS - Université de Mons )
- Suman Sadhukhan (TU Clausthal )
- Aline Goeminne (ENS Rennes, IRISA)
- Sven Schewe (University of Liverpool)
- Ashutosh Trivedi (University of Colorado, Boulder) (PC Chair)
- Dominik Wojtczak (University of Liverpool)
- Anirban Majumdar (TIFR, Mumbai)
Organizing committee
- Sougata Bose (University of Liverpool)
- Soumyajit Paul (University of Liverpool)
- Ashutosh Trivedi (University of Colorado Boulder)
- Dominik Wojtczak (University of Liverpool)