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.
SNR will be held on Saturday 5 September 2026.
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 will subsequently be invited to submit a full version of their work for publication in formal proceedings, to be published by EPTCS.
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
Submissions should be made via EasyChair https://easychair.org/conferences/?conf=snr26.
Important Dates
29 June AOE 9 July AOE : Submission Deadline
20 July AOE : Notifications
5 Sep (full day) : Workshop
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)
Invited Speakers
Munyque Mittelmann, CNRS, LIPN, Université Sorbonne-Paris-Nord
Prince Mathew, Université Libre de Bruxelles (ULB)
Organisers
Sougata Bose
Soumyajit Paul
Ashutosh Trivedi
Dominik Wojtczak
Previous Editions
- 8th International Workshop on Symbolic-Numeric Methods for Reachability Analysis (SNR’22), affiliated with CONFEST’22
- 7th Int. Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR’21), affiliated with QONFEST’21.
- 6th Int. Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR’20), affiliated with QONFEST’20.
- 5th Int. Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR’19), affiliated with CPS-IoT Week 2019.
- 4rd Int. Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’18), affiliated with ETAPS’18.
- 3rd Int. Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’17), affiliated with ETAPS’17.
- 2nd Int. Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), affiliated with CPSWeek’16.
- 1st Int. Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’15), affiliated with CAV’15.