Dear all We are pleased to invite submissions to the 9th International Workshop on Symbolic and Numerical Reasoning about games (SNR), to be held on 5th September, 2026 as a satellite event of *CONFEST'26* <https://confest-2026.github.io/> in Liverpool. The goal of the 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. Website *https://confest-2026.github.io/workshops/snr/* <https://confest-2026.github.io/workshops/snr/> 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* <https://about.eptcs.org/>. 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 can be made via EasyChair *https://easychair.org/conferences/?conf=snr26* <https://easychair.org/conferences/?conf=snr26> . Important Dates 9 July AOE : Submission Deadline Extended (was 29 June AOE) 20 July AOE : Notifications 5 Sep (full day) : Workshop Invited Speakers *Munyque Mittelmann* <https://sites.google.com/view/mittelmann>, CNRS, LIPN, Université Sorbonne-Paris-Nord (More to be confirmed) 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) Best regards, Sougata, Soumyajit, Ashutosh and Dominik