LOPSTR

International Symposium on Logic-Based Program Synthesis and Transformation

Editions listed11 Covered2015–2025 Rank nowCORE B

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2025	35	9–10 Sep 2025	University of Calabria 🇮🇹	16 May	—	—
2024	34	9–11 Sep 2024	Milan 🇮🇹	19 May +9 days	—	—
2023	33	23–24 Oct 2023	Cascais 🇵🇹	9 Jun +14 days	—	—
2022	32	21–23 Sep 2022	Tbilisi 🇬🇪	9 May	—	—
2021	31	7–9 Sep 2021	Tallinn 🇪🇪	25 Jun +41 days	—	—
2020	30	7–9 Sep 2020	Online	19 Jun +7 days	—	—
2019	29	8–10 Oct 2019	Porto 🇵🇹	30 Jun +6 days	—	—
2018	28	4–6 Oct 2018	Frankfurt 🇩🇪	30 Jun +90 days	—	—
2017	27	10–12 Oct 2017	Namur 🇧🇪	25 Jun +12 days	—	—
2016	26	6–8 Sep 2016	Edinburgh 🏴󠁧󠁢󠁳󠁣󠁴󠁿	27 Jun +13 days	—	—
2015	25	13–15 Jul 2015	Siena 🇮🇹	2 May	—	—

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

CORE rank over time

B 2015–

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

Deadline habits

Extended: 8 of 8 editions
Typical: 6–90 days
Longest: 90 days
Not known: 3 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

Calendar: Subscribe to LOPSTR
Data: All editions as JSON

Notes carried over

Deadline extension: 12 days (2014), 21 days (2015), 13 days (2016), 12 days (2017), 7+7 days (2018), 6 days (2019), 7 days (2020), 23+18 days (2021), 14 days (2023), 9 days (2024).

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

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.