ETAPS

European Joint Conferences on Theory and Practice of Software

Editions listed30 Covered1998–2027 FrequencyAnnual since 1998

Editions

Year	Ed.	Held	Where	What met
2027	30	10–15 Apr 2027	Copenhagen 🇩🇰	FoSSaCS, iFS, TACAS; MARS
2026	29	11–16 Apr 2026	Turin 🇮🇹	FASE, FoSSaCS, TACAS; MARS, SynCoP
2025	28	3–8 May 2025	Hamilton 🇨🇦	FASE, FoSSaCS, TACAS
2024	27	6–11 Apr 2024	Luxembourg 🇱🇺	FASE, FoSSaCS, TACAS; MARS, SynCoP
2023	26	22–27 Apr 2023	Paris 🇫🇷	FASE, FoSSaCS, TACAS; SynCoP, TiCSA
2022	25	2–7 Apr 2022	Munich 🇩🇪	FASE, FoSSaCS, TACAS; MARS, SynCoP
2021	24	27 Mar – 1 Apr 2021	Online	FASE, FoSSaCS, TACAS
2020 Cancelled	23	25 Apr – 30 May 2020	Dublin 🇮🇪	FASE, FoSSaCS, POST, TACAS; MARS, SynCoP
2019	22	6–11 Apr 2019	Prague 🇨🇿	FASE, FoSSaCS, POST, TACAS; SynCoP
2018	21	14–20 Apr 2018	Thessaloniki 🇬🇷	FoSSaCS, POST, TACAS; MARS, SynCoP
2017	20	22–29 Apr 2017	Uppsala 🇸🇪	FoSSaCS, TACAS; SynCoP
2016	19	2–8 Apr 2016	Eindhoven 🇳🇱	FoSSaCS, TACAS; SynCoP
2015	18	11–18 Apr 2015	London 🏴󠁧󠁢󠁥󠁮󠁧󠁿	TACAS; SynCoP
2014	17	5–13 Apr 2014	Grenoble 🇫🇷	FoSSaCS, TACAS; SynCoP
2013	16	16–24 Mar 2013	Rome 🇮🇹	FoSSaCS, TACAS
2012	15	24 Mar – 1 Apr 2012	Tallinn 🇪🇪	FoSSaCS, TACAS
2011	14	26 Mar – 3 Apr 2011	Saarbrücken 🇩🇪	FoSSaCS, TACAS
2010	13	20–28 Mar 2010	Paphos 🇨🇾	FoSSaCS, TACAS
2009	12	22–29 Mar 2009	York 🏴󠁧󠁢󠁥󠁮󠁧󠁿	FoSSaCS, TACAS
2008	11	29 Mar – 6 Apr 2008	Budapest 🇭🇺	FoSSaCS, TACAS
2007	10	24 Mar – 1 Apr 2007	Braga 🇵🇹	FoSSaCS, TACAS
2006	9	25 Mar – 2 Apr 2006	Vienna 🇦🇹	FoSSaCS, TACAS
2005	8	2–10 Apr 2005	Edinburgh 🏴󠁧󠁢󠁳󠁣󠁴󠁿	FoSSaCS, TACAS
2004	7	27 Mar – 4 Apr 2004	Barcelona 🇪🇸	FoSSaCS, TACAS
2003	6	5–13 Apr 2003	Warsaw 🇵🇱	FoSSaCS, TACAS
2002	5	6–14 Apr 2002	Grenoble 🇫🇷	FoSSaCS, TACAS
2001	4	31 Mar – 8 Apr 2001	Genoa 🇮🇹	FoSSaCS, TACAS
2000	3	25 Mar – 2 Apr 2000	Berlin 🇩🇪	FoSSaCS, TACAS
1999	2	20–28 Mar 1999	Amsterdam 🇳🇱	FoSSaCS, TACAS
1998	1	28 Mar – 4 Apr 1998	Lisbon 🇵🇹	FoSSaCS, TACAS

Who was in it, year by year

Conference

–

SynCoP workshop

–

–

MARS workshop

–

–

–

–

TiCSA workshop

Derived from the member editions themselves, so it cannot disagree with them. A dash inside a run is a conference that left and came back; nothing at the ends is simply when it joined or stopped.

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 🤓