SYNT

International Workshop on Synthesis

Editions listed9 Covered2014–2026 Rank nowCORE absent ProceedingsFree to read since 2019

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2026	15	25 Jul 2026	Lisbon 🇵🇹	1 May	—	—
2025	14	22 Jul 2025	Zagreb 🇭🇷	18 May	—	—
2023, 2024 — not recorded here, which does not mean the conference did not meet
2022	11	11 Aug 2022	Haifa 🇮🇱	10 May	—	—
2020, 2021 — not recorded here, which does not mean the conference did not meet
2019	8	14 Jul 2019	New York City 🇺🇸	10 May +7 days	—	—
2018	7	18 Jul 2018	Oxford 🏴󠁧󠁢󠁥󠁮󠁧󠁿	1 May	—	—
2017	6	22 Jul 2017	Heidelberg 🇩🇪	1 May	—	—
2016	5	17 Jul 2016	Toronto 🇨🇦	6 May +14 days	—	—
2015	4	18 Jul 2015	San Francisco 🇺🇸	24 Apr	—	—
2014	3	23–24 Jul 2014	Vienna 🇦🇹	25 Apr	—	—

A missing year does not mean the conference did not meet: coverage before 2014 has not been verified.

How it has reviewed and published

Practice	14	15	16	17	18	19	22	25	26
Proceedings	•	•	•	•	•	•	•	•	•

Practice

Proceedings

•

A blank cell means nobody has checked that year, not that the answer is no. Licences are read as recorded on the edition, never inherited from the publisher.

Where it has met

Loads tiles from OpenStreetMap, which will see your IP address.

9 cities. 20142026

9 cities, 8 countries, 3 continents.

CORE rank over time

absent 2014–

Only the current rank is recorded; earlier rounds have not been checked.

Met under

CAV: 2016 · 1 edition

Timing

Closes: between 1 May and 18 May, over the last 6 editions.
Decision: 24 days after the deadline (7–39 over 9 editions)
Then: 50 days to the conference (41–72)

No call is open. If it runs again and keeps to its habits, expect the next one to close in the same window — but that is this page reading a pattern, not an announcement.

Deadline habits

Extended: 2 of 2 editions
Typical: 7–14 days
Longest: 14 days
Not known: 7 editions

An edition counts as firm only when it was checked; a deadline with no earlier date recorded is counted as not known, not as firm.

Elsewhere

DBLP: synt ↗
Calendar: Subscribe to SYNT
Data: All editions as JSON

Notes carried over

Extensions: 10 days (2014), 2 weeks (2016), 7 days (2019)

Kept verbatim from the old site while it is being turned into structured data.

Spotted something wrong on this page? Tell us, with a source if you have one ↗

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority 🤓