All conferences / SynCoP / 2026
SynCoP 2026
11th International Workshop on Synthesis of Complex Parameters
Submission timeline
- 4 Mar 2026 Full paper AoE
- 6 Mar 2026 Notification
- 12 Apr 2026 Conference opens
What to submit
- Format
- 1-3 pages
- Proceedings
- informal
- Chairs and
invited speakers -
Mixed genders
chairs 2 men, 0 womeninvited speakers 3 men, 1 womanHow this is counted
- Co-located with
- Satellite workshop of ETAPS 2026.
Informal presentations only (no formal proceedings).
Call for papers
- As first published SynCoP-2026.txt · TXT · shown below
The call, as published
Reproduced verbatim from the organisers’ announcement. The conference’s own page is at lipn.univ-paris13.fr/SynCoP2026/.
------------------------------------------------------------ Call for Informal Presentations **SynCoP 2026** 11th International Workshop on Synthesis of Complex Parameters 🗓️ 12th April 2026 — Torino, Italy 🔗 https://lipn.univ-paris13.fr/SynCoP2026/ ------------------------------------------------------------ Submission : 4th March 2026 Notification: 6th March 2026 We are pleased to invite informal presentations for the 10th edition of SynCoP, a satellite workshop of ETAPS 2026 dedicated to the synthesis of complex/continuous parameters in formal models. SynCoP provides a platform for researchers interested in the decidability and algorithmic synthesis of parameters in systems such as automata, games, timed systems, probabilistic models, and hybrid systems. The workshop fosters the exchange of ideas and ongoing research across formal methods, verification, and synthesis communities. # Scope (non-exhaustive) * Synthesis in models with quantitative parameters (e.g., time, probabilities, energy) * Parametrised verification and model checking * Tools and applications for parameter synthesis * Theoretical advances in parametric models * Combinations of synthesis and learning # Informal Presentation Submissions: We invite short abstracts (3 pages) describing recently published works, ongoing work, preliminary results, or promising ideas. These presentations are not intended for proceedings publication and are ideal for discussing work in progress or receiving feedback from the community. To submit, please send a PDF (or plain text) abstract to: 📧 syncop2026@lipn13.fr by 4th March 2026. Notifications: 6th March 2026 We look forward to your contributions and discussions at SynCoP 2026! # Invited speakers * Nathalie Bertrand (Inria Rennes 🇫🇷) * Rajarshi Roy (University of Liverpool 🏴 ) # Organisers * Rémi Parrot (École Centrale Nantes 🇫🇷) * B Srivathsan (Chennai Mathematical Institute 🇮🇳) # Steering committee * Étienne André (Université Sorbonne Paris Nord 🇫🇷) * Benoit Delahaye (Nantes Université 🇫🇷) * Giorgio Delzanno (Università degli Studi di Genova 🇮🇹) * Peter Habermehl (University Paris Cité 🇫🇷) * Kim Guldstrand Larsen (Aalborg University 🇩🇰) * Engel Lefaucheux (Loria, Inria 🇫🇷) * Didier Lime (École Centrale de Nantes 🇫🇷) * Wojciech Penczek (IPI-PAN 🇵🇱) * Laure Petrucci (Université Sorbonne Paris Nord 🇫🇷) — SynCoP 2026 Organizers * Rémi Parrot (École Centrale Nantes 🇫🇷) * B Srivathsan (Chennai Mathematical Institute 🇮🇳)