2nd Call for Papers: SYNT'26 (FLoC workshop), July 25, Lisbon (deadline extended to May 15)

SYNT 2026 : 15th International Workshop on Synthesis

25th July 2026
Co-located with FLoC 2026, Lisbon, Portugal
---

The SYNT workshop aims to bring together researchers interested in the
broad area of synthesis of computing systems. The workshop fosters the
development of frontier techniques in automating the development of
computing systems and is inclusive in its interpretation of the term
“synthesis”.

SYNT 2026 encourages submissions that can be broadly categorized into
one of the tracks: reactive synthesis, functional synthesis and
neuro-symbolic synthesis. However, submissions in other areas related
to synthesis are also welcome.  --- Topics of interest include, but
are not limited to: - Algorithms and tools for synthesis of computing
systems, broadly interpreted - Reactive (discrete-time, timed, hybrid,
...) synthesis - Functional (program, circuit, …) synthesis -
Neuro-symbolic synthesis - Specification languages and optimization in
synthesis, - Complexity and decidability results for synthesis, - Case
studies of software or hardware synthesis, - Connections between
verification and synthesis, - Synthesis by model learning, -
Connections between synthesis and inductive programming, - New
approaches or applications for synthesis, - Description and analysis
of benchmark families for synthesis.

---
**SYNT 2026 submission instructions**

SYNT 2026 welcomes submissions of extended abstracts up to 3 pages,
excluding references.

All submissions should be in the Lecture Notes in Computer Science
  (LNCS) format:
<https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines> 


As in previous years, there will be no published proceedings of SYNT
2026. However, /authors of selected abstracts may be invited to submit
an extended version to a special issue of Acta Informatica./

Submissions will be judged on how interesting they are to the SYNT
community. Overlap with previously published work should be indicated
but does not disqualify a submission if the presentation can be
expected to be of enough interest. Parallel submissions are welcome as
well, since there will be no published proceedings.

---
**WORKSHOP URL:** <https://synt2026.github.io/>

**SUBMISSION URL:** <https://submissions.floc26.org/synt/>

---
**IMPORTANT DATES:**

  - Submission: (extended to) 15th May (AoE)
  - Author Notification: 29th May (AoE)
  - Early registration for workshop ends on: 1st June
  - Workshop: 25th July

---
Organisers:
  Supratik Chakraborty (Indian Institute of Technology Bombay)
  K. S. Thejaswini (Université libre de Bruxelles)

**********************************************************
*
*   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/
*
**********************************************************