An Incomplete List of 173 Conferences in Computer Science

Most of these conferences are international events related to theoretical computer science, formal methods (verification, model checking, logics, etc.), software engineering, real-time systems, and to some extent to distributed computing.

#	Name	Format	Abstract deadline	Submission deadline	Notification	Conference dates	Proceedings	Core ranking	Notes
10	IJCAR 2020	15 pages (full) / 7 pages (system descriptions) / 5 pages (short), all excluding bibliography	Thu. 16 January 2020	Thu. 23 January 2020	Fri. 20 March 2020	29 June - 5 July 2020 (Paris, France)	Springer LNAI/LNCS (for-profit publishing, no access unless payment)	A*	Part of Paris Nord Summer of LoVe 2020. IJCAR 2020 will recognize the most outstanding submission with a best paper award at the conference. Woody Bledsoe Travel Awards will be available to support selected students in attending the conference. The authors of a selection of the best IJCAR 2020 papers will be invited to submit an extended version of their paper after the conference, to be published in a special issue of Logical Methods in Computer Science. Every two years.
8	FormaliSE 2020	10 pages ACM (full papers / case study papers), 4 pages (research ideas)	Thu.  9 January 2020 Thu. 16 January 2020	Thu. 16 January 2020 Thu. 23 January 2020	Sun.  1 March 2020	25-26 May 2020 (Seoul, South Korea)	IEEE/ACM (paid access, but authors can post a link to free PDF with the ACM author-izer service)	(absent)	Held in conjunction with ICSE. Deadline extension: 1 week (2014, 2016, 2017, 2019, 2020)
33	CAV 2020	20 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (tool)	−	Tue. 28 January 2020	Fri.  3 April 2020	July 21-24, 2020 (Los Angeles, USA)	Springer LNCS (open access, authors keep their rights)	A*	Deadlines are AoE. WARNING: Double-blind submissions. Open access since 2018. Rebuttal phase (12-14 March 2020). Tool papers require a concurrent artifact submission together with the paper submission. Artifact evaluation occurs concurrently with the review process and the PC gets access to the artifact evaluation during the PC discussions. Acceptance rate: (38 regular + 20 tool) / 185 = 31% (2012), 54 regular + 16 tool / 209 = 33% (2013), 52 regular + 13 tool / 215 = 30% (2018). Deadline extension (1 week) in 2013, + 48 extra hours to edit the paper, none in 2016. A selection of papers is expected to be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.
41	Petri Nets 2020 (ICATPN)	regular papers (max 20 pages in Springer LNCS-format); tool papers (max 10 pages in Springer LNCS-format)	Wed. 15 January 2020 Wed. 22 January 2020	Tue. 21 January 2020 Tue. 28 January 2020	Fri.  6 March 2020	22-26 June 2020 (Paris, France)	Springer LNCS (for-profit publishing, no access unless payment)	B	Part of Paris Nord Summer of LoVe 2020. Includes an ACSD special track. Deadline extension: 7 days (2013, 2017, 2018), 0 in 2015, 10 days in 2019, 7 days in 2020. Acceptance rate: 65% (15/23) for regular papers and 80% (8/10) for tool papers in 2018. All accepted papers will be considered for an outstanding paper award. Some of the best papers will be invited, in an extended form, as submissions to a special issue of a well-established computer science journal.
14	TAP 2020	16 pages LNCS + references (research) / 8 pages + ref (tool) / 6 pages + ref (short) / 4 pages (journal first)	Wed. 15 January 2020 Sun. 26 January 2020	Wed. 22 January 2020 Sun.  2 February 2020	Mon. 16 March 2020	22-26 June 2020 (Bergen, Norway)	Springer LNCS (for-profit publishing, no access unless payment)	B	Part of STAF 2020. Deadline extension: 17 days (2016), 16 days (2017), 9 days (2018), 14 days (2019), 11 days (2020). Acceptance rate: 56% (9/16) in 2017, 56% (10/18) in 2018.
32	ECRTS 2020	20 pages LIPIcs + 4 pages bibliography	−	Thu.  6 February 2020	Thu. 26 March 2020	7-10 July, 2020 (Modena, Italy)	LIPIcs (open access, authors keep their rights)	A	No deadline extension for any reason. Deadline AoE. Artifact evaluation process.
18	ICOST 2020	12 pages LNCS	−	Mon. 10 February 2020	Mon. 23 March 2020	24-26 June 2020 (Hammamet, Tunisia)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Double blind submission. Abstract not required. Deadline extension: 18+19 days (2017), 15+14 days (2018), 14 days (2019)
47	ICALP 2020	12 pages LIPIcs + ref	−	Wed. 12 February 2020	Wed. 15 April 2020	July 8−12, 2020 (Beijing, China)	LIPIcs (open access, authors keep their rights)	A	Best paper and best student paper awards for each track (3) of the conference. Deadlines are firm. Acceptance rates for track B: 30% (34/115) in 2015, 30% (36/121) in 2016, 30% (32/108) in 2017.
39	SAFECOMP 2020	regular (14 pages LNCS) / practical experience reports and tools (8 pages) / position (4 pages)	Fri.  7 February 2020	Fri. 14 February 2020	Thu. 30 April 2020	15-18 September, 2020 (Lisbon, Portugal)	Springer LNCS (for-profit publishing, no access unless payment)	B	Best papers invited in a special issue of a safety-related international journal. 2018 SPECIAL THEME: Cross and intra domain reuse of engineering and certification artefacts: challenges and opportunities. Deadline extension 10 days (2016, 2017), 14 days (2018), 10 days (2019)
40	FORTE 2020	15 pages LNCS (regular / tool) + 2 pages references / 6+2 pages (short / tool demo) / 2 pages (journal-first)	Mon.  3 February 2020	Fri. 14 February 2020	Fri. 10 April 2020	15-19 June 2020 (Valletta, Malta)	Springer LNCS IFIP (for-profit publishing, no access unless payment)	B	A DisCoTec Member Conference. The best papers will be invited after the conference to contribute to a special issue of LMCS. Deadline extension: 4 weeks (2015), 2 weeks (2016, 2017, 2018, 2019). Recent acceptance rates: 41% (20/49, 2013), 36% (18/50, 2014), 28% (15/53, 2015), 41% (18/44, 2016), 40% (13 long + 3 short + 1 tool/42) in 2017, 36% (10/28) in 2018.
23	LPAR 2020	regular (15 pages EasyChair + references + appendix); tool / experimental (8)	−	Sat. 15 February 2020	??	22-27 May, 2020 (Alicante, Spain)	EPiC Series in Computing (free access, authors keep their rights)	A	Deadline extension (2017): 6 days
	PNSE 2020	LNCS 15-20 pages (full) / 5-8 pages (short) / 2 (ongoing, poster)	Mon.  9 March 2020	Mon. 16 March 2020	Mon. 20 April 2020	June 22-23, 2020 (Paris, France)	CEUR-WS	(absent)	A satellite event of Petri Nets. Some of the best papers will be invited for publication in LNCS "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). Deadline extension: 18 + 11 days (2013), 13 days (2014), 15+10 days (2015), 14 days (2017), 17 days (2018).
17	QEST 2020	16 pages LNCS + references (Theoretical / Methodological and technical / Application / Tools); 4 pages LNCS (Tool demonstration)	Fri. 27 March 2020	Fri.  3 April 2020	Sat. 30 May 2020	1-3 September 2020 (Vienna, Austria)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Accepted tool descriptions will appear in the conference proceedings. Extended versions of the best papers will be considered for possible fast-track publication in a journal special issue. Acceptance rate (2016): 52% (21 regular + 3 tools / 46). Deadline extensions: 1 week in 2013, 1 week in 2015, 9 days in 2017, 10 days in 2018, 13 days in 2019.
20	EMSOFT 2020	10 pages in ACM two-column format	Fri.  3 April 2020	Fri. 10 April 2020	Mon.  6 July 2020	October 11-16, 2020 (Shanghai, China)	ACM/IEEE (paid access, but authors can post a link to free PDF with the ACM author-izer service)	A	Double blind process. Up to 10 pages appendix. Part of ESWEEK (with CODES and CASES). Deadline extension: one week (2013, 2014). Firm deadline (2015, 2016, 2018, 2019, 2020). This year EMSOFT will follow a two-stage review process, in which papers passing the first stage of reviews will be asked to revise their work based on reviewer comments within a short time frame of around two weeks. ESWEEK 2017 will introduce a journal-integrated publication model where the majority of papers will be published in the ACM Transactions on Embedded Computing Systems (TECS). Acceptance rate: 24% (27/111) in 2018
18	FORMATS 2020	15 pages LNCS + references + appendix (regular) / 5 pages (tools)	Mon.  6 April 2020	Mon. 13 April 2020	Mon. 29 June 2020	1-3 September 2020 (Vienna, Austria)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	One week deadline extension in 2012, none in 2013, one week in 2014, one week in 2015 (+4 days to edit the paper), one week in 2016, one week in 2017, 12+7 days in 2018, 7 days in 2019. Part of QONFEST with CONCUR, FMICS and QEST. Acceptance rate: 44% (18/41) in 2013, 44% (16/46) in 2014, 45% (19/42) in 2015, 44% (14/32) in 2016, 58% (18/31) in 2017, 48% (14/29) in 2018, 40% (17/42) in 2019. Best paper award in the honor of Oded Maler (since 2018).
18	CMSB 2020	15 pages LNCS + references + appendix (regular) / 6 pages (tool)	Wed.  8 April 2020	Wed. 15 April 2020	Wed. 15 July 2020	23-25 September 2020 (Konstanz, Germany)	Springer LNCS/LNBI (for-profit publishing, no access unless payment)	(absent)	A selection of best papers will be invited to be extended and submitted to a special issue of a Bioinformatics journal. Acceptance rate: 46% (20/43) in 2015. Deadline extension: 14 days (2017, 2019). Reproducibility recommended.
31	CONCUR 2020	14 pages LIPIcs (+ references + appendix)	Wed. 15 April 2020	Wed. 22 April 2020	Sun. 14 June 2020	1-4 September 2020 (Vienna, Austria)	LIPIcs (open access, authors keep their rights)	A	Part of QONFEST with FORMATS, FMICS and QEST, and several workshops and tutorials. A special issue dedicated to selected papers from CONCUR 2020 will appear in Logical Methods in Computer Science. Acceptance rate (2016): 34% (34/100).
25	FMICS 2020	15 pages LNCS + 2p references	Fri.  8 May 2020	Fri. 15 May 2020	Wed.  1 July 2020	2-3 September 2020 (Vienna, Austria)	Springer LNCS (for-profit publishing, no access unless payment)	C	Part of QONFEST with CONCUR, FORMATS and QEST. Deadline extension: one week in 2013, one week in 2015, 14 days in 2018, 7 days in 2019. Acceptance rate: 38% (16 regular + 2 tools /47) in 2006
5	FSCD 2020	?	−	??	??	29 June - 5 July 2020 (Paris, France)	ACM (free access, but authors lose their rights)	A	Part of Paris Nord Summer of LoVe 2020
7	UTP 2019	Springer	−	??	??	8 October 2019 (Porto, Portugal)	Springer (for-profit publishing, no access unless payment)	(absent)	Co-located with FM 2019. Every two years.
12	WWV 2016	16 pages EPTCS (long) + appendix, 8 pages (short)	−	Sat. 16 April 2016	Fri. 13 May 2016	26 June 2016 (Porto, Portugal)	EPTCS (open access, authors keep their rights)	(absent)	Affiliated with Formal Structures for Computation and Deduction (FSCD) 2016. An open call for a special issue in a highly-reputed journal on the topic of the WWV workshop is envisaged (common practice for WWV since 2009)
5	ESSS 2016	15 pages EPTCS (long), 6 pages (short)	−	Fri. 12 August 2016	Fri. 23 September 2016	7th or 8th November 2016 (Limassol, Cyprus)	EPTCS (open access, authors keep their rights)	(absent)	Satellite of FM 2016. Authors of a selection of the accepted papers will be invited to submit an extended version of their articles to a special issue of a high-quality journal. Deadline extension: 1 week (2014 and 2015). Acceptance rate 6/9 papers (2014), 6/15 (2015).
7	ICLA 2017	12 pages LNCS	−	Fri.  2 September 2016	Sat.  8 October 2016	January 5–7, 2017 (IIT Kanpur, India)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	In 2011, some papers were accepted for presentation but not in proceedings. A limited number of registration waivers are available for Indian participants. Every two years. Deadline extension: 7 days (2015)
4	DUHDe 2017	6 pages IEEE	−	Thu. 10 November 2016	Thu. 24 November 2016	March 31st, 2017 (Lausanne, Switzerland)	informal proceedings	(absent)	Workshop at DATE 2017. Deadline extension: 1 week (2015), 10 days (2016). The proceedings of DUHDe are only available for participants of the workshop. The authors retain the copyright of their work and are free to submit extended versions to a conference or journal.
2	TAPEMS 2017	10 pages IEEE	−	Thu.  8 December 2016 Sat. 24 December 2016	Wed. 18 January 2017	14−17 May 2017 (Madrid, Spain)	IEEE Xplore (no access unless payment)	(absent)
14	FESCA 2017	regular (15 pages EPTCS), position (5), presentation abstract (1)	Wed. 18 January 2017 Sat. 28 January 2017	Wed. 25 January 2017 Fri.  3 February 2017	Mon. 27 February 2017 Wed.  1 March 2017	April 22nd, 2017 (Uppsala, Sweden)	EPTCS (open access, authors keep their rights)	(absent)	Satellite event of ETAPS. Deadline extension: 4 days (2015), 13 days (2016), 9 days (2017).
	ISSTA 2017	10 pages ACM (+ references)	−	Fri.  3 February 2017	Sat. 29 April 2017	10-14 July, 2017 (Santa Barbara, California, USA)	ACM (paid access, but authors can post a link to free PDF with the ACM author-izer service)	A	ISSTA 2017 will conduct double-blind reviewing. Author Response Period (21st and 22nd March).
10	ICMT 2017	15 pages LNCS (research/applications) / 10 pages (exploratory) / 7 pages (tool demo)	Fri. 17 February 2017	Fri. 24 February 2017	Fri.  7 April 2017	July 17−18, 2017 (Marburg, Germany)	Springer LNCS (for-profit publishing, no access unless payment)	B	Co-located with Software Technologies: Applications and Foundations (STA7) 2015. A special issue with an extended version of the best papers from the conference will be published in the journal Science of Computer Programming (Elsevier)
22	CIAA 2017	12 pages LNCS + appendix	−	Wed.  1 March 2017	Sat.  8 April 2017	27 30 June, 2017 (Marne-la-Vallée, France)	Springer LNCS (for-profit publishing, no access unless payment)	B	Selected papers from the conference will be invited for consideration in a journal special issue, currently planned to be published in Theoretical Computer Science (TCS).
15	SERA 2017	8 pages IEEE 2 columns	−	Sun.  5 March 2017	Sun. 26 March 2017	June 7−9, 2017 (Greenwich, London, United Kingdom)	IEEE CPS (no access unless payment)	C	SERA 2017 Proceedings will be published by CPS and will be submitted to be indexed by EI, INSPEC, and DBLP. Conference officers will select outstanding papers for possible publication in several journals. Deadline extension (15 days, and 8 days for notification) in 2013. Acceptance rate (2013): 41% (14/34). Deadline extension: 1 week (2015). SERA 2015 cancelled due to security concerns in Tunisia.
15	BPM 2017	16 pages LNCS	Mon.  6 March 2017	Mon. 13 March 2017	Mon. 15 May 2017	10-15 September 2017 (Barcelona, Catalonia)	Springer LNCS (for-profit publishing, no access unless payment)	A	Deadline UTC-12. Pre-submission shepherding program for first-time submitters. Authors of selected papers will be invited to submit a paper for a special issue of Information Systems (Elsevier).
6	AFM 2017	position / research / reports on work in progress (8 pages ACM SIG)	−	Mon. 27 March 2017 Mon.  3 April 2017	Mon. 17 April 2017 Mon. 24 April 2017	19-20 May 2017 (Menlo Park, CA, USA)	None?	(absent)	Previous editions: AFM06, AFM07, AFM08, AFM09, and AFM10. Deadline extensions: 7 days (2017).
5	FMi 2017	8 pages IEEE	Wed. 15 March 2017 Thu. 20 April 2017	Sat. 25 March 2017 Mon.  1 May 2017	Tue. 25 April 2017 Thu.  1 June 2017	August 4–6, 2017 (San Diego, CA, USA)	IEEE (no access unless payment)	(absent)	Satellite of 18th IEEE IRI 2017. Deadline extension: 4 weeks (2015), 5 weeks (2017). Papers will also be invited to be expanded and submitted for possible publication in a special issue of the Information Systems Frontiers journal published by Springer (confirmed).
1	VBSP 2017	?? (ICSSP conference guidelines)	Tue.  2 May 2017	Fri.  5 May 2017 Mon. 15 May 2017	Thu.  1 June 2017	5th July 2017 (Paris, France)	None?	(absent)	Co-located with ICSSP 2017
2	TTCS 2017	15 pages LNCS + appendix	Mon.  1 May 2017 Mon. 15 May 2017	Mon.  8 May 2017 Fri. 19 May 2017	Mon. 26 June 2017	12—14 September, 2017 (Tehran, Iran)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Bi-annual conference series. Deadline extension: 11 days (2017)
	DaLí 2017	15 pages LNCS	Fri. 26 May 2017	Fri.  2 June 2017	Fri. 14 July 2017	24 September 2017 (Brasília, Brazil)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Workshop co-located with TABLEAUX, FROCOS and ITP 2017. Extended versions of the DaLí contributions will be invited to a special issue in the Journal of Logic and Algebraic Methods in Programming, Elsevier. Extended abstracts with preliminarily results and work in progress (2-5 pag) are also welcomed for short presentations.
2	V2CPS 2017	15 pages EPTCS (full) / 8 pages (short)	−	Fri.  9 June 2017	Sun.  9 July 2017	19 September 2017 (Torino, Italy)	EPTCS (open access, authors keep their rights)	(absent)	co-located with iFM 2017
6	ACIS 2017	8 pages IEEJ (regular) / 4 pages (short/poster)	−	Sat. 10 June 2017	Tue. 15 August 2017	12-14 December 2017 (Phnom Penh, Cambodia)	IEEJ	(absent)	Deadline extension: 14 days (2014), 20 days (2015), 30 days (2016).
4	FDSE 2015	20 pages LNCS	−	Tue. 20 June 2017	Fri. 25 August 2017	November 29–December 1st 2017 (Hồ-Chí-Minh-City, Việt Nam)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Co-located with ACOMP2017 and RCCIE2017. Selected papers, after further revision and extension will be considered for publication in a special issue of the Transactions on Large Scale Data and Knowledge Centered Systems (TLDKS), ISSN: 1869-1994, also from Springer Verlag. Deadline extension: 15 days (2015)
10	ETR 2017	4 pages IEEE 2 columns	−	Tue. 13 June 2017 Sun. 18 June 2017 Mon.  3 July 2017	Fri.  7 July 2017	28 August to September 1st 2017 (Paris, France)	Given to participants (free access, authors keep their rights)	(absent)	Mainly for PhD students. Most presentations in French. Every two years. Deadline extension: 1 week (2013), 10 days (2015), 5+15 days (2017).
13	HVC 2017	16 pages LNCS (regular) / 6 pages (tool / experience)	−	Fri. 21 July 2017 Fri. 28 July 2017	Fri.  1 September 2017	November 13-15, 2017 (Haifa, Israel)	Springer (for-profit publishing, no access unless payment)	(absent)	Deadline GMT. Organized by IBM Research - Haifa. Always in Haifa. Student grants available. Deadline extension: 1 week (2015, 2016, 2017)
15	EUMAS 2017	original (12-15 pages LNCS) / short original (6-8 pages) / published (up to 15 pages)	Sun. 10 September 2017 Sun. 17 September 2017	Sun. 17 September 2017 Sun. 24 September 2017	Fri. 13 October 2017 Fri. 20 October 2017	14-15 December, 2017 (Evry, France)	Springer LNCS/LNAI (for-profit publishing, no access unless payment)	(absent)	EUMAS 2017 welcomes both original, unpublished papers, as well as papers that have been published in a relevant conference, conference or journal. The best original papers will be invited for a special issue in the Knowledge Engineering Review. Deadline and notification extension: 7 days (2017)
2	CERTS 2017	2 pages IEEE (short) / 6 pages IEEE (long)	−	Sun.  1 October 2017	Tue. 17 October 2017	22-24 January 2018 (Funchal, Madeira)	?	(absent)	Firm deadline. Satellite of the IEEE Real-Time Systems Symposium
10	CRTS 2017	8 pages ACM SIG	−	Sun. 17 September 2017 Sun. 15 October 2017	Tue. 17 October 2017 Tue. 31 October 2017	December 5, 2017 (Paris, France)	Special issue of ACM SIGBED Review (paid access, but authors can post a link to free PDF with the ACM author-izer service)	(absent)	Authors retain copyright. Satellite of RTSS. Deadline extension: 1 week (2014), 9 days (2015).
9	ERTS² 2018	4 pages (extended abstract / short) / 10 pages (full, if abstract accepted)	Sun. 18 June 2017 Sun.  9 July 2017	Fri. 27 October 2017	Fri. 24 November 2017	31 January – 2 February, 2017 (Toulouse, France)	?	(absent)	Notification after abstract submission: September 22nd. Deadline extension: 3 weeks (2017)
3	AMARETTO 2018	around 8-10 pages	−	Tue.  7 November 2017	Tue. 21 November 2017	22-24 January 2018 (Funchal, Madeira)	SCITEPRESS Digital Library	(absent)	Double-blind. Satellite of MODELSWARD
1	AI4Health 2018	8-12 pages SCITEPRESS	−	Tue.  7 November 2017	Tue. 21 November 2017	19-21 January, 2018 (Funchal, Madeira, Portugal)	SCITEPRESS Digital Library (for-profit publishing, no access unless payment)	(absent)	Satellite event of HEALTHINF / BIOSTEC. a selection of the best accepted papers related to the applications of Computational Intelligence / Soft Computing / Artificial Intelligence topics, suitably revised and extended, will be eligible for fast-track publication in Applied Soft Computing journal by Elsevier (Impact Factor 3.541).
14	WODES 2018	6 pages IEEE	−	Mon.  4 December 2017 Fri. 15 December 2017	Wed. 28 February 2018	30 May-1st June 2018 (Sorrento Coast, Italy)	ScienceDirect (Elsevier) (for-profit publishing, no access unless payment)	(absent)	Deadline extension: 11 days (2018). Every two years.
1	ICPS 2018	6 pages IEEE	−	Fri. 22 December 2017	Wed. 28 February 2018	15−18 May, 2018 (Saint Petersburg, Russia)	IEEE-Xplore (no access unless payment)	(absent)	Excellent papers may be invited to the IEEE Transaction on Industrial Informatics
6	ADHS 2018	6 pages IFAC (8 pages for submission)	Fri.  1 December 2017	Fri.  8 December 2017 Fri. 22 December 2017 Sat.  6 January 2018	??	July 11−13, 2018 (Oxford, England)	Science Direct (free access, but authors lose their rights)	(absent)	Deadline extension (2018): 14 days
27	TABLEAUX 2018	16 pages LNCS (research) / 8 pages (short system descriptions)	Mon. 22 January 2018	Mon. 29 January 2018 Sun.  4 February 2018	Thu. 29 March 2018	14−17 July 2018 (Oxford, England)	Springer LNCS (for-profit publishing, no access unless payment)	A	Part of IJCAR 2018. Deadline extension: 3 days (2017), 6 days (2018)
13	SIES 2018	6 to 10 pages IEEE (long), 4 pages (work in progress)	−	Sun. 25 February 2018 Sun. 11 March 2018	Wed.  4 April 2018	June 6−8, 2018 (Graz, Austria)	IEEE eXplore (no access unless payment)	(absent)	Deadline extension: 2 weeks (2013), 1 week (2014), 4 weeks (2015), 3+3 weeks (2016), 16 days (2017), 14 days (2018). Also features a work in progress session (Deadline: April 24th). A special section in IEEE Transaction on Industrial Informatics (IF of 4.708) will be organized based on selected papers from the SIES 2018 symposium.
57	CDC 2018	6 pages IEEE (+ 2 additional for a fee)	−	Tue. 20 March 2018	Sun. 15 July 2018	December 17−19, 2018 (Miami Beach, FL, USA)	IEEE (no access unless payment)	A	No deadline extension.
5	HCVS 2018	12 pages EPTCS + biblio (regular) / 1-3 pages (work in progress)	−	Sun. 15 April 2018	Tue. 15 May 2018	13th July, 2018 (Oxford, England)	EPTCS (open access, authors keep their rights)	(absent)	Affiliated with FLoC 2018. Deadline extension: 4 days (2016), 1 week (2017)
16	WST 2018	5 pages LIPIcs	−	Sun. 15 April 2018	Tue. 15 May 2018	18−19 July 2018 (Oxford, England)	Web page (free access, authors keep their rights)	(absent)	Part of FLoC 2018. Informal proceedings (earlier / concurrent / later submission allowed). Live complexity and termination competition during the workshop. Every one or two years.
24	RTCSA 2018	10 pages IEEE 2 columns	−	Fri. 20 April 2018	Fri.  1 June 2018	August 28-31, 2018 (Hokkaido, Japan)	IEEE Xplore (no access unless payment)	B	Deadline UTC-12. 3 tracks: embedded systems, real-time systems, and SYSTEM DESIGN PRACTICE AND EMERGING APPLICATIONS TRACK. Also a work-in-Progress Session. Deadline extension: 1 week (2013), 9 days (2014), 18 days (2016), 9 days (2017), strict (2018). Selected papers will be recommended for submission of extended versions to the special issues of journals, such as the ACM Transactions on Cyber Physical Systems (application in progress). Acceptance rate: 18 long + 5 short / 69 submissions (26% or 33%, 2016), 21 long + 6 short / 68 submissions (31% or 40%, 2015), 39 long + 16 short / 175 submissions (22% or 31%, 2014).
9	RTSOPS 2018	2 A4 pages	−	Tue. 17 April 2018 Tue. 24 April 2018	Tue. 15 May 2018	3rd July, 2018 (Barcelona, Spain)	none?		Co-located with ECRTS. The authors of the paper that will present the most interesting open problem will be rewarded with an IPad sponsored by Inria. Deadline extension: 7 days (2018)
7	SYNT 2018	15 pages EPTCS + references (long) / 7 pages + references (tool)	−	Tue.  1 May 2018	Tue.  8 May 2018	18th July 2018 (Oxford, England)	EPTCS (open access, authors keep their rights)	(absent)	Satellite event of FLoC. Deadline extension: 10 days (2014), 2 weeks (2016). Extended versions of a selection of accepted submissions will form the basis of a special issue of Acta Informatica, to be published after the workshop.
29	ISSRE 2018	10 pages IEEE + 2 appendix/ref (research / experience reports) / 6 pages (wild and provocative ideas)	Tue.  1 May 2018	Sat.  5 May 2018	Sun. 15 July 2018	15-18 October, 2018 (Memphis, TN, USA)	IEEE (?) (no access unless payment)	A	Authors will have a chance to rebut the reviews within 800 words over the period of 28th June to July 1st. Deadline extension: 9 days (2015), 7 days (2017)
25	EuroMPI 2018	10 pages ACM ICPS (long), ≤ 4 pages (short)	−	Tue.  1 May 2018 Tue. 22 May 2018	Tue. 26 June 2018	September 23-26, 2018 (Barcelona, Spain)	ACM (paid access, but authors can post a link to free PDF with the ACM author-izer service)	C	In-cooperation status with ACM and SIGHPC. Deadline extension: 1 week (2014), 8 days (2015), 2 weeks (2016), 28 days (2017), 3 weeks (2018). Warning: notification date extended after submission, and without notice (2014). Acceptance rate (2014): 48% (18/39). The best papers of the conference will be considered for inclusion in a special issue of Elsevier’s Parallel Computing.
18	FMCAD 2018	8 pages IEEE (regular) / 4 pages (short)	Fri. 11 May 2018 Fri. 18 May 2018	Fri. 18 May 2018 Fri. 25 May 2018	Fri. 17 August 2018 Fri. 24 August 2018	30 October-2 November 2018 (Austin, Texas, USA)	ACM/IEEE (+ Web page) (free access, authors keep their rights)	unranked	Deadline extension: 3 days (2015), 7 days (2016, 2018)
16	APLAS 2018	18 pages LNCS (research) / 8+6 pages (System and tool demonstrations)	Tue. 12 June 2018	Fri. 15 June 2018	Mon. 13 August 2018	3–5 December 2018 (Wellington, New Zealand)	Springer LNCS (for-profit publishing, no access unless payment)	B	Author response: Wednesday-Friday, July 25-27, 2018
10	SERENE 2018	15 pages LNCS (technical) / 7 pages (experience/PhD/project/tool/position)	Fri.  1 June 2018	Fri. 15 June 2018	Thu.  5 July 2018	September 10—11, 2018 (Iași, Romania)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)
9	WAMCA 2018	8 pages IEEE	−	Fri. 15 June 2018	Tue. 10 July 2018	24-27 September, 2018 (Lyon, France)	IEEE Xplore (no access unless payment)	(absent)	In conjunction with SBAC-PAD 2018. Selected papers will be considered for a publication in the International Journal of High Performance Computing and Networking (IJHPCN).
12	ACOMP 2018	8 pages IEEE	−	Tue. 10 July 2018	Sat. 25 August 2018	28–30 November 2018 (Hồ Chí Minh City, Việt Nam)	IEEE CPS (no access unless payment)	(absent)	5 tracks. Deadline extension: 1 week in 2013, 20 days in 2014 (and notification extended by 10 days). Acceptance rate (2013): 33% (32/96)
46	POPL 2019	25 pages new ACM format + references	−	Wed. 11 July 2018	Wed. 10 October 2018	13−19 January 2019 (Cascais/Lisbon, Portugal)	PACMPL (open access, authors keep their rights)	A*	Rebuttal: 17-20 September. Double blind submission. Authors are asked (but not required) to pay US$400 for journal open-access publication. At most 10% of the accepted papers of POPL 2019 will be designated as Distinguished Papers
21	SBMF 2018	16 pages LNCS	Mon.  2 July 2018	Fri. 13 July 2018 Fri. 20 July 2018	Tue. 28 August 2018	26–30 November 2018 (Salvador-BA, Brazil)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Acceptance rate: 48% (14/29) in 2013; 38% (13/34) in 2014; 44% (11/25) in 2015; 55% (12/22) in 2016. Deadline extension: 15+1 days (2016), 12 days (2017), 7 days (2018). A special issue of Science of Computer Programming (Elsevier) will publish the best papers.
12	JRWRTC 2018	4 pages IEEE	−	Mon. 27 August 2018 Mon. 10 September 2018	Mon. 10 September 2018 Sun. 23 September 2018	10-12 October, 2018 (Poitiers/Futuroscope, France)	PDF	(absent)	In conjunction with RTNS. Must be co-authored by at least one junior (PhD student or post-doc) researcher. Deadline postponed (2 days) in 2012, 1 week in 2015, 6 days in 2016 (including notification deadline), ???+8 days (including notification deadline) in 2017, firm in 2018 but eventually postponed by 14 days.
3	ICAASE 2018	8 pages in an MS Word special format	−	Sun. 23 September 2018	Sun. 11 November 2018	1-2, December 2018 (Constantine, Algeria)	CEUR-WS (free access, authors keep their rights)	(absent)	Distinguished papers from ICAASE’16 will be invited to submit a revised and extended version of their paper to a special issue of the International Journal of Critical Computer-Based Systems (IJCCBS). Deadline extensions: 15 days (2016). Every two years (?)
1	MLCSB 2018	15 pages LNCS	Sat.  8 September 2018 Sun. 23 September 2018	Sat. 15 September 2018 Tue. 25 September 2018	Mon. 15 October 2018 Thu. 25 October 2018	17−18 December 2018 (Santiago, Chile)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	A journal Special Issue, with extended and revised versions of selected papers, is currently under negotiation. Deadline extension: 10 days (2018)
12	WISTP 2018	16 pages Springer LNCS	−	Sun. 14 October 2018	Mon.  5 November 2018	10−11 December 2018 (Brussels, Belgium)	Springer LNCS (for-profit publishing, no access unless payment)	C	Deadline extension: none (2018).
10	ICPE 2019	12 pages ACM (research / industry) / 6 pages (short)	Sat. 13 October 2018	Mon. 15 October 2018	Fri.  7 December 2018	7−11 April 2019 (Mumbai, India)	ACM Digital Library (paid access, but authors can post a link to free PDF with the ACM author-izer service)	(absent)	Deadline extension: 7 days (2018). The highest quality papers, judged by multiple relevant factors, will be recognized with an award. Authors of selected papers will be invited to submit an extended version of their work to a journal.
10	ICCPS 2019	10 pages ACM or IEEE + 2-page appendix	−	Wed. 17 October 2018	Fri. 28 December 2018	April 16−18, 2019 (Montréal, Québec, Canada)	ACM (paid access, but authors can post a link to free PDF with the ACM author-izer service)	(absent)	Firm deadline. Two tracks: theory and application. Part of Cyber Physical Systems (CPS) Week.
12	VALUETOOLS 2019	8 pages ACM (regular) / 6 pages (tool papers) / 2 pages (Fast Abstracts)	Fri. 28 September 2018 Fri. 19 October 2018 Wed. 24 October 2018	Fri.  5 October 2018 Fri. 19 October 2018 Sun. 28 October 2018	Mon. 10 December 2018 Thu. 20 December 2018	13−15 March 2019 (Palma de Mallorca, Spain)	ACM (paid access, but authors can post a link to free PDF with the ACM author-izer service)	(absent)	Regular papers, tool papers, and short papers presented at the conference will be submitted to the ACM Digital Library. Best papers of VALUETOOLS 2019 will be given the opportunity to submit an extended version of their work for publication in a Special Issue of the Performance Evaluation (PEVA) journal of Elsevier. Fast Abstracts will be published as a Technical Report. Fast Abstract Submissions: 22nd July 2016. Deadline extension: 4 weeks in 2016, 2 weeks in 2017, 14+9 days in 2019. Note: no edition in 2018.
8	FSEN 2019	15 pages LNCS	Fri. 19 October 2018	Sun. 28 October 2018	Tue. 18 December 2018	May 1–3, 2019 (Tehran, Iran)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Optional abstract submission. Claim from the conference that no one ever got visa problems (in Iran). Special issue of Science of Computer Programming journal devoted to FSEN’19 (to be confirmed). Deadline extension: 2 weeks (2015). Every two years.
28	WWW 2019	6 pages (short) / 10 pages (long) + references + appendix	Mon. 29 October 2018	Mon.  5 November 2018	Mon. 21 January 2019	May 13-17, 2019 (San Francisco, CA, USA)	ACM Digital Library + conference Web site (free access, but authors lose their rights)	A*	Many different calls (posters, demos, PhD symposium, workshops, tutorials…). Deadlines all Hawaii Standard Time. Acceptance rate (2015): 14.1% (131/929). Double-blind.
18	AAMAS 2019	8 pages (+ references)	Mon. 12 November 2018	Fri. 16 November 2018	Tue. 22 January 2019	15-17 May 2019 (Montréal, Québec, Canada)	ACM (free access, but authors lose their rights)	A*	Double blind. Rebuttal phase: January 8–9, 2019. All deadlines UTC-12.
3	RSSRail 2019	16 pages LNCS (regular) / 10 pages (industrial report / PhD student)	Sat.  5 January 2019	Fri. 11 January 2019	Wed. 20 February 2019	June 4−6, 2019 (Lille, France)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)
5	SNR 2019	original contributions AM / short research papers (3 pages) and / work-in-progress papers (3 pages)	−	Sat. 26 January 2019	Fri.  8 February 2019	15 April 2019 (Montréal, Québec, Canada)	ACM / IEEE explore (no access unless payment)	(absent)	co-located with CPS-IoT Week. Deadline extension: 14 days (2017)
16	QAPL 2019	12 pages EPTCS + appendix (regular) / 3 pages (ongoing)	−	Sun. 10 February 2019	Wed. 27 February 2019	6−7 April 2019 (Prague, Czech Republic)	EPTCS (open access, authors keep their rights)	(absent)	Co-located with ETAPS. Ongoing work will not be published. A special issue in a renowned international journal is planned in case of a sufficient number of high quality submissions. Deadline extension: 7 days (2017). Cancelled in 2018.
6	SynCoP 2019	3 pages	−	Mon. 14 January 2019 Fri. 15 February 2019	Fri. 22 February 2019	April 6 and 7, 2019 (Prague, Czech Republic)	informal	(absent)	Satellite workshop of ETAPS. Deadline extension: 2 weeks (2014, 2015, 2016). Acceptance rate (2014): 5 / 8 papers. Since 2017, SynCoP moved to informal presentations and invited talks only (no formal proceedings).
27	ESEC/FSE 2019	10 ACM SIG (+ 2 pages references)	−	Wed. 20 February 2019	Mon. 27 May 2019	26–30 August, 2019 (Tallinn, Estonia)	ACM (paid access, but authors can post a link to free PDF with the ACM author-izer service)	A	Open science policy. Double-blind. Also tutorials, doctoral symposium, tool demos and others. Author response period: April 26 — 29, 2019.
4	MT-CPS 2019	2 pages	−	Sun. 24 February 2019	Sun. 17 March 2019	15 April 2019 (Montréal, Québec, Canada)	PDF (free access, authors keep their rights)	(absent)	Satellite of CPS-IoT Week 2019
6	ARCH 2019	3–8 pages (Benchmark papers, tool presentations, tool executions, experience reports)	−	Sun. 24 February 2019	Sun. 17 March 2019	April 15th, 2019 (Montréal, Québec, Canada)	EasyChair EPiC series (free access, authors keep their rights)	(absent)	Part of CPSWeek. The paper with the most promising benchmark results receives a prize of 500 Euros sponsored by Robert Bosch GmbH, Germany. The winner is preselected by the program committee and determined by an audience voting. Free of charge in 2017. Deadline extension: 19 days.
28	IJCAI 2019	6 pages + 1 page references	−	Mon. 25 February 2019	Thu.  9 May 2019	August 10-16, 2019 (Macao, China)	AAAI Press (free access, but authors lose their rights)	A*	Double-blind submission. Rebuttal period: April 13-18, 2019. Authors lose their rights, but proceedings (e.g., 2015, 2016) are freely available online. Every two years until 2016, then became yearly.
32	CSF 2019	12 pages IEEE (+ references + appendix)	Fri. 22 February 2019	Tue. 26 February 2019	Fri. 19 April 2019	25-28 June, 2019 (Hoboken, NJ, USA)	IEEE (no access unless payment)	A	Double blind. Acceptance rate: 34% (32/94) in 2017, 35% (25/72) in 2018.
7	FVSBS 2019	6 pages IEEE (full) / 4 pages IEEE (short)	−	Wed. 20 February 2019 Tue.  5 March 2019 Tue. 12 March 2019	Fri. 15 March 2019 Wed. 20 March 2019 Fri. 22 March 2019	June 12−14, 2019 (Napoly, Italy)	?	(absent)	Conference Track @ IEEE WETICE 2019. Deadline extensions: 10 days in 2013, 24 days in 2014, 15 days in 2015, 11+18 days in 2017, 13+7 days in 2019.
23	SPLC 2019	12 pages ACM (full) / 7 pages (short)	Tue. 12 March 2019	Tue. 19 March 2019	Tue. 14 May 2019	9−13 September 2019 (Paris, France)	ACM digital library (paid access, but authors can post a link to free PDF with the ACM author-izer service)	(absent)	There will be two best paper awards each endowed by 500€
18	AFADL 2019	8 pages (original) / 8 pages (PhD) / 4 pages (tools) / 4 pages (projects) / 4 pages (long abstract)	−	Mon. 18 March 2019 Mon. 25 March 2019 Mon.  1 April 2019	Mon. 15 April 2019 Mon. 22 April 2019 Mon. 29 April 2019	12-13 June 2019 (Toulouse, France)	IEEE Xplore Digital Library (no access unless payment)	(absent)	In French (?). Deadline extension: 2 weeks (2014, 2015, 2016), 10 days (2017), 7+7 days (2019).
6	GraMSec 2019	15 pages LNCS + references (regular) / 7 pages (short)	−	Fri.  5 April 2019	Fri.  3 May 2019	24 June 2019 (Hoboken, NJ, USA)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Note: second round of submissions (22nd April, 13th May)
26	SPIN 2019	16 pages + references (technical) / 6 pages (short) + references / 4 pages (tool demo)	−	Fri.  5 April 2019	Sat. 27 April 2019	15−19 July 2019 (Beijing, China)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Collocated with ISSTA 2019. Deadline extension: 1 week in 2013, none in 2014, 11 days in 2015, 7 days in 2017, 8+34 days in 2018. Best Paper awards will be given and announced at the conference. Selection of the best papers in a special issue of the International Journal on Software Tools for Software Technology Transfer (STTT).
23	FCT 2019	12 pages LNCS + references	Sun. 31 March 2019	Sun.  7 April 2019	Thu.  9 May 2019	August 11-14, 2019 (Copenhagen, Denmark)	Springer LNCS ARCoSS (for-profit publishing, no access unless payment)	A	Biennial conference. Selected papers will be invited to a special issue of the "Journal of Computer and System Sciences", devoted to FCT 2019. Best paper award and best student paper award.
23	FM 2019	Springer 15 pages (regular) / 6 pages (short / tool)	Thu. 28 March 2019	Thu. 11 April 2019	Tue. 11 June 2019	7−11 October 2019 (Porto, Portugal)	Springer LNCS (for-profit publishing, no access unless payment)	A	Also a doctoral symposium. Deadline extended: one week (2012), 48 hours (2014). Acceptance rate: 26% (35/132) in 2012, 32% (35/110) in 2018. During the conference, the Programme Committee Chairs will present an award to the authors of the submission selected as the FM 2019 Best Paper. Authors of selected papers will be invited to submit an extended version of their paper to one of the special issues in "Formal Aspects of Computing" and "Formal Methods in System Design".
17	RTN 2019	6 pages	Tue. 16 April 2019	Tue. 16 April 2019	Tue. 14 May 2019	9 July 2019 (Stuttgart, Germany)	ACM SIGBED Review (paid access, but authors can post a link to free PDF with the ACM author-izer service)	(absent)	In conjunction with ECRTS. Deadline extension: 7 days (2018)
19	WCET 2019	10 pages OASIcs	−	Tue. 16 April 2019	Tue. 14 May 2019	9 July 2019 (Stuttgart, Germany)	OASIcs (open access, authors keep their rights)	(absent)	Co-located with ECRTS. Deadline extension: 1 week (2016), 14 days (2017), 7 days (2018).
10	WATERS 2018	6 pages IEEE	−	Tue. 16 April 2019	Tue. 14 May 2019	27th June 2017 (Stuttgart, Germany)	No formal proceedings? (free access, authors keep their rights)	(absent)	Colocated with ECRTS. Deadline extension: 1 week (2014), 4 weeks (2016), 2 weeks (2017), 7 days (2018). This year focus: We encourage submissions proposing novel models or combining existing models for analyzing real-time and performance properties for such heterogeneous systems. Also features the WATERS industrial challenge (formerly FMTV), this year by Robert Bosch Gmbh and the University of Modena and Reggio Emilia.
44	MFCS 2019	12 pages LIPIcs (+ bilbiography)	−	Mon. 22 April 2019	Wed. 12 June 2019	August 26-30, 2019 (Aachen, Germany)	LIPIcs (open access, authors keep their rights)	A	Appendix allowed. Acceptance rate (2014): 35% (95/270).
12	NSV 2019	15 pages LNCS + references (regular) / 6 pages (short / tools / benchmark / case studies)	−	Wed. 24 April 2019	Wed. 22 May 2019	13-14 July 2019 (New York, NY, USA)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Co-located with CAV 2019. Deadline extension: 9 days (2017), 26 days (2018)
11	VSTTE 2019	16 pages LNCS + references (long) / 10 pages (short)	Tue. 23 April 2019	Mon. 29 April 2019	Mon.  3 June 2019	18-19 July 2018 (New York City, USA)	LNCS (for-profit publishing, no access unless payment)	(absent)	Co-located with CAV 2019. Deadline extension: 1 week (2017, 2018). Firm in 2019. Acceptance rate (2018): 79% (19/24)
17	ATVA 2019	16 pages in Springer’s LNCS format (regular) / 6 (tool)	Fri. 26 April 2019	Fri.  3 May 2019	Sun. 16 June 2019	October 28–31, 2019 (Taipei, Taiwan)	Springer LNCS (for-profit publishing, no access unless payment)	A	Acceptance rate: 32% (2008), 36 / 75 = 48% (2011); (27+12+3)/(73+23) = 44% (2013?), 29/70+6 = 38% (2014), 22+9/78 = 37% (2017), 27+6/82=40% (2018). 4 more days to edit the paper past the deadline in 2011. Deadline extension: 2 weeks (2013), 12 days (2014), 7 days (2015), 7 days (2017), 7 days (2018). Almost always in Asia. ATVA 2019 will have an artifact evaluation stage.
1	FT4DAS 2019	Regular (12 pages LNCS), short papers/experience reports, tools or work in progress (6 pages) / idea papers (4 pages)	Mon. 13 May 2019	Mon. 13 May 2019	Sat.  1 June 2019	10 September, 2019 (Turku, Finland)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Co-located and affiliated with SAFECOMP 2019
34	ASE 2019	10 pages ACM + references (technical research / experience) / 6 pages (new ideas)	Mon.  6 May 2019	Mon. 13 May 2019	Mon.  5 August 2019	November 11-15, 2019 (San Diego, CA, USA)	ACM (paid access, but authors can post a link to free PDF with the ACM author-izer service)	A	Double-blind submissions. Deadlines AoE. Acceptance rate: 22% (80/362) in 2018
8	CIEL 2019	15 pages Easychair (long) / 5 pages (short)	Tue. 30 April 2019	Wed. 15 May 2019	Thu. 30 May 2019	June 14th to 14th, 2019 (Toulouse, France)	?	(absent)	In French or English. Co-located with GDR-GPL. Les papiers longs auront la possibilité d’être étendus et évalués à nouveau pour paraître dans un numéro spécial de la revue TSI. Pas de date limite pour articles longs (au fil de l’eau) Deadline extension: 2 weeks (2015, 2016)
1	KMOTS 2019	?	−	Wed. 15 May 2019	Fri. 21 June 2019	August 1st, 2019 (Guilin, China)	?	unranked	The Journal of Computer Languages will invite selected papers from the workshop to submit extended versions to the journal.
13	VECoS 2019	15 pages LNCS	Tue. 23 April 2019 Sun. 19 May 2019	Wed.  8 May 2019 Sun. 19 May 2019	Tue. 11 June 2019 Tue. 18 June 2019	October 7−9, 2019 (Porto, Portugal)	Springer LNCS (no access unless payment)	unranked	Co-located with 23rd International Symposium on Formal Methods (FM 2019) – 3rd World Congress on Formal Methods. Authors of selected papers will be invited to submit extended article versions to a special issue of Innovations in Systems and Software Engineering: A NASA Journal or of International Journal of Critical Computer-Based Systems. Deadline extension: 1 month (2014), 16+7 days (2015), 16 days (2016), 14 days (2017), 8 days (2018), 11 days (2019)
17	SEFM 2019	15 pages + bibliography (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS	Fri.  3 May 2019 Mon. 13 May 2019	Fri. 10 May 2019 Mon. 20 May 2019	Tue. 25 June 2019	16-20 September 2019 (Oslo, Norway)	Springer LNCS (for-profit publishing, no access unless payment)	B	Appendix: 2 pages allowed (not integrated in the proceedings). Deadline extensions: one week (2013), one week (2014), one week (2016), 14 days (2017), 7 days (2018), 10 days (2019). Acceptance rate: 28% (20+5/88) in 2016
19	RV 2019	regular (15 pages LNCS + references) / short (6 pages) / tool demonstration (8 pages)	Thu. 25 April 2019 Tue. 21 May 2019	Tue. 30 April 2019 Tue. 21 May 2019	Fri. 14 June 2019 Mon.  1 July 2019	8−11 October 2019 (Porto, Portugal)	Springer LNCS (for-profit publishing, no access unless payment)	C	Deadline extension: 12 days (2016), 7 days (2017), 13 days (2018), 21 days (2019). The Program Committee of RV 2019 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special journal issue.
16	ICTAC 2019	18 pages LNCS (regular) + 2p bibliography / 10 pages LNCS (short / tool)	Sun.  5 May 2019 Sun. 19 May 2019	Sun. 12 May 2019 Sun. 26 May 2019	Sun. 21 July 2019	30 October−4 November 2019 (Hammamet, Tunisia)	Springer LNCS (for-profit publishing, no access unless payment)	B	Deadline extension: 2 weeks (2014, 2015, 2016, 2018), 10 days (2017), 14 days (2019). Acceptance rate: 38% (23/60) in 2016, 43% (17/40) in 2017, 42% (25/59) in 2018. The ICTAC committee will evaluate and select the best paper award winner. The winner will receive a cash award. After the conference, authors of the best contributions are invited to submit a revised and extended version to a special issue, to be published in Elsevier’s Theoretical Computer Science.
4	TIPS 2019	15 pages LNCS (regular) / 6 pages (short) / 2 pages (abstract, position)	−	Fri. 10 May 2019 Sun. 26 May 2019	Wed. 12 June 2019	31 August, 2019 (Amsterdam, The Netherlands)	None (?)	(absent)	Co-located with CONCUR and FORMATS. Deadline extension (2019): 16 days
40	RTSS 2019	10 pages IEEE 2 columns (+ 1-2 pages appendix)	−	Thu. 30 May 2019	Fri.  9 August 2019	3-6 December 201918-21 February 2020 (Hong%20Kong,%20ChinaYork,%20England&zoom=4">Hong Kong, ChinaYork, England)	IEEE (no access unless payment)	A*	Postponed due to the events in Hong-Kong. Will take place in the UK in spring 2020. Firm submission deadline. Acceptance rate: 21% (2011), 22% (35/257, 2012), 23% (36/160, 2013), 21% (33/154, 2014), 23% (34/151, 2015), 23% (32/137, 2016). Rebuttal: 15-19 July 2019.
10	GandALF 2019	14 pages EPTCS	Wed. 15 May 2019 Fri. 31 May 2019	Sun. 19 May 2019 Sun.  2 June 2019	Wed.  3 July 2019	2−4 September 2019 (Bordeaux, France)	EPTCS (open access, authors keep their rights)	(absent)	Deadline extension: 1 week (2014 and 2015), 10 days (2016), 20 days (2017), 7 days (2018), 13 days (2019). Authors of the best papers will be invited to submit a revised version of their work to a special issue of Information and Computation.
16	CIBB 2019	4-6 pages	−	Wed.  1 May 2019 Wed. 15 May 2019 Sun.  9 June 2019	Sat.  1 June 2019 Sun. 30 June 2019 Thu.  4 July 2019	4–6 September, 2019 (Bergamo, Italy)	PDF (free access, authors keep their rights)	(absent)	Authors of accepted papers will be invited to submit an extended version of their work to a post-conference monograph. We plan to invite all papers for a volume in the Springer series of Lecture Notes in Bioinformatics (LNBI). Continuing the tradition of CIBB, we also plan to invite the best papers, as an alternative to the publication on LNBI, to a special issue of an international scientific journal (such as BMC Bioinformatics, as in the latest editions).
7	Highlights 2019	1 or 2 pages	−	Mon. 10 June 2019	Thu. 20 June 2019	September 17-20, 2019 (Warsaw, Poland)	informal	(absent)	Short presentations, no formal proceedings, single author. We encourage you to attend and present your best work, be it already published or not, at the Highlights conference
24	ICECCS 2019	IEEE 10 pages (Technical Papers and Experience Reports) / 4 pages (short)	Fri. 24 May 2019 Fri. 31 May 2019 Fri. 14 June 2019	Fri. 31 May 2019 Sat.  8 June 2019 Fri. 14 June 2019	Fri. 20 July 2018	10−13, November 2019 (Hong Kong)	IEEE Conference Publishing Services (no access unless payment)	A	Deadline extensions: 2 weeks in 2012, 10 days in 2013, 14 days in 2014, 14 days in 2015, 19 days in 2016, 2 weeks in 2017, 7+2 days in 2018, 8+6 days in 2019. Acceptance rate: 29% (37/128) in 2012, 45% (21 full + 15 short / 80) in 2013, 46% in 2014 (17 full + 12 short / 62, with an acceptance rate of 29% for full papers only); 23% (17/71) / 33% (17+8/75 including short papers) in 2015; 22% (19/86) / 37% (19 long + 13 short / 86 including short papers) in 2016, 40% (14 long + 10 / 60) in 2017, 37% (18 long + 11 short / 79) in 2018, 32% (21 full + 7 short / 88). 5 papers were invited to submit (30% of new material would be expected) for a special issue in Springer’s LNCS Transactions on Computational Collective Intelligence (TCCI) in 2012.
11	KSE 2019	6 pages IEEE	−	Wed. 15 May 2019 Sat. 15 June 2019	Tue. 30 July 2019	24-26 October 2019 (Đà Nẵng, Việt Nam)	IEEE (no access unless payment)	(absent)	Deadline extension: 1 week (2014), 13+7 days + 7 days to edit (2015), 30 days (2016), ?? (2017), 31 days (2019). Notification extension: 5+4 days in 2015 (with notification on the initial notification date…), 7 days (2016). Acceptance rate (2014): 53% (51/97). Accepted papers with high quality will be invited to submit to a special issue of KSE 2016 in high quality scientific journals.
19	AVoCS 2019	15 pages LNCS	Sun. 26 May 2019 Sun.  9 June 2019	Sun.  2 June 2019 Sun. 16 June 2019	Sun. 23 June 2019 Sun.  7 July 2019	September 30 − October 1, 2019 (Grenoble, France)	EASST (free access, authors keep their rights)	(absent)	Acceptance rate: 60% (12/20) in 2015 for FMICS only, 63% (11+24/24) in 2016 for FMICS+AVoCS, 10+4/22+8 (including special track) in 2017. Colocated with iFM. Authors of a selection of the best papers presented at the workshop will be invited to submit extended versions of their work for publication in a special issue of Elsevier’s journal Science of Computer Programming. Studentships for PhD in 2013. Deadline extension: 1 week (2014 and 2015), 2 weeks (2016), 1 week (2017), 5 days (2018), 14 days (2019).
13	RP 2019	12 pages LNCS	Fri. 31 May 2019 Mon. 17 June 2019	Fri.  7 June 2019 Mon. 17 June 2019	Fri. 12 July 2019	11−13 September 2019 (Brussels, Belgium)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Deadline extended by 2 weeks in 2012 and 2013, 1 week in 2014, 1 week in 2015 (despite "strict" deadline), 9+19 days (2016), 40 days (2017), 8 days (2018). Acceptance rate: 66% (16/24 in 2011), 61% (14/23 in 2015), 61% (11/18) in 2016, 71% (12/17) in 2017, 11/21 (52%). A selection of up to five articles among the contributed papers will be invited to a special issue of a journal. Also a Presentation-Only Papers track, which usually attracts 6-8 high quality presentations from ICALP, CONCUR, LICS, MFCS, CAV, etc.
21	ICFEM 2019	16 pages LNCS	Tue. 14 May 2019 Tue. 11 June 2019	Tue. 21 May 2019 Tue. 18 June 2019	Sat.  6 July 2019	5−9 November, 2019 (Shenzhen, China)	Springer LNCS (for-profit publishing, no access unless payment)	B	Deadline extension: 1 week (2013), 2 weeks (2014), 1 week (2015, 2016, 2017), 4 weeks (2019). Acceptance rate: 29% (2009, 36/121), 30% (2011, 31/103), 36% (2012), 30% (2014), 32.9% (2015, 27/82), 42% (2016, 27/64), 35% (2017, 28/80), 33% (2018, 22/66). Notification date extended by 18+4 days in 2015 (and 4 days in 2016), after the submission deadline and without announcement.
9	YR-CONCUR 2019	4 pages	−	Fri. 28 June 2019 Fri. 21 June 2019	Fri. 19 July 2019	August 31, 2019 (Amsterdam, The Netherlands)	informal	(absent)	Platform for PhD students and young researchers who recently completed their doctoral studies. No formal proceedings, can be submitted elsewhere. Satellite of CONCUR. Deadline extension: 1 week (2013), 10 days (2015), 9 days (2018), 7 days (2019). Cancelled in 2014.
17	MEMOCODE 2019	10 pages IEEE (regular) / 4 pages (work in progress) / 8 pages (tool)	Fri. 31 May 2019 Fri. 14 June 2019	Fri.  7 June 2019 Fri. 21 June 2019	Fri. 26 July 2019	October 9−11, 2019 (San Diego, USA)	IEEE (no access unless payment)	(absent)	Acceptance rate: 43% (14+6/47) in 2014, 57% (21+6/47) in 2015, 27% (16+4+1/80) in 2016. Deadline extension: 1 week (2017, 2018). Co-located with FMCAD. Selected papers will be invited for publication in a special issue of ACM Transactions on Embedded Computing Systems.
26	TIME 2019	15 pages LIPIcs (+ references + 5 pages appendix)	−	Fri.  7 June 2019 Sun. 16 June 2019 Sun. 23 June 2019	Sun. 21 July 2019	October 16−19, 2019 (Málaga, Spain)	LIPIcs (open access, authors keep their rights)	B	Acceptance rate: 50% (16/32) in 2012, 53% (17/32) in 2014, 74% (17/23) in 2015, 47% (21/45) in 2016. Deadline extension: 1 week (2016), 9 days (2017, with a strict abstract submission deadline), 10 days (2018), 9+7 days (2019). Authors of selected papers will be invited to submit an extended version of their contribution to a special issue of a high quality journal to be yet decided.
2	FORTRESS 2019	8 pages IEEE	−	Mon. 13 May 2019 Mon. 24 June 2019	Mon. 10 June 2019 Mon.  1 July 2019	September 10-13, 2019 (Zaragoza, Spain)	?	(absent)	Satellite of ETFA
12	MSR 2019	14 pages EasyChair	Tue. 30 April 2019 Fri. 17 May 2019 Fri. 14 June 2019	Tue. 14 May 2019 Fri. 31 May 2019 Fri. 28 June 2019	Sat. 13 July 2019	13—15 November 2019 (Angers, France)	HAL (free access, authors keep their rights)	(absent)	In French. Deadline extension: 8 days (2013), 10 days (2015), 15 days (2017), 17+28 days (2019). Poster PhD session. Best paper award for young scientists. Acceptance rate: 17/38 (2007), 24/44 (2009), 16/39 (2011), 16/32 (2013), ??? (2015), 15/24 (2017).
29	LOPSTR 2019	15 pages Springer + Appendix	Mon. 17 June 2019 Tue. 25 June 2019	Mon. 24 June 2019 Sun. 30 June 2019	Wed. 24 July 2019	October 8−10, 2019 (Porto, Portugal)	Springer LNCS (for-profit publishing, no access unless payment)	B	co-located with the Symposium on Formal Methods, FM’19 and a part of the FM Week. Deadline extension: 12 days (2014), 21 days (2015), 13 days (2016), 12 days (2017), 7+7 days (2018), 6 days (2019). In 2018, second round of papers: 26 June/30 June/30 July 2018. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings (and then possibly accepted after another round). A best paper award will be granted, which will include a 500 EUR prize provided by Springer. A selection of the best papers will be invited for submission to a special issue of a journal.
28	CSL 2020	15 pages LIPIcs (+ references)	−	Thu.  4 July 2019	Mon. 30 September 2019	January 13-16, 2020 (Barcelona, Catalonia, Spain)	LIPIcs (open access, authors keep their rights)	B
5	SETTA 2019	16 pages LNCS (regular) / 6 pages (short)	Fri. 21 June 2019 Fri.  5 July 2019	Fri. 21 June 2019 Fri.  5 July 2019	Sat. 31 August 2019	November 27-29, 2019 (Shanghai, China)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Always in China. Deadline extension: 11 days (2015), 30 days (2016), 55+4 days (2017), 31+7 days (2018), 14 days (2019). Acceptance rate: 33% (20/60 in 2015), 44% (17 long + 3 short /45 in 2016).
15	iFM 2019	18 pages LNCS (research / regular / case study) / 8 pages (short tool)	Mon. 24 June 2019 Mon.  1 July 2019	Fri. 28 June 2019 Fri.  5 July 2019	Mon. 16 September 2019	4−6 December 2019 (Bergen, Norway)	Springer LNCS (for-profit publishing, no access unless payment)	B	Page limits include bibliography and any appendices. Acceptance rate: 37% (2012), 25% (2013). Deadline extension: 10 days in 2013, 7 days in 2016, 23 days in 2017, 12 days in 2018, 7 days in 2019. A special journal issue is planned for extended versions of selected papers from iFM 2019 (to be confirmed).
26	APSEC 2019	10 pages IEEE (research) / 6 pages (short) / posters (2 pages)	Fri. 12 July 2019	Fri. 12 July 2019	Thu. 12 September 2019	2–5 December, 2019 (Putrajaya, Malaysia)	IEEE CPS (no access unless payment)	B	Deadline AoE. Acceptance rate: 30% (55 research + 12 industry / 226) / 31% (55+12+4 / 226 including short papers) in 2014; 29% (42/144 long papers in research track) / 26% (9/34 in industry track) in 2015; 21.4% (42/196 long papers) / 29.6% (24+16 / 196, including poster papers) in 2016. Deadline extension: one week (2013), firm (2017). A selective set of accepted papers will be invited by the Program Committee to submit an extended version for publication in the special issue of Elsevier’s Journal of Systems and Software (10 in 2014, 6 in 2016).
16	FACS 2019	18 pages LNCS format + references (research / applications / survey) / 6 (tool) + ref / 2 pages (journal-first)	Fri. 21 June 2019 Fri.  5 July 2019	Fri. 28 June 2019 Fri. 12 July 2019	Fri. 30 August 2019	October 23-25, 2019 (Amsterdam, The Netherlands)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Also a Doctoral Track, in the form of abstracts (3 pages max). The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programming journal. Deadline extension: 6 days (2014), 10+4 days (2015), 11 days (2016), 10 days (2018), 14 days (2019).
24	PRDC 2019	10 pages IEEE (regular) / 6 pages (practical experience reports)	−	Mon. 15 July 2019	Thu. 15 August 2019 Sun. 15 September 2019	1-3 December 2019 (Kyoto, Japan)	IEEE (no access unless payment)	B	One outstanding paper will be selected to receive the Best Paper Award. Also featuring: fast abstract, industry track, poster (different deadlines). Deadline extension: 2 weeks in 2014, 4+2 weeks in 2015, 15+23 days in 2016, 29+15 days in 2018. Acceptance rate: 48% (24+1+5+1/64) in 2014, 38.6% (44/114) in 2015, 57% (30/53) in 2017.
39	FSTTCS 2019	12 pages in LIPIcs (excluding bibliography) + unlimited appendix	Wed. 17 July 2019	Wed. 17 July 2019	Fri. 13 September 2019	December 11-13, 2019 (Mumbai, India)	LIPIcs (open access, authors keep their rights)	(absent)	Always in India. Also features a PhD poster session. 2 more days to edit the paper past the deadline in 2012 and 2016. Deadline extension: 7 days (2017); firm in 2019 Acceptance rate: < 33% (2014).
14	ICSEA 2019	6 pages (regular) / 4 pages (short/work in progress) / 2 pages (ideas/poster)	−	Sun. 28 July 2019	Sat. 14 September 2019	November 24-28, 2019 (Valencia, France)	ThinkMind (free access, but authors lose their rights)	C	More paper categories (poster, extended abstracts, presentations, demos, doctoral forum…). Authors of selected papers will be invited to submit extended versions to a IARIA Journal. Deadline extension: yes (2018)
10	SoICT 2019	8 pages ACM	−	Wed. 14 August 2019	Wed. 20 October 2010	December 4–6, 2019 (Hà Nội, Việt Nam)	ACM ICPS (paid access, but authors can post a link to free PDF with the ACM author-izer service)	(absent)	Extended versions of the selected best papers in SoICT 2017 will be invited for submission to Journal of Heuristics (IF: 1.34), but will be reviewed again. Deadline extension: 17 days (2016), 18 days (2018)
16	CyPhy 2019	15-25 pages LNCS	Mon. 12 August 2019	Fri. 16 August 2019	Fri.  6 September 2019	17-18 October, 2019 (New York City, USA)	Springer LNCS (for-profit publishing, no access unless payment)		Part of ESWEEK
42	ICSE 2020	10 pages ACM	−	Fri. 23 August 2019	Mon.  9 December 2019	23-29 May, 2020 (Seoul, South Korea)	ACM (no access unless payment)	A*	Author response: 15-19 November 2019. Also a doctoral symposium, tutorials, demos, and other events. Acceptance rate (2013): 18.5% (85/461).
7	FTSCS 2019	16 pages LNCS (research / applications / surveys), 5 pages LNCS (position / tools / work in progress)	−	Tue.  3 September 2019	Fri.  4 October 2019	November 11, 2019 (Shenzhen, China)	Springer CCIS (for-profit publishing, no access unless payment)	(absent)	An ICFEM 2019 Satellite Event. Work in progress will not be published in the post-proceedings. Deadline extension: 8 days in 2013, 6 days in 2014, 8 days in 2015, 7 days in 2018. Acceptance rate: 55% (18/33) in 2013, 35% (14/40) in 2014, 37% (17/46) in 2015, 36% (9/23) in 2016, 45% (10/22) in 2018.
35	SAC 2020	8+2 pages ACM SAC	−	Sun. 15 September 2019	Sun. 10 November 2019	30 March-3 April, 2020 (Brno, Czech Republic)	ACM (paid access, but authors can post a link to free PDF with the ACM author-izer service)	B	44 tracks, student abstracts, Student Research Competition, etc. WARNING: double-blind reviews! Deadline extension: 10+7 days (2016, with notification extension by 10 days without announcement); 14 days (2017), 10 days (2018), 14 days including notification (2019).
31	NWPT 2019	2-3 pages Easychair	−	Mon. 16 September 2019	Fri.  4 October 2019	13-15 November, 2019 (Tallinn, Estonia)	PDF	(absent)	No formal proceedings (PDF on Web page). Work in progress and concurrent submissions allowed. Selection of best papers published in the Journal of Logic and Algebraic Programming. Deadline extension: 6 days (2014), 2+2 days (2017), 9 days (2018).
8	MACIS 2019	short (5 pages LNCS) / regular (15) / software and tool (4) / early stage researcher (15)	Sun. 15 September 2019	Sun. 22 September 2019	??	13-15 November, 2019 (Gebze-Istanbul, Turkey)	Springer LNCS (for-profit publishing, no access unless payment)	C	Tracks: * T1: Algorithms and Foundations * T2: Security/Cryptography * T3: Combinatorics/Codes/Designs/Graphs * T4: Data Modeling/Machine Learning
16	EPEW 2019	15 pages LNCS	Mon. 23 September 2019	Thu. 26 September 2019	Mon. 14 October 2019	28-29 November 2019 (Milano, Italy)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Deadline extension: 14 + 7 days (2018). Best papers will be invited to submit their extended work to the Special Issue “Queue and Stochastic Models for Operations Research” of the Mathematics journal.
23	DATE 2020	6 pages IEEE	Sun.  8 September 2019 Sun. 22 September 2019	Mon.  9 September 2019 Sun. 29 September 2019	Thu.  7 November 2019	9-13 March 2020 (Grenoble, France)	IEEE (no access unless payment)	B	Double blind submissions. 4 tracks, 28 topics. WARNING: deadline CET! Deadline extension: 20 days (2020)
37	STACS 2020	12 pages LIPIcs (+ ref + appendix)	−	Mon. 30 September 2019	Fri. 20 December 2019	10−13 March, 2020 (Montpellier, France)	LIPIcs (open access, authors keep their rights)	A	Rebuttal period: Nov 26-29, 2019. PC members are excluded from submitting. Acceptance rate: 27% (54/200) in 2008, 19% (54/280) in 2009, 23% (54/238) in 2010, 20% (54/271) in 2011, 20% (54/273) in 2012, 21% (54/254) in 2013, 26% (54/210) in 2014, 23% (55/235) in 2015, 26% (54/205) in 2016, 25% (54/212) in 2017
21	VMCAI 2020	20 pages LNCS + references + appendix	Tue.  1 October 2019	Tue.  1 October 2019 Sun.  6 October 2019	Thu.  7 November 2019	January 19-21, 2020 (New Orleans, Louisiana, United States)	Springer LNCS (for-profit publishing, no access unless payment)	B	Co-located with POPL. Deadline extension: 5 days in 2013, 7 days in 2017, 10 days in 2019. Sponsor travel and other costs for students to attend VMCAI. Acceptance rate: 45% (24/53) in 2015, 36% (24/67) in 2016, 45% (27/60) in 2017, 56% (24/43) in 2018
13	ICST 2020	10 pages IEEE (+ 2 pages for references)	Mon. 14 October 2019	Mon. 14 October 2019	Tue. 10 December 2019	23-27 March, 2020 (Porto, Portugal)	IEEE (no access unless payment)	C	Double-blind reviewing. Experimental data must be replicable. Also doctoral symposium, software testing contest, tool demos, industry track papers … Deadline extension: 7 days (2017), 4 days (2018), 2 days (2019)
14	LATA 2020	12 pages Springer (including appendix+ref)	−	Fri. 18 October 2019	Mon. 25 November 2019	2-6 March 2020 (Milan, Italy)	Springer LNCS (for-profit publishing, no access unless payment)	C	Deadline extension: one week (2014), 6 days (2015), 7 days (2016, 2017, 2018). Notification date extended by 3 days (2017). A special issue of a journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference.
26	RTAS 2020	10 pages IEEE 2 columns (+ 1-2 pages appendix)	−	Wed. 23 October 2019	Wed. 11 December 2019	21-24 April 2020 (Sydney, Australia)	IEEE (no access unless payment)	A	Two tracks (Real-Time/Embedded Systems / Real-Time Applied Methodologies and Foundations). Part of the Cyber-Physical Systems Week. Firm deadline in 2016, 2017, 2018. Double-blind. Rebuttal: 27-29 November 2019
23	HSCC 2020	10 pages ACM (regular) / 6 pages (tools and case studies) / 2 pages (demo/posters, not published)	−	Wed. 23 October 2019	Mon. 23 December 2019	April 21-24, 2020 (Sydney Australia)	ACM (paid access, but authors can post a link to free PDF with the ACM author-izer service)	(absent)	Part of Cyber Physical Systems (CPS) Week. No deadline extension possible. Authors of distinguished papers may be invited to submit an extended version of their work for possible publication in a Special issue of a leading journal. Light double-blind reviewing process. Several best paper awards. Rebuttal phase: 4 to 6th December 2019
23	FASE 2020	18 pages LNCS + 2 pages bibliography (regular) / 6+6 pages (tool)	Thu. 24 October 2019	Thu. 24 October 2019	Mon. 23 December 2019	25 April − 1 May 2020 (Dublin, Ireland)	Springer ARCoSS LNCS (open access, authors keep their rights)	B	ETAPS: Multi-conference including CC, ESOP, FASE, FOSSACS, POST, TACAS, etc.
9	POST 2020	20 pages LNCS (+ 2 pages bibliography)	Thu. 24 October 2019	Thu. 24 October 2019	Mon. 23 December 2019	25 April − 1 May 2020 (Dublin, Ireland)	Springer ARCoSS LNCS (open access, authors keep their rights)	unranked	Double-blind. Rebuttal period: 11 January 00h01 to 14th January 23h59 AoE. Acceptance rate (2018): 12 + 1 tool + 1 SoK/45 = 31%
23	FOSSACS 2020	18 pages LNCS + bibliography	Thu. 24 October 2019	Thu. 24 October 2019	Mon. 23 December 2019	25 April − 1 May 2020 (Dublin, Ireland)	Springer ARCoSS LNCS (open access, authors keep their rights)	A	ETAPS: Multi-conference including CC, ESOP, FASE, FOSSACS, POST, TACAS, etc. Rebuttal phase: 9 December 00:01 AoE - 10 December 23:59 AoE. Acceptance rate (2017): 32% (32/101).
26	TACAS 2020	16 pages LNCS + bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)	Thu. 24 October 2019	Thu. 24 October 2019	Mon. 23 December 2019	25 April − 1 May 2020 (Dublin, Ireland)	Springer ARCoSS LNCS (open access, authors keep their rights)	A	Each individual author is limited to a maximum of three submissions as an author or co-author. ETAPS: Multi-conference including ESOP, FASE, FOSSACS, POST, TACAS, etc. Rebuttal for selected papers: 9 December 00:01 AoE - 10 December 23:59 AoE. Acceptance rate in 2003: 25% (35/140) for research papers, 30% (6/20) for tool demos, 27% for all full papers. Acceptance rate in 2004: 26% (37/145) for research papers, 35% (6/17) for tool demos, 27% for all full papers. Acceptance rate in 2014: 22% (26/117) for research papers, 27% (3/11) for case studies, 33% (6/18) for tools, 47% (7/15) for tool demos, 24% for all full papers. Acceptance rate in 2015: 27% (45/164), 26% for research papers (27/105). Acceptance rate in 2019: 30% (50/164): 29 research papers, 2 case study papers, 11 regular tool papers, and 8 tool demo papers.
7	HSB 2020	15 pages + 2 pages references LNCS/LNBI (regular) / 6 pages + 2 pages references (short)	−	Fri. 13 December 2019	Fri.  6 March 2020	15-16 April 2020 (Vienna, Austria)	Springer LNCS/LNBI (for-profit publishing, no access unless payment)	(absent)	Deadline extension: 8 days (2016), 19 days (2019). Tool papers require the submission of an executable artifact that contains clear instructions for the reviewer on how to run the tool.
28	RTNS 2020	10 pages ACM 2 columns (+ references)	−	Wed. 18 December 2019	Mon.  9 March 2020	Early June 2020 (Paris, France)	ACM ICPS (paid access, but authors can post a link to free PDF with the ACM author-izer service)	(absent)	Always in France (?). Deadline extension: none (2014, 2015, 2016), 14 days (2018). Acceptance rate: 47% (29/62) in 2013, 51% (32/63) in 2014, 47% (31/66) in 2015, 45% (34/75) in 2016. A selection of the best papers will be identified as outstanding papers; the authors of these papers are invited to submit extended versions to a special issue of the journal Real-Time Systems (Springer). Prizes will be awarded for best paper. RTNS 2020 will have the option of artifact evaluation for the accepted papers.
12	NFM 2020	15 pages LNCS (regular) / 6 pages (short/tool/experience report) + references	Thu. 12 December 2019 Tue. 24 December 2019	Thu. 19 December 2019 Mon. 30 December 2019	Thu. 20 February 2020	11-15 May 2019 (Moffett Field, CA, USA)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	No registration fees. Acceptance rate: 39% (36/93) in 2012, 31% (33/108) in 2015, 40% (23 regular + 8 short / 60 regular + 17 short) in 2017, 34% (31/92) in 2018. Deadline extension: 8 days (2015), 2 days (2017), 21 days (2018), 3 days (2019), 11 days (2020).
35	LICS 2020	12 IEEE	Mon.  6 January 2020	Fri. 10 January 2020	Fri. 10 April 2020	8-12 July 2020 (Beijing, China)	ACM SIGPLAN Proceedings (?) (paid access, but authors can post a link to free PDF with the ACM author-izer service)	A*	Double-blind (since 2020). Co-located with ICALP. Author Feedback/Rebuttal Period 16-20 March, 2020. Papers authored or co-authored by members of the program committee are not allowed. Deadlines are firm. Full versions of up to three accepted papers, to be selected by the program committee, will be invited for submission to the Journal of the ACM. Additional selected papers will be invited to a special issue of Logical Methods in Computer Science. An award in honor of the late Stephen C. Kleene will be given for the best student paper(s), as judged by the program committee. Acceptance rate: 40% (89/224) in 2017
14	TASE 2020	8 pages IEEE	Sun.  5 January 2020	Sun. 12 January 2020	Fri. 13 March 2020	15-17 July 2020 (Hangzhou, China)	IEEE Computer Society Press (no access unless payment)	C	Optional abstract submission deadline. Deadline extensions: 14 days (2014); Strict deadline in 2016; 14 days (2017), 14+3 days (2019). The authors of selected papers will be invited after the symposium to submit an extended version to a special issue at Science of Computer Programming (SCP). Often in China. Acceptance rate: 18 long + 5 short / 69 = 33% (2016), 15 long + 1 short + 1 tool/48=35% (2017) 16 long + 4 short / 52 = 38% (2018), 34 long + 2 short / 100 = 36% (2019)
23	ISORC 2020	8 pages IEEE (regular / industrial / practitioner) / 4 pages IEEE (short research)	−	Fri. 17 January 2020	Fri. 20 March 2020	19-21 May 2020 (Nashville, Tennessee, USA)	IEEE (no access unless payment)	C	Deadline extension: 7+5 days (2018), 10 days (2019). Best papers from ISORC 2018 will be invited for submission to a Special Issue of an IEEE / ACM Journal. Rebuttal period: March 9-11, 2020
7	ABZ 2020	15 pages LNCS (research, case study) / 4 pages (short / work in progress / tool) / 14 pages (answer to case studies) / 4 pages extended abstract (industry)	Mon. 13 January 2020	Mon. 20 January 2020	Sat.  2 March 2019	27-29 May 2020 (Ulm, Germany)	Springer (for-profit publishing, no access unless payment)	(absent)	Deadline extended by 20 days (2014), 7 days (2018). ABZ 2020 will have a main conference track, a case study track, tutorials and workshops. Every two years.
8	VPT 2020	15 pages EPTCS (regular) / 3 pages (short)	Mon. 13 January 2020	Mon. 20 January 2020	Mon.  9 March 2020	25-26th April 2020 (Dublin, Ireland)	EPTCS (open access, authors keep their rights)	(absent)	Satellite of ETAPS 2020. Deadline extension: 10 days (2017)
4	MARS 2020	12 pages EPTCS + references	−	Sun. 12 January 2020 Mon. 20 January 2020	Sun. 23 February 2020	26th April 2020 (Dublin, Ireland)	ACM (open access, authors keep their rights)	(absent)	Satellite of ETAPS. In addition to the workshop proceedings, the formal models presented at the workshop will be archived in the MARS Repository. Deadline extension: 9 days (2018), 8 days (2020)
	TASS 2013	6 pages IEEE	−	Fri. 11 October 2013	Thu. 31 October 2013	December 3rd, 2013 (Vancouver, Canada)	?	(absent)	Satellite of RTSS. Must be original, but non necessarily fully developed. Position papers acceptable. Deadline extension: 1 week (2013).
2	QFM 2014	10 pages EPTCS	−	Sat.  1 March 2014	Tue.  1 April 2014	12th May 2014 (Singapore)	EPTCS (open access, authors keep their rights)	(absent)	Warning: Deadline 23h UTC
11	WS-FM:FASOCC 2014	15 pages LNCS	−	Sun. 15 June 2014	Wed.  9 July 2014	September 11-12, 2014 (Eindhoven, The Netherlands)	Springer LNCS (for-profit publishing, no access unless payment)	(absent)	Collocated with 11th International Conference on Business Process Management (BPM 2013). Deadline extension (1 week) in 2013, 6 days in 2014. Authors of selected papers of WS-FM:FASOCC 2014 will be invited to submit an extended paper for a special issue in Springer’s journal on Formal Aspects of Computing. Relocated from Haifa, Israel to Eindhoven, The Netherlands.
	NCFM 2014	500 words abstract	Sat. 20 September 2014	Wed.  1 October 2014	Sun. 12 October 2014	October 15th−17th, 2014 (Bengaluru, India)	?	(absent)	Delegates are requested to submit abstract based on their own ongoing / completed and unpublished research.
2	MOCHAP 2015	8 pages AAAI (full technical) / 1-2 (extended) / already published (unlimited)	−	Fri. 20 February 2015 Fri.  6 March 2015	Fri. 20 March 2015	June 7th, 2015 (Jerusalem, Israel)	Web site? (free access, authors keep their rights)	(absent)	Previously accepted papers allowed in a special session (Deadline: February 20th). Accepted original papers will be published on the workshop website and printed as a hard-copy. An extended abstract for previously published papers will be published in the proceedings. Deadline extension: 2 weeks (2015)
2	SaFoMe 2015	14 pages LNCS	−	Tue.  7 April 2015	Thu. 30 April 2015	June 22nd, 2015 (Oslo, Norway)	informal proceedings	(absent)	Satellite of FM. Extended versions of selected papers will be invited to submit to a Special Issue in Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability (SAGE, print ISSN: 1748-006X). Deadline extension (2014): 2 weeks.
9	CFV 2015	6 pages IEEE (regular) / 4 pages (short: industrial experience)	Sat. 18 July 2015	Sat. 25 July 2015	Tue.  1 September 2015	November 5, 2013 (Austin, Texas, USA)	?	(absent)	Satellite of IEEE/ACM ICCAD. Every two years?
2	FOR-MOVES 2015	12 pages LNCS (regular) / 6 pages (short / position)	−	Thu. 30 July 2015 Fri. 14 August 2015 Mon. 14 September 2015	Sun. 30 August 2015 Mon. 14 September 2015 Wed. 30 September 2015	November 16, 2015 (Goa, India)	No formal proceedings (PDF online) (free access, authors keep their rights)	(absent)	Co-located with ICSOC 2015. For this second edition of this workshop, we would like to put the emphasis on discussions rather than on conventional publications. Deadline extension: 10 days (2014), 15 days (2015)
9	SSV 2015	10 pages EPTCS + appendix	Mon. 21 September 2015	Mon. 28 September 2015	Fri. 30 October 2015	7−8 December 2015 (Gold Coast, Australia)	EPTCS (open access, authors keep their rights)	(absent)	Co-located with ICECCS. SSV 2015 has been cancelled due to lack of submissions.
	Cassting 2016	12 pages EPTCS	−	Fri. 15 January 2016	Fri. 19 February 2016	2–3 April 2016 (Eindhoven, The Netherlands)	EPTCS (open access, authors keep their rights)	(absent)	Satellite workshop of ETAPS 2016.
19	CBSE 2016	10 pages ACM including appendix (regular / case studies) / 6 pages ACM (short / tools)	Mon. 11 January 2016 Mon. 18 January 2016	Mon. 18 January 2016 Thu. 21 January 2016	Mon. 15 February 2016	April 5−8, 2016 (Venice, Italy)	ACM (paid access, but authors can post a link to free PDF with the ACM author-izer service)	B	Deadline extensions: 9 days (2013), 7 days (2014), 3 days (2016). Part of CompArch. Deadlines Samoa time.
1	FEVER 2017	2 pages LNCS	−	Mon. 22 May 2017 Mon. 29 May 2017	Tue. 30 May 2017	July 23rd, 2017 (Heidelberg, Germany)	No proceedings	(absent)	Papers can be ongoing or already accepted elsewhere. Deadline extension: 1 week (2017)
19	ACSD 2019	10 pages IEEE	Wed. 16 January 2019 Fri. 25 January 2019	Tue. 22 January 2019 Fri.  1 February 2019 Sun. 10 February 2019	Fri.  8 March 2019	23-28 June 2019 (Aachen, Germany)	IEEE Xplore Digital Library (no access unless payment)	B	Co-located with Petri Nets. Deadline extended: 9 days in 2013, 4 days in 2015, 0 in 2016, 14 in 2017, 7+15 days in 2018, 10+9 days in 2019. Acceptance rate: 47% (14/30) in 2016, not public (15/??) in 2017, 52% (13/25) in 2018.

List maintained by Étienne André.
Don’t hesitate to notify me in case you find any mistake, or want to suggest other conferences.

I do not generally support the ranking of conferences; nevertheless, following several users’ feature requests, and because the CORE ranking is not the worst, I added it for information.