posted by user: sadegh_rk || 791 views || tracked by 2 users: [display]

SYNT 2023 : 12th Workshop on Synthesis


When Jul 18, 2023 - Jul 18, 2023
Where Paris, France
Submission Deadline Apr 14, 2023
Notification Due May 19, 2023
Final Version Due May 26, 2023
Categories    algorithms   complexity   formal methods

Call For Papers

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

Topics of interest include, but are not limited to:

* algorithms and tools for software synthesis and reactive (discrete-time, timed, hybrid, ...) 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 2023 welcomes two kinds of submissions:

* Extended Abstracts (up to 3 pages, excluding references and clearly marked appendices)
* Full Papers (up to 15 pages, excluding references and clearly marked appendices)

All submissions should be in the two-column sub-format of the ACM proceedings format. The review process is single-blind.

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.
Submission URL

Submission URL:

Related Resources

IEEE Xplore-Ei/Scopus-CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
CASES 2023   Compilers, Architecture, and Synthesis for Embedded Systems
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
CODES + ISSS 2023   International Conference on Hardware/Software Codesign and System Synthesis
CVIPPR 2024   2024 2nd Asia Conference on Computer Vision, Image Processing and Pattern Recognition
LOPSTR 2023   33rd International Symposium on Logic-based Program Synthesis and Transformation
ACM-Ei/Scopus-CMLDS 2024   2024 International Conference on Computing, Machine Learning and Data Science (CMLDS 2024)
HCVS 2023   10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2023
NCOM 2024   10th International Conference on Networks & Communications
ACM-Ei/Scopus-SCDMC 2024   2024 International Conference on Soft Computing, Data Mining and Cybersecurity (SCDMC 2024)