SNR Workshop @CONFEST 2026 - Call for Submissions (Deadline: June 29 AOE)

*We are pleased to invite submissions to the 9th International Workshop on
Symbolic and Numerical Reasoning about games (SNR)
<https://confest-2026.github.io/workshops/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. Websitehttps://confest-2026.github.io/workshops/snr/
<https://confest-2026.github.io/workshops/snr/> Call for submissionsSNR
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 gamesSubmissions can be made via EasyChair
https://easychair.org/conferences/?conf=snr2
<https://easychair.org/conferences/?conf=snr26> .Important Dates29 June AOE
: Submission Deadline20 July AOE : Notifications5 Sep (full day) :
WorkshopInvited SpeakersMunyque Mittelmann
<https://sites.google.com/view/mittelmann>, CNRS, LIPN, Université
Sorbonne-Paris-Nord(More to be confirmed)Program CommitteeK. S. Thejaswini
<https://thejaswiniraghavan.github.io/> (Université Libre de
Bruxelles)Mickael Randour <https://www.randour.com/> (FRS - FNRS and UMONS
- Université de Mons)Suman Sadhukhan
<https://sites.google.com/view/suman-sadhukhan/home> (TU Clausthal)Aline
Goeminne <https://alinegoeminne.github.io/> (ENS Rennes, IRISA)Sven Schewe
<https://www.csc.liv.ac.uk/~sven/> (University of Liverpool)Ashutosh
Trivedi <https://ashutoshtrivedi.com/> (University of Colorado, Boulder)
(PC Chair)Dominik Wojtczak <https://intranet.csc.liv.ac.uk/~dominik/>
(University of Liverpool)Anirban Majumdar <https://anirban11.github.io/>
(TIFR, Mumbai)Organising CommitteeSougata BoseSoumyajit PaulAshutosh
TrivediDominik WojtczakBest regards,Sougata, Soumyajit, Ashutosh and
Dominik*

**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   Replies to a  message carried  on DMANET should NOT be
*   addressed to DMANET  but to  the original sender.  The
*   original  sender,  however,  is invited  to prepare an
*   update  of the replies  received and to communicate it
*   via DMANET.
*
*    DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
*      http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************