SIGLOG Monthly 275*July 01, 2026*
View Online <https://lics.siglog.org/newsletters/275.html> - Past Issues
<https://lics.siglog.org/newsletters/> - How to submit an announcement
<https://lics.siglog.org/newsletters/inst.html>Table of Contents
- DEADLINES <#deadlines>
- CALLS
- SNR 26 (CALL FOR PAPERS) <#SNR26>
- CONFEST 2026 (CALL FOR PARTICIPATION) <#CONFEST2026>
Deadlines
CSL 2027: Jul 08, 2026 (Abstract), Jul 15, 2026 (Paper)
SNR 26: Jul 09, 2026 (Submission deadline)
CONFEST 2026: Jul 31, 2026 (Registration deadline)
PhD Position: Aug 01, 2026 (Application deadline)SNR 26: 9th INTERNATIONAL
WORKSHOP ON SYMBOLIC AND NUMERICAL REASONING ABOUT GAMES
September 5, 2026, Liverpool, United Kingdom
Satellite event of CONFEST'26
https://confest-2026.github.io/workshops/snr/
CALL FOR PAPERS
- WORKSHOP
The 9th International Workshop on Symbolic and Numerical Reasoning about
games (SNR) aims 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.
- SUBMISSIONS
SNR solicits submissions for contributed talks in the form of extended
abstracts, written in LIPIcs style and of up to 2 pages excluding
references. Submissions describing ongoing work, new results, and work
published elsewhere are welcome. 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 will be judged on their expected interest and relevance to the
theme of the workshop.
Submissions can be made via EasyChair:
https://easychair.org/conferences/?conf=snr26
- TOPICS
Numerical and symbolic methods in games, Automata theory for strategy
synthesis, Verification using games, Logical methods for games,
Quantitative aspects of games, Strategy synthesis in probabilistic models,
Heuristics for solving games
- IMPORTANT DATES
Submission deadline: Jul 09, 2026
Notifications: Jul 20, 2026
Workshop: Sep 05, 2026
- INVITED SPEAKERS
Munyque Mittelmann (CNRS, LIPN, Université Sorbonne Paris Nord) - More
to be confirmed
- Detailed information can be found on the webpage.
CONFEST 2026: CONCUR, QEST+FORMATS, FMICSCALL FOR PARTICIPATION
- Dear Colleagues.
We are excited to invite you to register for CONFEST 2026, which will
host three major international conferences CONCUR 2026, the 37th
International Conference on Concurrency Theory QEST+FORMATS 2026, the 3rd
joint International Conference on Quantitative Evaluation of SysTems and on
Formal Modeling and Analysis of Timed Systems FMICS 2026, the 31st
International Conference on Formal Methods for Industrial Critical Systems.
These events will take place in Liverpool, UK, from September 1 to
September 5.
- Registration
The Early Registration deadline is July 31, 2026:
https://confest-2026.github.io/registration/
Registration deadline: Jul 31, 2026
- Information on accommodation, including on-campus accommodation and
conference hotel rates:
https://confest-2026.github.io/local/accommodation
- The workshops Express/SOS, SNR, and YR-Concur are still accepting
submissions:
- https://expresssos.github.io/conf/2026
- https://confest-2026.github.io/workshops/snr/
- https://confest-2026.github.io/workshops/yr-concur/
- Keynotes
- Jade Alglave, University College London, UK
- Julia Badger, NASA Johnson Space Center, USA
- Ezio Bartocci, TU Wien, Vienna, Austria
- Ichiro Hasuo, National Institute of Informatics (NII), Tokyo, Japan
- Jane Hillston, University of Edinburgh, UK
- Kim G. Larsen, Aalborg University, Denmark
- Colin O'Halloran, University of York, UK; D-RiSQ Ltd, UK
- Jean-François Raskin, Université Libre de Bruxelles, Belgium
- Qiyi Tang, University of Liverpool, UK
- Workshops
- EXPRESS/SOS 2026: 33rd International Workshop on Expressiveness in
Concurrency and 23rd Workshop on Structural Operational Semantics
- RADICAL 2026: 5th International Workshop on Recent Advances in
Concurrency and Logic
- SNR 2026: Workshop on Symbolic and Numerical Reasoning about games
- TRENDS 2026: 14th IFIP WG 1.8 Workshop on Trends in Concurrency
Theory
- YR-Concur 2026: 12th Young Researchers Workshop on Concurrency
Theory
- For more information about the conferences and the venue, please
visit: https://confest-2026.github.io/
Links: SIGLOG website <http://siglog.org/>, LICS website
<https://lics.siglog.org>, SIGLOG Monthly
<https://lics.siglog.org/newsletters/>.
Kind regards,
Elli Anastasiadi
Aalborg University
You are subscribed to the lics mailing list because you have signed up for it
in the past.
Submissions to the newsletter
