[DMANET] 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 * * DMANET@zpr.uni-koeln.de * * 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/ * **********************************************************