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

SYNT 2023 : 12th Workshop on Synthesis

FacebookTwitterLinkedInGoogle

Link: https://homepage.cs.uiowa.edu/~ajreynol/SYNT2023/index.html
 
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: https://easychair.org/conferences/?conf=synt23

Related Resources

AI in Evidence Synthesis 2025   AI in Evidence Synthesis (Cochrane Evidence Synthesis and Methods)
IEEE CNCIT 2025   2025 4th International Conference on Networks, Communications and Information Technology (CNCIT 2025)
HICSS 2026   Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
Ei/Scopus-CCISS 2025   2025 2nd International Conference on Computing, Information Science and System (CCISS 2025)
LOPSTR 2025   Logic-based Program Synthesis and Transformation
NCWMC 2025   10th International Conference on Networks, Communications, Wireless and Mobile Computing
SASIMI 2025   The 26th Workshop on Synthesis And System Integration of Mixed Information technologies
BDAP 2025   6th International Conference on Big Data and Applications
HCVS 2025   12th Workshop on Horn Clauses for Verification and Synthesis
AT4SSL 2025   Third International Workshop on Automatic Translation for Sign and Spoken Languages