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 |
| 6 |
FROM 2022 |
? |
Fri. 8 July 2022 |
Fri. 15 July 2022 |
Thu. 25 August 2022 |
19-20 September 2022
(Iasi, Romania) |
? | (absent) |
In conjunction with WOLLIC 2022. |
| 31 |
CSL 2023 |
15 pages LIPIcs (+ references) |
Sat. 9 July 2022 |
Sat. 16 July 2022 |
Fri. 30 September 2022 |
13-16 February 2023
(Warsaw, Poland) |
LIPIcs
(open access, authors keep their rights) | B |
Deadline extension: 7 days (2021), firm (2022). Helena Rasiowa Award for the best student paper. |
| 18 |
FACS 2022 |
18 pages LNCS format + references (research / applications / survey) / 6 (tool) + ref / 2 pages (journal-first) |
Fri. 24 June 2022
Mon. 18 July 2022 |
Mon. 4 July 2022
Mon. 18 July 2022 |
Mon. 5 September 2022 |
10-11 November 2022
(online 💻🌐) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
A special journal issue is planned for extended versions of selected papers. Deadline extension: 6 days (2014), 10+4 days (2015), 11 days (2016), 10 days (2018), 14 days (2019, 2021, 2022). |
| 27 |
PRDC 2022 |
10 pages IEEE (regular) / 6 pages (practical experience reports) |
− |
Mon. 18 July 2022 |
Mon. 22 August 2022 |
28 November - 1st December 2022
(Beijing, China (+ virtual options)) |
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, 13 days in 2020, 14 days in 2021. Acceptance rate: 48% (24+1+5+1/64) in 2014, 38.6% (44/114) in 2015, 57% (30/53) in 2017. |
| 14 |
VSTTE 2022 |
16 pages LNCS + references (long) / 10 pages (short) |
Fri. 15 July 2022 |
Fri. 22 July 2022 |
Mon. 5 September 2022 |
17-18 October 2022
(Trento, Italy) |
LNCS
(for-profit publishing, no access unless payment) | (absent) |
Co-located with Formal Methods in Computer-Aided Design 2022 (FMCAD 2022). Deadline extension: 1 week (2017, 2018). Firm in 2019. Acceptance rate (2018): 79% (19/24) |
| 8 |
SETTA 2022 |
16 pages LNCS + references (regular) / 6 pages (short) |
Sat. 23 July 2022 |
Sat. 30 July 2022 |
Sat. 3 September 2022 |
27-29 October 2022
(Beijing, China) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Always in China. A selection of papers will be invited to special issues of the Elsevier Journal of Systems Architecture (JSA) and the IEEE Transactions on Reliability (TR). Deadline extension: 11 days (2015), 30 days (2016), 55+4 days (2017), 31+7 days (2018), 14 days (2019), several months due to coronavirus (2020). Acceptance rate: 33% (20/60 in 2015), 44% (17 long + 3 short /45 in 2016). |
| 11 |
SoICT 2022 |
8 pages ACM |
− |
Mon. 15 August 2022 |
Wed. 5 October 2022 |
1-2 December 2022
(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) |
| 8 |
FTSCS 2022 |
10 pages ACM (research / applications / surveys), 5 pages ACM (position / tools / work in progress) |
− |
Thu. 1 September 2022 |
Mon. 10 October 2022 |
7 December 2022
(Auckland, New Zealand) |
ACM Digital Library
(no access unless payment) | (absent) |
An OOPSLA/SPLASH 2022 workshop. 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. |
| 40 |
STACS 2023 |
12 pages LIPIcs (+ ref + appendix) |
− |
Sun. 25 September 2022 |
Sun. 4 December 2022 |
7-10 March 2023
(Hamburg, Germany) |
LIPIcs
(open access, authors keep their rights) | A |
Double-blind. Rebuttal period: 14-16 November 2022. 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 |
| 10 |
FSEN 2023 |
15 pages LNCS including ref (full) / 6 pages (short) |
Fri. 7 October 2022 |
Fri. 14 October 2022 |
Fri. 2 December 2022 |
3-5 May 2023
(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’23 (to be confirmed). Deadline extension: 2 weeks (2015, 2021). Every two years. |
| 24 |
FM 2023 |
Springer 15 pages + references (regular / long tool / case study) / 6 pages (short / tool demo) |
Sun. 4 September 2022 |
Mon. 11 September 2023 |
Tue. 15 November 2022 |
6-10 March 2023
(Lübeck, Germany) |
Springer LNCS
(for-profit publishing, no access unless payment) | A |
Double-blind. 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 2023 Best Paper. Extended versions of selected papers will be invited for publication in a special issue of one or more journals. |
| 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). |
| 8 |
POST 2019 |
20 pages LNCS (+ 2 pages bibliography) |
Fri. 9 November 2018 |
Fri. 16 November 2018 |
Fri. 25 January 2019 |
8 to 11 April, 2019
(Prag, Czech Republic) |
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% |
| 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. |
| 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. |
| 3 |
TAPEMS 2019 |
10 pages IEEE |
− |
Wed. 6 March 2019
Wed. 6 March 2019 |
Mon. 18 March 2019 |
14 May 2019
(Larnaca, Cyprus) |
IEEE Xplore
(no access unless payment) | (absent) |
Satellite of CCGrid 2019 |
| 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. |
| 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. |
| 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 |
| 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. |
| 7 |
FMi 2019 |
8 pages IEEE |
Thu. 25 April 2019
Wed. 15 May 2019 |
Thu. 2 May 2019
Sat. 18 May 2019 |
Sat. 1 June 2019
Tue. 18 June 2019 |
30th July - 1st August 2019
(Los Angeles, CA, USA) |
IEEE
(no access unless payment) | (absent) |
Satellite of 18th IEEE IRI 2017. Deadline extension: 4 weeks (2015), 5 weeks (2017), 16 days (2019). As for previous editions of the workshop, authors of best papers will be invited to expand and submit their papers for possible publication in a book or in a journal special issue. |
| 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 |
| 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). |
| 11 |
SERENE 2019 |
15 pages LNCS (technical) / 7 pages (experience/PhD/project/tool/position) |
Fri. 31 May 2019
Fri. 7 June 2019 |
Fri. 7 June 2019
Fri. 14 June 2019 |
Sun. 14 July 2019 |
17 September 2019
(Naples, Italy) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Deadline extension: 1 week (2019) |
| 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). |
| 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 |
| 2 |
DaLí 2019 |
15 pages LNCS |
− |
Fri. 28 June 2019 |
Fri. 19 July 2019 |
9 October 2019
(Porto, Portugal) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Workshop co-located with FM-Week. 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. Deadline extension: ?? (2019) |
| 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 |
| 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. |
| 7 |
UTP 2019 |
Springer |
Tue. 8 October 2019 |
Tue. 8 October 2019 |
?? |
8 October 2019
(Porto, Portugal) |
Springer
(for-profit publishing, no access unless payment) | (absent) |
Co-located with FM 2019. Every two years. Submissions in 2019 by invitation only. |
| 29 |
WWW 2020 |
6 pages (short) / 10 pages (long) + references + appendix |
Mon. 7 October 2019 |
Mon. 14 October 2019 |
Fri. 10 January 2020 |
20-24 April 2020
(Taipei, Taiwan) |
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. |
| 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. |
| 13 |
WISTP 2019 |
16 pages Springer LNCS |
− |
Sun. 27 October 2019 |
Tue. 12 November 2019 |
10-11 December 2019
(Paris, France) |
Springer LNCS
(for-profit publishing, no access unless payment) | C |
Deadline extension: none (2018, 2019). |
| 13 |
VALUETOOLS 2020 |
8 pages ACM (regular) / 6 pages (tool papers) / 2 pages (Fast Abstracts) |
Fri. 29 November 2019 |
Fri. 29 November 2019 |
Fri. 7 February 2020 |
18-20 May 2020
(Tsukuba, Japan) |
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. Deadline extension: 4 weeks in 2016, 2 weeks in 2017, 14+9 days in 2019. Note: no edition in 2018. |
| 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. |
| 15 |
WODES 2020 |
6 pages IEEE |
− |
Mon. 23 December 2019
Sun. 5 January 2020 |
Mon. 17 February 2020
Fri. 21 February 2020 |
13-15 May 2020
(Rio de Janeiro, Brazil) |
ScienceDirect (Elsevier)
(for-profit publishing, no access unless payment) | (absent) |
Deadline extension: 11 days (2018), 13 days (2020). Every two years. Best student paper award. |
| 7 |
DUHDe 2020 |
6 pages IEEE or ACM |
− |
Sun. 12 January 2020 |
Sun. 19 January 2020 |
13 March 2020
(Grenoble, France) |
informal proceedings | (absent) |
Workshop at DATE 2019. Deadline extension: 1 week (2015), 10 days (2016), ??? (2019). Cancelled in 2020. 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. |
| 29 |
TABLEAUX 2020 |
16 pages LNCS (research) / 8 pages (short system descriptions) |
Thu. 16 January 2020 |
Thu. 23 January 2020 |
Fri. 20 March 2020 |
1-4 July 2020
(Paris, France) |
Springer LNCS
(for-profit publishing, no access unless payment) | A |
Part of IJCAR 2020 and Paris Nord Summer of LoVe 2020. Deadline extension: 3 days (2017), 6 days (2018). Rebuttal: March 6-10 2020. |
| 5 |
FSCD 2020 |
15 pages LIPIcs + references |
Thu. 6 February 2020 |
Sun. 9 February 2020 |
Mon. 13 April 2020 |
29 June - 5 July 2020
(Paris, France) |
LIPIcs
(open access, authors keep their rights) | A |
Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science.
Rebuttal: March 27-29, 2020. Part of Paris Nord Summer of LoVe 2020 |
| 17 |
EUMAS 2020 |
original (12-15 pages LNCS) / short original (6-8 pages) / published (up to 15 pages) |
Tue. 28 January 2020
Thu. 6 February 2020 |
Tue. 4 February 2020
Wed. 12 February 2020 |
Wed. 4 March 2020 |
22-23 April 2020
(Thessaloniki, Greece) |
Springer LNCS/LNAI
(for-profit publishing, no access unless payment) | (absent) |
EUMAS 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 Journal of Autonomous Agents and Multiagent Systems (JAAMAS). Deadline and notification extension: 7 days (2017), 8 days (2020) |
| 3 |
ICPS 2020 |
6 pages IEEE |
− |
Tue. 18 February 2020 |
Tue. 31 March 2020 |
9-12 June 2020
(Tampere, Finland) |
IEEE-Xplore
(no access unless payment) | (absent) |
Excellent papers may be invited to special journal issues |
| 23 |
LPAR 2020 |
regular (15 pages EasyChair + references + appendix); tool / experimental (8) |
Sat. 15 February 2020
Tue. 18 February 2020 |
Sat. 15 February 2020
Sat. 22 February 2020 |
Wed. 8 April 2020 |
22-27 May, 2020
(Alicante, Spain) |
EPiC Series in Computing
(free access, authors keep their rights) | A |
Deadline extension: 6 days (2017), 7 days (2020) |
| 3 |
TTCS 2020 |
15 pages LNCS + appendix |
− |
Sat. 29 February 2020
Sat. 29 February 2020 |
Sun. 12 April 2020 |
1-3 July 2020
(Tehran, Iran) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Bi-annual conference series. Deadline extension: 11 days (2017), ?? (2020) |
| 7 |
SynCoP 2020 |
3 pages |
− |
Mon. 9 March 2020 |
Mon. 16 March 2020 |
25-26 April 2020
(Dublin, Ireland) |
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). |
| 59 |
CDC 2020 |
6 pages IEEE (+ 2 additional for a fee) |
− |
Tue. 17 March 2020 |
Wed. 15 July 2020 |
8-11 December 2020
(Jeju Island, Korea) |
IEEE
(no access unless payment) | A |
No deadline extension. The new Journal IEEE Control Systems Letters (L-CSS) now provides a possibility to submit and publish a paper in the Journal, but present it at CDC |
| 14 |
JRWRTC 2020 |
4 pages IEEE |
− |
Thu. 9 April 2020 |
Mon. 4 May 2020 |
9-10 June 2020
(Paris, 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, 9 days (2019). |
| 5 |
CERTS 2020 |
2-4 pages IEEE |
− |
Thu. 16 April 2020 |
Wed. 13 May 2020 |
7 July 2020
(Modena, Italy) |
? | (absent) |
Satellite of ECRTS |
| 7 |
GraMSec 2020 |
18 pages LNCS + references (regular) / 10 pages (short) |
− |
Wed. 1 April 2020
Fri. 24 April 2020
Mon. 4 May 2020 |
Fri. 29 May 2020 |
22 June 2020
(Online (Boston, MA, USA)) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Co-located with CSF 2020. Deadline extension: 23+10 days (2020) |
| 25 |
CIAA 2020 |
12 pages LNCS + appendix |
− |
Tue. 5 May 2020 |
Wed. 10 June 2020 |
8-11 September 2020
(Loughborough University, United Kingdom) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
|
| 9 |
CIEL 2020 |
? pages Easychair (long) / 5 pages (short) |
Fri. 1 May 2020 |
Fri. 8 May 2020 |
Fri. 29 May 2020 |
18-19 June 2020
(Vannes, 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) |
| 27 |
EuroMPI/USA 2020 |
10 pages ACM ICPS (long), ≤ 4 pages (short) |
− |
Wed. 22 April 2020
Wed. 13 May 2020
Wed. 20 May 2020 |
Wed. 1 July 2020
Fri. 10 July 2020 |
21-24 September 2020
(Austin, TX, USA) |
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), 3+1 weeks (2020). 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. |
| 25 |
ICECCS 2020 |
IEEE 10 pages (Technical Papers and Experience Reports) / 4 pages (short) |
Fri. 22 May 2020
Wed. 3 June 2020 |
Fri. 29 May 2020
Wed. 10 June 2020 |
Sat. 25 July 2020
Sat. 1 August 2020 |
28-31 October 2020
(online 💻🌐) |
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, 12 days in 2020. 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) in 2019, 33% (19 full + 6 short / 76) in 2020. 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. |
| 14 |
ACOMP 2020 |
8 pages IEEE (regular, industry) / 4-6 pages (short) |
− |
Thu. 25 June 2020 |
Mon. 10 August 2020 |
25-27 November 2020
(Quy Nhon, Việt Nam) |
IEEE CPS
(no access unless payment) | (absent) |
4 themes. Deadline extension: 1 week in 2013, 20 days in 2014 (and notification extended by 10 days). Acceptance rate (2013): 33% (32/96) |
| 6 |
SNR 2020 |
15 pages EPTCS + references (long) / 6 pages (short, work-in-progress) |
− |
Mon. 15 June 2020
Sun. 28 June 2020 |
Wed. 15 July 2020
Fri. 31 July 2020 |
31 August 2020
(online 💻🌐) |
EPTCS
(free access, authors keep their rights) | (absent) |
co-located with CPS-IoT Week. Deadline extension: 14 days (2017), 13 days (2020) |
| 18 |
APLAS 2020 |
18 pages LNCS (research) / 8+6 pages (System and tool demonstrations) |
Fri. 3 July 2020 |
Mon. 6 July 2020 |
Fri. 14 August 2020 |
1-4 December 2019
(Fukuoka, Japan) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
Deadline extension: 9 days (2019). Lightweight double-blind reviewing process. Rebuttal 5-7 August 2020. |
| 15 |
ICSEA 2020 |
6 pages (regular) / 4 pages (short/work in progress) / 2 pages (ideas/poster) |
− |
Mon. 13 July 2020 |
Sun. 9 August 2020 |
18-22 October 2020
(Porto, Portugal) |
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) |
| 4 |
ICAASE 2020 |
8 pages in an MS Word special format |
− |
Wed. 15 July 2020 |
Wed. 30 September 2020 |
28-30 November 2020
(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. |
| 42 |
S&P 2021 |
13 pages + 5 pages references/appendix |
− |
Thu. 3 September 2020 |
Fri. 20 November 2020 |
23-27 May 2021
(San Francisco, CA, USA) |
IEEE
(free access, but authors lose their rights) | A* |
Double blind. WARNING: several submission periods ("quarterly submission model"). Papers rejected from another conference must address reviews and summary of changes. Acceptance rate (2021): 11% (33 of 290) |
| 20 |
AAMAS 2021 |
8 pages (+ references) |
Fri. 2 October 2020 |
Fri. 9 October 2020 |
Fri. 18 December 2020 |
3-7 May 2021
(online 💻🌐) |
ACM
(free access, but authors lose their rights) | A* |
Double blind. Rebuttal phase: 23-25 November 2020. All deadlines UTC-12. |
| 12 |
ICPE 2021 |
12 pages ACM (research / industry) / 8 pages (short) |
Tue. 6 October 2020 |
Fri. 16 October 2020 |
Thu. 10 December 2020 |
17-23 April 2021
(online 💻🌐) |
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, 2019, 2020). 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. |
| 27 |
RTAS 2021 |
10 pages IEEE 2 columns (+ 1-2 pages appendix) |
− |
Mon. 26 October 2020 |
Sun. 17 January 2021 |
18-21 May 2021
(online 💻🌐) |
IEEE
(no access unless payment) | A |
Two tracks (Systems, Architecture and Applications / Applied Methodologies and Foundations). Part of the Cyber-Physical Systems Week. Firm deadline in 2016, 2017, 2018, 2020. Double-blind. Rebuttal: 2-5 January 2020 |
| 7 |
ADHS 2021 |
6 pages IFAC (8 pages for submission) |
− |
Wed. 23 December 2020
Fri. 8 January 2021 |
Mon. 15 February 2021 |
7-9 July 2021
(online 💻🌐) |
Science Direct
(free access, but authors lose their rights) | (absent) |
Deadline extension: 14 days (2018), 16 days (2021). Every 3 years. Acceptance rate (2018): 69% (50/72). A Best Paper Award and a Best Repeatability Award (new!) will also be awarded during the conference |
| 9 |
ICLA 2021 |
5 pages EasyChair |
− |
Fri. 15 January 2021 |
Sun. 31 January 2021 |
4-7 March, 2021
(online 💻🌐) |
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). Acceptance rate: 38% (13/34) in 2019 |
| 28 |
ESEC/FSE 2021 |
10 ACM SIG (+ 2 pages references) |
− |
Thu. 25 February 2021 |
Fri. 21 May 2021 |
23-27 August 2021
(Athens, Greece) |
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: 27-30 April 2021. |
| 8 |
ABZ 2021 |
14 pages LNCS (research, case study) / 4 pages (short / work in progress / tool) / 14 pages (answer to case studies) / 4 pages extended abstract (industry) |
Mon. 15 February 2021 |
Mon. 22 February 2021
Mon. 1 March 2021 |
Mon. 29 March 2021 |
7-11 June 2021
(online 💻🌐) |
Springer
(for-profit publishing, no access unless payment) | (absent) |
Deadline extended by 20 days (2014), 7 days (2018, 2021). ABZ 2021 will have a main conference track, a case study track, a doctoral symposium, tutorials and workshops. It is planned to continue the cooperation with the journals SCP and STTT. Every two years. |
| 33 |
ECRTS 2021 |
15 pages LIPIcs (no hard limit) |
− |
Wed. 3 March 2021 |
Thu. 22 April 2021 |
7-9 July 2021
(online 💻🌐) |
LIPIcs
(open access, authors keep their rights) | A |
No deadline extension for any reason. No hard page limit. Double blind. Artifact evaluation process. |
| 6 |
MT-CPS 2021 |
2 pages |
− |
Thu. 18 March 2021 |
Mon. 19 April 2021 |
18 May 2021
(online 💻🌐) |
PDF
(free access, authors keep their rights) | (absent) |
Part of CPS-IoT Week 2021 |
| 25 |
DLT 2021 |
12 pages LNCS |
− |
Sun. 11 April 2021
Fri. 23 April 2021 |
Mon. 24 May 2021 |
16-20 August 2021
(Porto, Portugal (hybrid?)) |
LNCS
(for-profit publishing, no access unless payment) | B |
Selected papers will appear in a special issue of the International Journal of Foundations of Computer Science. Deadline extension (2021): 12 days |
| 36 |
ASE 2021 |
10 pages ACM + references (technical research / experience) / 6 pages (new ideas) |
Fri. 16 April 2021 |
Fri. 23 April 2021 |
Wed. 7 July 2021 |
15-19 September 2021
(Melbourne, Australia) |
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | A |
Double-blind submissions. Acceptance rate: 22% (80/362) in 2018. Deadline extension: 14 days (2020) |
| 8 |
ARCH 2021 |
3–8 pages (Benchmark papers, tool presentations, tool executions, experience reports) |
− |
Fri. 30 April 2021 |
Mon. 31 May 2021 |
Early July 2021
(virtual? (Brussels, Belgium)) |
EasyChair EPiC series
(free access, authors keep their rights) | (absent) |
Co-located with ADHS 2021. The paper with the most promising benchmark results receives a prize of 500€ 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. Acceptance rate: 86% (6/7) in 2020 |
| 23 |
FCT 2021 |
12 pages LNCS + references |
Sun. 9 May 2021
Sun. 16 May 2021 |
Sun. 16 May 2021
Sun. 23 May 2021 |
Mon. 28 June 2021 |
12-15 September 2021
(Athens, Greece) |
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 2021. Best paper award and best student paper award. Deadline extension: 7 days (2021) |
| 13 |
MSR 2021 |
14 pages EasyChair |
Mon. 17 May 2021 |
Mon. 31 May 2021
Mon. 19 July 2021 |
Mon. 6 September 2021 |
8-10 November 2021
(Paris, France) |
HAL
(free access, authors keep their rights) | (absent) |
In French, but English papers accepted. Deadline extension: 8 days (2013), 10 days (2015), 15 days (2017), 17+28 days (2019), 49 days (2021). 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). |
| 41 |
FSTTCS 2021 |
12 pages in LIPIcs (excluding bibliography) + unlimited appendix |
− |
Mon. 19 July 2021 |
Mon. 20 September 2021 |
15-18 December 2021
(online 💻🌐) |
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, 2020, 2021. Rebuttal: August 31st, September 1st 2021. Acceptance rate: < 33% (2014). |
| 24 |
SBMF 2021 |
16 pages (regular) / 4 pages (journal-first) |
Fri. 23 July 2021
Fri. 30 July 2021 |
Fri. 30 July 2021
Fri. 6 August 2021 |
Fri. 10 September 2021 |
6-10 December 2021
(online 💻🌐) |
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), ??? (2019). |
| 23 |
VMCAI 2022 |
20 pages LNCS + references + appendix (regular / case studies) / 12 pages + references (tool) |
− |
Thu. 2 September 2021 |
Thu. 7 October 2021 |
16-18 January 2022
(Philadelphia, Pennsylvania, United States) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
Co-located with POPL. Authors are strongly encouraged to make their tools publicly available and submit an artifact. Deadline extension: 5 days in 2013, 7 days in 2017, 10 days in 2019, 6 days (2020). Acceptance rate: 45% (24/53) in 2015, 36% (24/67) in 2016, 45% (27/60) in 2017, 56% (24/43) in 2018 |
| 44 |
ICSE 2022 |
10 pages ACM |
Fri. 27 August 2021 |
Fri. 3 September 2021 |
Fri. 3 December 2021 |
21-29 May 2022
(Pittsburgh, USA) |
ACM
(no access unless payment) | A* |
Also a doctoral symposium, tutorials, demos, and other events. Acceptance rate (2013): 18.5% (85/461). Author response period: 10-13 November 2021. |
| 25 |
DATE 2022 |
6 pages IEEE |
Sun. 12 September 2021 |
Sun. 19 September 2021 |
Thu. 11 November 2021 |
14-23 March 2022
(Antwerp, Belgium) |
IEEE
(no access unless payment) | B |
Double blind submissions. 4 tracks, 28 topics. Deadline extension: 20 days (2020), strict (2022) |
| 49 |
POPL 2022 |
25 pages new ACM format + references |
Thu. 8 July 2021 |
Wed. 22 September 2021 |
Thu. 1 October 2020 |
16-22 January 2022
(Philadelphia, Pennsylvania, United States) |
PACMPL
(open access, authors keep their rights) | A* |
Rebuttal: 4-8 September 2021. 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 2022 will be designated as Distinguished Papers |
| 11 |
ERTS 2022 |
4 pages (extended abstract / short) / 10 pages (full, if abstract accepted) |
Sun. 5 September 2021
Sun. 3 October 2021 |
Sun. 5 September 2021
Sun. 3 October 2021 |
Thu. 18 November 2021 |
30-31 March 2022
(Toulouse, France) |
? | (absent) |
Notification after abstract submission: September 18th 2019. Deadline extension: 3 weeks (2018), 4 weeks (2022) |
| 15 |
ICST 2022 |
10 pages IEEE (+ 2 pages for references) |
Mon. 20 September 2021
Mon. 27 September 2021 |
Mon. 27 September 2021
Mon. 4 October 2021 |
Mon. 6 December 2021 |
4-13 April 2022
(online 💻🌐) |
IEEE
(no access unless payment) | C |
Double-blind reviewing. Experimental data must be replicable. Also journal-first, doctoral symposium, software testing contest, tool demos, industry track papers … Deadline extension: 7 days (2017), 4 days (2018), 2 days (2019), 7 days (2022) |
| 32 |
NWPT 2021 |
2-3 pages Easychair |
− |
Sun. 10 October 2021 |
Sun. 17 October 2021 |
4-6 November 2021
(Reykjavík, Iceland (hybrid)) |
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). |
| 28 |
TACAS 2022 |
16 pages LNCS + bibliography (regular / regular tool / case study) / 6+6 pages (tool demo) |
− |
Thu. 14 October 2021 |
Thu. 23 December 2021 |
2-7 April 2022
(Munich, Germany) |
Springer ARCoSS LNCS
(open access, authors keep their rights) | A |
Each individual author is limited to a maximum of four submissions as an author or co-author.
Part of ETAPS 2022.
Rebuttal for selected papers: 7 December 00:01 AoE - 9 December 23:59 AoE 2021.
TACAS 2022 will host the next, 11th instance of the Competition on Software Verification, SV-COMP.
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.
Acceptance rate in 2021: 33% (41 research+6 tool/141).
|
| 25 |
FOSSACS 2022 |
18 pages LNCS + bibliography |
− |
Thu. 14 October 2021 |
Thu. 23 December 2021 |
2-7 April 2022
(Munich, Germany) |
Springer ARCoSS LNCS
(open access, authors keep their rights) | A |
Part of ETAPS 2022.
Single-blind, with a rebuttal phase.
Rebuttal phase: 7 December 00:01 AoE - 9 December 23:59 AoE 2021.
Acceptance rate (2017): 32% (32/101).
Authors of best papers will be invited to submit extended versions of their papers to Logical Methods in Computer Science. |
| 25 |
FASE 2022 |
18 pages LNCS + bibliography (research / empirical evaluation) / 6+6 pages (tool) |
− |
Thu. 14 October 2021
Sun. 24 October 2021 |
Thu. 23 December 2021 |
2-7 April 2022
(Munich, Germany) |
Springer ARCoSS LNCS
(open access, authors keep their rights) | B |
Part of ETAPS 2022. Special issues of the Springer journasl Formal Methods in System Design (FMSD) and Int. J. on Software Tools for Technology Transfer (STTT) are planned for FASE 2022. Authors of the best papers that fall within the scope of the journal will be invited to submit significantly extended papers for journal review.Acceptance rate (2021): 31% (16/51) Grace period: 10 days (2022) |
| 25 |
HSCC 2022 |
10 pages ACM + references (long) / 6 pages (short) |
− |
Fri. 29 October 2021 |
Mon. 17 January 2022 |
4-6 May 2022
(Milan, Italy) |
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | (absent) |
Firm deadline. Part of CPS-IoT Week. Double-blind reviewing process. Several best paper awards. Rebuttal phase: 15-17 December 2021. Regular papers and tool/case study papers can both be long or short. |
| 13 |
ICCPS 2022 |
10 pages ACM + 2-page appendix |
Fri. 22 October 2021 |
Fri. 29 October 2021 |
Mon. 17 January 2022 |
4-6 May 2022
(Milan, Italy) |
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | (absent) |
Light-weight double-blind. Firm deadline (2018-2022). Two tracks: theory and application. Part of Cyber Physical Systems (CPS) Week. A distinguished paper award will be presented. A subset of accepted papers will be solicited for a Special issue of a related journal. One paper will be nominated for a Research Highlight in the Communications of the ACM. Firm deadlines in (at least) 2019-2022. |
| 37 |
SAC 2022 |
8+2 pages ACM SAC (?) |
− |
Fri. 15 October 2021
Sun. 24 October 2021
Sun. 31 October 2021 |
Fri. 10 December 2021 |
25-29 April 2022
(Brno, Czech Republic) |
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | B |
39 tracks, student abstracts, Student Research Competition, etc. WARNING: double-blind. 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), 29 days (2020), 9+7 days (2022). |
| 4 |
RSSRail 2022 |
16 pages LNCS (regular) / 10 pages (industrial report / PhD student) |
Thu. 25 November 2021 |
Thu. 2 December 2021 |
Tue. 1 February 2022 |
1-2 June 2022
(Paris, France) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
2021 edition postponed to 2022 (proceedings of 2021 published in a special issue) |
| 14 |
NFM 2022 |
15 pages LNCS (regular) / 6 pages (short/tool/experience report) + references |
Fri. 3 December 2021
Mon. 3 January 2022 |
Fri. 10 December 2021
Mon. 10 January 2022 |
Fri. 4 February 2022
Mon. 28 February 2022
Thu. 10 March 2022
Mon. 14 March 2022 |
24-27 May 2022
(Pasadena, California, USA (hybrid)) |
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, 39% (20 long + 8 short / 54 long + 18 short) in 2019. Deadline extension: 8 days (2015), 2 days (2017), 21 days (2018), 3 days (2019), 11 days (2020), 10 days (2021), 31 days (2022). Notification date postponed by 24+10+4 days in 2022! Authors of selected best papers will be invited to submit an extended version to a special issue in Springer’s Innovations in Systems and Software Engineering: A NASA Journal.
Authors are encouraged, but not strictly required, to submit artifacts that support the conclusions of their work |
| 15 |
PETRA 2022 |
10 pages ACM (incl. references) |
− |
Mon. 17 January 2022 |
?? |
29th June - 1st July 2022
(Corfu, Greece) |
ACM Digital Library
(no access unless payment) | (absent) |
MDPI special issue |
| 34 |
CAV 2022 |
18 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (tool) |
− |
Fri. 21 January 2022 |
Sat. 30 April 2022 |
7-10 August 2022
(Haifa, Israel) |
Springer LNCS
(open access, authors keep their rights) | A* |
Part of FLOC 2022. Double-blind submissions. Open access since 2018. Rebuttal period (March 23-25, 2022). 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. |
| 37 |
LICS 2022 |
12 pages IEEE + references |
Mon. 17 January 2022 |
Fri. 21 January 2022 |
Thu. 14 April 2022 |
2-5 August 2022
(Haifa, Israel) |
ACM SIGPLAN Proceedings
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | A* |
Part of FLOC 2022. Double-blind (since 2020). Co-located with ICALP. Author Feedback/Rebuttal: 10–13 March 2022. 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 |
| 5 |
MARS 2022 |
12 pages EPTCS + references |
− |
Mon. 10 January 2022
Mon. 24 January 2022 |
Mon. 14 February 2022
Sat. 19 February 2022 |
2-3 April 2022
(Munich, Germany) |
EPTCS
(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), 14 days (2022) |
| 10 |
FormaliSE 2022 |
10 pages ACM (full papers / case study papers), 4 pages (research ideas) |
Thu. 13 January 2022 |
Thu. 20 January 2022
Thu. 27 January 2022 |
Fri. 4 March 2022 |
22-23 May 2022
(Pittsburgh, PA, USA) |
IEEE/ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | (absent) |
Light-weight rebuttal scheme in 2022. Held in conjunction with ICSE. Deadline extension: 1 week (2014, 2016, 2017, 2019, 2020, 2022) |
| 43 |
Petri Nets 2022 (ICATPN) |
regular papers (max 20 pages + references in Springer LNCS-format); tool papers (max 10 pages in Springer LNCS-format) |
Thu. 13 January 2022
Thu. 20 January 2022 |
Thu. 20 January 2022
Thu. 27 January 2022 |
Sat. 5 March 2022 |
19-24 June 2022
(Bergen, Norway) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
Includes an ACSD special track.
Deadline extension: 7 days (2013, 2017, 2018), 0 in 2015, 10 days in 2019, 7 days in 2020, 14 days in 2021, 7 days in 2022.
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 Fundamenta Informaticae. |
|
ISSTA 2022 |
10 pages ACM (+ 2 pages references) |
− |
Fri. 28 January 2022 |
Mon. 11 April 2022 |
18-22 July, 2022
(Daejeon, South Korea) |
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | A |
Double blind. Author Response Period (23-25 March 2022). |
| 10 |
VPT 2022 |
15 pages EPTCS (regular) / 3 pages (short) |
Mon. 10 January 2022 |
Mon. 17 January 2022
Mon. 31 January 2022 |
Mon. 14 February 2022 |
2nd April 2022
(Munich, Germany) |
EPTCS
(open access, authors keep their rights) | (absent) |
Satellite of ETAPS 2022. Deadline extension: 10 days (2017), 2 weeks (2022) |
| 9 |
HCVS 2022 |
12 pages EPTCS + biblio (regular) / 4 pages (tools) / 1-3 pages (work in progress) |
− |
Mon. 31 January 2022 |
Mon. 28 February 2022 |
3 April 2022
(online 💻🌐) |
EPTCS
(open access, authors keep their rights) | (absent) |
Affiliated with ETAPS 2021. Deadline extension: 4 days (2016), 1 week (2017) |
| 49 |
ICALP 2022 |
15 pages LIPIcs + ref |
− |
Thu. 10 February 2022 |
Mon. 11 April 2022 |
4-8 July 2022
(Paris, France (hybrid)) |
LIPIcs
(open access, authors keep their rights) | A |
Rebuttal: March 21-23 2022. Best paper and best student paper awards for each track (3) of the conference. Deadlines are firm (6 days in 2020 due to relocation). Acceptance rates for track B: 30% (34/115) in 2015, 30% (36/121) in 2016, 30% (32/108) in 2017. |
| 17 |
iFM 2022 |
16 pages LNCS + references (research / regular / case study) / 6 pages (short) / journal-first (4 pages) |
Fri. 14 January 2022
Fri. 21 January 2022 |
Fri. 21 January 2022
Fri. 28 January 2022
Fri. 11 February 2022 |
Fri. 18 March 2022 |
7-10 June 2022
(Lugano, Switzerland) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
Optional EAPLS Artefact Badging. 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, 7+14 days in 2022. A special issue of the Formal Aspects of Computing journal is planned for extended versions of selected papers from iFM 2022. |
| 25 |
ISORC 2022 |
8 pages IEEE (regular / industrial / practitioner) / 4 pages IEEE (short research) |
− |
Sun. 23 January 2022
Sat. 12 February 2022 |
Mon. 4 April 2022 |
17-19 May 2022
(Västerås, Sweden) |
IEEE
(no access unless payment) | C |
Double blind. Deadline extension: 7+5 days (2018), 10 days (2019). Rebuttal period: 23-25 March 2022. Ten best selected papers based on the review process will be invited to submit extended versions to the special issue of the Journal of Systems Architecture (JSA) on Real-Time Distributed Computing. |
| 41 |
SAFECOMP 2022 |
regular (14 pages LNCS) / practical experience reports and tools (8 pages) / position (4 pages) |
Mon. 7 February 2022 |
Mon. 14 February 2022 |
Tue. 12 April 2022 |
6-9 September 2022
(Munich, Germany) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
The theme for 2022 is New Frontiers of Safety Assurance. Deadline extension 10 days (2016, 2017), 14 days (2018), 10 days (2019), 17 days (2020) |
| 6 |
CSCML 2022 |
15 pages LNCS (+ references) |
Mon. 7 February 2022 |
Mon. 7 February 2022
Fri. 11 February 2022
Tue. 15 February 2022
Fri. 18 February 2022 |
Mon. 14 March 2022 |
30 June-1st July 2022
(Virtual) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Deadline extension: 4+4+3 days (2022) |
| 42 |
FORTE 2022 |
15 pages LNCS (regular / tool) + 2 pages references / 6+2 pages (short / tool demo) / 4 pages (journal-first) |
Fri. 28 January 2022
Fri. 11 February 2022 |
Fri. 4 February 2022
Fri. 18 February 2022 |
Fri. 25 March 2022 |
13-17 June 2022
(Lucca, Italy) |
Springer LNCS IFIP
(for-profit publishing, no access unless payment) | (absent) |
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, 2020, 2021, 2022). 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, 43% (18/42) in 2019, 44% (11/25) in 2020, 43% (12/28) in 2022. |
| 11 |
IJCAR 2022 |
16 pages + references (full) / 7 pages + references (system descriptions) |
Fri. 11 February 2022 |
Fri. 11 February 2022
Fri. 18 February 2022 |
Mon. 25 April 2022
Fri. 29 April 2022 |
7–12 August 2022
(Haifa, Israel) |
Springer LNCS
(for-profit publishing, no access unless payment) | A* |
Part of FLoC 2022. Rebuttal: 20-22 April 2022. Every two years. Deadline extension: 7 days (2022) |
| 16 |
TASE 2022 |
16 pages LNCS (long) / 6 pages (short) |
Mon. 31 January 2022
Mon. 14 February 2022 |
Sun. 13 February 2022
Sun. 27 February 2022 |
Sun. 10 April 2022
Fri. 15 April 2022 |
8-10 July 2022
(Cluj-Napoca, Romania) |
Springer LNCS
(for-profit publishing, no access unless payment) | unranked |
Ranked "national Chinese conference" by CORE (since 2020). Deadline extensions: 14 days (2014); Strict deadline in 2016; 14 days (2017), 14+3 days (2019), 19 days (2020), 14 days (2021, 2022). 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), 29/84 = 35% (2020) |
| 19 |
SERA 2022 |
8 pages IEEE (full) / 4 pages (short) |
− |
Mon. 21 February 2022
Mon. 7 March 2022 |
Mon. 21 March 2022
Mon. 4 April 2022 |
25-27 May 2022
(Las Vegas, USA) |
IEEE CPS
(no access unless payment) | C |
Double blind. Deadline extension (15 days, and 8 days for notification) in 2013, 14 days in 2022. Acceptance rate (2013): 41% (14/34). Deadline extension: 1 week (2015). SERA 2015 cancelled due to security concerns in Tunisia. SERA 2020 postponed due to the coronavirus outbreak. Conference officers will select outstanding papers for publication in some journals. |
| 30 |
RTNS 2022 |
10 pages ACM 2 columns (+ references) |
− |
Thu. 24 February 2022
Wed. 9 March 2022 |
Wed. 20 April 2022 |
7-8 June 2022
(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), 10 days (2021), 13 days (2022). 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. |
| 19 |
ICOST 2022 |
12 pages LNCS (full) / 4 pages (extended abstract) |
− |
Tue. 22 February 2022
Fri. 11 March 2022 |
Wed. 30 March 2022 |
27-30 June 2022
(Paris, France) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Deadline extension: 18+19 days (2017), 15+14 days (2018), 14 days (2019), 11 days (2020), 17 days (2022) |
| 20 |
BPM 2022 |
16 pages LNCS |
Wed. 16 March 2022 |
Wed. 16 March 2022 |
Wed. 18 May 2022 |
13-15 September 2022
(Münster, Germany) |
Springer LNCS
(for-profit publishing, no access unless payment) | A |
Pre-submission shepherding program for first-time submitters. Authors of selected papers will be invited to submit an extended version to special issues in Elsevier’s Information Systems (Tracks I and II) and in Springer’s Business & Information Systems Engineering (Track III). |
| 10 |
Highlights 2022 |
1 or 2 pages |
− |
Fri. 18 March 2022 |
Fri. 1 April 2022 |
28 June-1st July 2022
(Paris, France) |
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 |
| 16 |
TAP 2022 |
16 pages LNCS + references (research) / 8 pages + ref (tool) / 6 pages + ref (short) |
Tue. 8 March 2022
Fri. 18 March 2022 |
Tue. 15 March 2022
Wed. 23 March 2022 |
Fri. 29 April 2022
Mon. 9 May 2022 |
4-8 July 2022
(Nantes, France) |
Springer LNCS
(for-profit publishing, no access unless payment) | C |
Part of STAF 2022. Deadline extension: 17 days (2016), 16 days (2017), 9 days (2018), 14 days (2019), 11 days (2020), 36 days (2021), 8 days (2022). Acceptance rate: 56% (9/16) in 2017, 56% (10/18) in 2018, 53% (10/19) in 2019, 50% (7 long +2 tool + 1 short / 10) in 2020. |
| 28 |
SPIN 2022 |
16 pages + references (technical) / 6 pages (short) + references / 4 pages (tool demo) |
− |
Fri. 25 March 2022 |
Fri. 29 April 2022 |
21-22 May 2022
(Chicago, Illinois, USA) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Deadline extension: 1 week in 2013, none in 2014, 11 days in 2015, 7 days in 2017, 8+34 days in 2018, 51 days in 2021. Best Paper awards will be given and announced at the conference. Traditionally, a selection of papers were invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). |
|
PNSE 2022 |
20 pages LNCS (full) / 5-8 pages (short) / 3 (ongoing, poster) |
Tue. 15 March 2022 |
Tue. 29 March 2022 |
Mon. 25 April 2022 |
21 June 2022
(Bergen, Norway) |
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), 15 days (2020), 14 days (2021). |
| 34 |
ICTSS 2022 |
15 pages LNCS + references (long) / 6 pages + 1 (short) |
Sun. 27 March 2022 |
Sun. 3 April 2022 |
Wed. 1 June 2022 |
27-29 September 2022
(Almería, Spain) |
Springer LNCS
(for-profit publishing, no access unless payment) | C |
|
| 22 |
EMSOFT 2022 |
12 pages in ACM two-column format (including references) |
Thu. 31 March 2022 |
Thu. 7 April 2022 |
Tue. 5 July 2022 |
7-14 October 2022
(Shanghai, China (hybrid)) |
ACM/IEEE
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | A |
Double blind process. No appendix. Part of ESWEEK (with CODES and CASES). Deadline extension: one week (2013, 2014, 2020). Firm deadline (2015, 2016, 2018, 2019, 2021, 2022). 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. |
| 28 |
RTCSA 2022 |
10 pages IEEE 2 columns (full) / 6 pages (short), including bibliography |
Fri. 8 April 2022 |
Fri. 15 April 2022 |
Tue. 31 May 2022 |
23-25 August 2022
(Taipei, Taiwan (hybrid)) |
IEEE Xplore
(no access unless payment) | B |
Co-located with NVMSA 2022. 3 tracks: embedded systems, real-time systems, and IoT, CPS, AND EMERGING APPLICATIONS. Deadline extension: 1 week (2013), 9 days (2014), 18 days (2016), 9 days (2017), strict (2018), 14 days (2020). 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). |
| 26 |
SPLC 2022 |
10 pages ACM + 2 pages references (full) / 5+2 pages (short) |
Fri. 8 April 2022 |
Thu. 21 April 2022 |
Thu. 2 June 2022 |
12-16 September 2022
(Graz, Austria) |
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. Optional artifact evaluation. Negotiating a special issue with a top-tier journal. |
| 21 |
AFADL 2022 |
8 pages (original) / 4 pages (PhD) / 4 pages (tools) / 4 pages (projects) / 4 pages (long abstract) |
Fri. 8 April 2022
Fri. 22 April 2022 |
Fri. 15 April 2022
Fri. 22 April 2022 |
Mon. 16 May 2022 |
8-10 June 2022
(Vannes, France) |
arXiv
(free access, authors keep their rights) | (absent) |
In French. Deadline extension: 2 weeks (2014, 2015, 2016), 10 days (2017), 7+7 days (2019), 2 weeks (2020), 1 week (2021, 2022). |
| 33 |
CONCUR 2022 |
14 pages LIPIcs (+ references + appendix) |
Mon. 18 April 2022 |
Mon. 25 April 2022 |
Sat. 25 June 2022 |
13-16 September 2022
(Warsaw, Poland) |
LIPIcs
(open access, authors keep their rights) | A |
Author response: June 6-8, 2022. Part of CONFEST with FORMATS, FMICS and QEST, and several workshops and tutorials. Acceptance rate (2016): 34% (34/100). Deadline extension: 2 weeks (2020, amid covid19) |
| 19 |
QEST 2022 |
16 pages LNCS + references (Theoretical / Methodological / Application / Tools); 8 pages LNCS (short) |
Mon. 18 April 2022 |
Mon. 25 April 2022 |
Mon. 20 June 2022 |
12-16 September 2022
(Warsaw, Poland) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Part of CONFEST 2022. Accepted tool descriptions will appear in the conference proceedings. Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for theoretical/methodological and application papers where it can support the results presented in the paper. A selection of the best full papers will be invited to submit an extended version of their work to a special issue in the ACM Transactions on Modelling and Computer Simulation (TOMACS). 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, 27 days (2020), 15 days (2021). |
| 47 |
MFCS 2022 |
12 pages LIPIcs (+ bilbiography) |
Fri. 22 April 2022 |
Wed. 27 April 2022 |
Tue. 21 June 2022 |
22-26 August 2022
(Vienne, Austria) |
LIPIcs
(open access, authors keep their rights) | A |
Appendix allowed. Acceptance rate (2014): 35% (95/270). |
| 11 |
RTSOPS 2022 |
2 A4 pages |
− |
Wed. 27 April 2022 |
Tue. 15 August 2023 |
5 July 2022
(Modena, Italy) |
none? |
|
Co-located with ECRTS. Deadline extension: 7 days (2018) |
| 20 |
FORMATS 2022 |
15 pages LNCS + references + appendix (regular) / 7 pages (tools) |
Tue. 19 April 2022
Wed. 4 May 2022 |
Fri. 22 April 2022
Fri. 6 May 2022 |
Fri. 17 June 2022 |
12-17 September 2022
(Warsaw, Poland) |
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, 14+10 days in 2020, 14+13 days in 2021, 14 days in 2022. Part of CONFEST 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). |
| 23 |
ICFEM 2022 |
16 pages LNCS |
Sun. 10 April 2022
Sat. 7 May 2022 |
Sun. 17 April 2022
Sat. 7 May 2022 |
Tue. 26 July 2022 |
24-27 October 2022
(Madrid, Spain) |
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), 16 days (2020), 20 days (2022). 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. |
| 20 |
ATVA 2022 |
16 pages in Springer’s LNCS format (regular) / 6 (tool) |
Sun. 1 May 2022 |
Sun. 8 May 2022 |
Fri. 24 June 2022 |
25-28 October 2022
(Beijing, China (hybrid)) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
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), 24+3/65=42% (2019). 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), 9 days (2020), 7 days (2021). Almost always in Asia. |
| 32 |
LOPSTR 2022 |
15 pages Springer + references + appendix / 8 pages + references (extended abstract) |
Mon. 2 May 2022 |
Mon. 9 May 2022 |
Mon. 20 June 2022 |
21-23 September 2022
(Tbilisi, Georgia) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
co-located with PPDP 2022 as part of CLAS 2022. 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). fA best paper award will be granted, which will include a 1000€ prize provided by Springer. After the symposium, a selection of the best papers will be invited for submission to a special issue of the Fundamenta Informaticae journal . |
| 11 |
SYNT 2022 |
15 pages ACM (full) / 3 pages ACM (abstract) |
− |
Tue. 10 May 2022 |
Tue. 31 May 2022 |
11 August 2022
(Haifa, Israelf) |
informal
(free access, authors keep their rights) | (absent) |
Satellite event of CAV. Deadline extension: 10 days (2014), 2 weeks (2016), 7 days (2019). Extended versions of selected full workshop papers will form the basis of a special issue of Acta Informatica. |
| 18 |
WST 2022 |
5 pages LIPIcs |
− |
Tue. 3 May 2022
Tue. 10 May 2022 |
Wed. 8 June 2022
Wed. 15 June 2022 |
11-12 August 2022
(Haifa, Israel) |
Web page
(free access, authors keep their rights) | (absent) |
Co-located with IJCAR-11 at FLoC 2022. Informal proceedings (earlier / concurrent / later submission allowed). Live complexity and termination competition during the workshop. Every one or two years. Cancelled in 2020. |
| 22 |
FMCAD 2022 |
8 pages IEEE + references (regular) / 4 pages (short) |
Sun. 8 May 2022 |
Sun. 15 May 2022 |
Fri. 1 July 2022 |
19-21 October 2022
(Trento, Italy) |
TU Wien Academic Press / ACM/IEEE
(open access, authors keep their rights) | B |
Deadline extension: 3 days (2015), 7 days (2016, 2018). Co-located with FMCAD 2021: VSTTE 2021. Author Response: June 22-24, 2022. A small number of outstanding FMCAD submissions will be considered for inclusion in a Special Issue of the journal on Formal Methods in System Design (FMSD). |
| 20 |
CMSB 2022 |
15 pages LNCS + references + appendix (regular) / 6 pages (tool) |
Wed. 27 April 2022
Sun. 8 May 2022 |
Wed. 4 May 2022
Sun. 15 May 2022 |
Fri. 10 June 2022 |
14-16 September 2022
(Bucharest, Romania) |
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), 15 days (2020), 11 days (2022). Reproducibility recommended. |
| 22 |
RV 2022 |
regular (16 pages LNCS + references) / short (8 pages) / tool demonstration (8 pages) |
Thu. 5 May 2022
Mon. 16 May 2022 |
Thu. 5 May 2022
Thu. 19 May 2022 |
Wed. 22 June 2022 |
28-30 September 2022
(Tbilisi, Georgia (hybrid)) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
Deadline extension: 12 days (2016), 7 days (2017), 13 days (2018), 21 days (2019, 2020); 11 days (2021), 14 days (2022). The Program Committee of RV 2021 will give a Springer-sponsored Best Paper Award to one eligible regular paper. |
| 33 |
ISSRE 2022 |
10 pages IEEE + 2 references (research / experience reports) / 6-10 pages (tools and artifact) |
Fri. 13 May 2022 |
Fri. 20 May 2022 |
Fri. 29 July 2022 |
24-27 October 2022
(Charlotte, NC, USA (hybrid)) |
IEEE (?)
(no access unless payment) | A |
Double-blind. Rebuttal: 7-9 July 2022. Deadline extension: 9 days (2015), 7 days (2017), 8 days (2020). Moved from Wuhan (China) to Coimbra, Portugal in 2020 due to coronavirus. |
| 15 |
NSV 2022 |
15 pages LNCS + references (regular) / 6 pages (short / tools / benchmark / case studies) |
− |
Tue. 10 May 2022
Tue. 24 May 2022 |
Wed. 15 June 2022 |
11th August 2022
(Haifa, Israel (or online)) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Deadline extension: 9 days (2017), 26 days (2018), 14 days (2022) |
| 27 |
FMICS 2022 |
15 pages LNCS + 2p references |
Thu. 5 May 2022 |
Thu. 12 May 2022
Thu. 26 May 2022 |
Fri. 24 June 2022 |
14-16 September 2022
(Warsaw, Poland (hybrid)) |
Springer LNCS
(for-profit publishing, no access unless payment) | C |
Part of CONFEST with CONCUR, FORMATS and QEST. Deadline extension: one week in 2013, one week in 2015, 14 days in 2018, 7 days in 2019, 14 days (2020, 2022). Acceptance rate: 38% (16 regular + 2 tools /47) in 2006. Special track papers on Formal Methods for Responsible AI |
| 43 |
RTSS 2022 |
11 pages IEEE 2 columns (+ bibliography) |
− |
Thu. 26 May 2022 |
Fri. 5 August 2022 |
5-8 December 2022
(Houston, Texas, USA) |
IEEE
(no access unless payment) | A* |
Double blind. 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-21 July 2022.
A selection of papers will receive recognition as outstanding papers, and will be highlighted as such in the proceedings. Authors of outstanding papers will be invited to submit an extended version of their work to a special issue of a journal. Best paper and best student paper awards will be presented at the conference, along with an award for the best presentation. |
| 19 |
ICTAC 2022 |
16 pages LNCS (original research / applications) + bibliography / 6 pages LNCS (short / tool) |
Sat. 21 May 2022 |
Sat. 28 May 2022 |
Fri. 24 June 2022 |
27-29 September 2022
(Tbilisi, Georgia (hybrid)) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
Deadline extension: 2 weeks (2014, 2015, 2016, 2018), 10 days (2017), 14 days (2019), 21 days (2020), 7 days (2021). Acceptance rate: 38% (23/60) in 2016, 43% (17/40) in 2017, 42% (25/59) in 2018. |
| 20 |
MEMOCODE 2022 |
10 pages IEEE (regular) + bibliography / 4 pages (work in progress) / 8 pages (tool) |
Fri. 27 May 2022 |
Fri. 3 June 2022 |
Fri. 29 July 2022 |
13-14 October 2022
(Shanghai, China (hybrid)) |
IEEE
(no access unless payment) | (absent) |
Part of ESWEEK 2022. 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), 14 days (2020). Selected papers will be invited for publication in a special issue of ACM Transactions on Embedded Computing Systems. 1-2 papers selected for the Best Paper Award. |
| 13 |
GandALF 2022 |
14 pages EPTCS + references + appendix |
Fri. 27 May 2022
Fri. 3 June 2022 |
Fri. 3 June 2022
Fri. 10 June 2022 |
Sun. 24 July 2022 |
21-23 September 2022
(Madrid, Spain) |
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), 20 days (2020), 7 days (2022). Authors of the best papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science. |
| 16 |
VECoS 2022 |
15 pages LNCS |
Sat. 30 April 2022
Tue. 31 May 2022 |
Sat. 30 April 2022
Mon. 13 June 2022 |
Mon. 13 June 2022
Mon. 11 July 2022 |
28-30 September 2022
(Tbilisi, Georgia) |
Springer LNCS
(no access unless payment) | C |
Part of the Computational Logic Autumn Summit (CLAS 2022). Authors of selected papers will be invited to submit extended article versions to a special issue of an index journal (ISSE or IJCCBS). Deadline extension: 1 month (2014), 16+7 days (2015), 16 days (2016), 14 days (2017), 8 days (2018), 11 days (2019), 21+48 days (2020), 30 days (2021), 44 days (2022) |
| 20 |
SEFM 2022 |
15 pages + bibliography (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS |
Mon. 20 June 2022 |
Sun. 26 June 2022 |
Sun. 7 August 2022 |
28-30 September 2022
(Berlin, Germany (or online)) |
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), 27 days (2020). Acceptance rate: 28% (20+5/88) in 2016 |
| 16 |
RP 2022 |
14 pages LNCS (+ ref + appendix)¨ |
− |
Tue. 28 June 2022 |
Mon. 1 August 2022 |
17-19 October 2022
(Kaiserslautern, Germany) |
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), 10 days (2019), 14 days (2020), 7 days (2021). 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. |
| 29 |
TIME 2022 |
12 pages LIPIcs (+ references + 5 pages appendix) |
Sun. 19 June 2022
Sun. 26 June 2022 |
Sun. 26 June 2022
Sun. 3 July 2022 |
Mon. 1 August 2022 |
7-9 November 2022
(online 💻🌐) |
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), 7 days (2022). The authors of the top-ranked papers will be invited to submit an extended version of their contribution to a special issue in Information Systems. |
| 29 |
APSEC 2022 |
10 pages IEEE (research) / 5 pages (early research) / posters (2 pages) |
Wed. 29 June 2022 |
Wed. 6 July 2022 |
Mon. 15 August 2022 |
6-9 December 2022
(online 💻🌐) |
IEEE CPS
(no access unless payment) | B |
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), 14 days (2020, 2021). |
| 10 |
YR-CONCUR 2022 |
2 pages |
− |
Fri. 1 July 2022
Wed. 6 July 2022 |
Tue. 12 July 2022 |
12 September 2022
(Warsaw, Poland) |
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, did not happen in 2020-21. |
|
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. |
| 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). |
| 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). |
| 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). |
| 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 |
| 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) |
| 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
Mon. 10 July 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, 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) |
| 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). |
| 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). |
| 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. |
| 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) |
| 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. |
| 12 |
ICMT 2019 |
15 pages LNCS (research/applications) / 5 pages (short) / 7 pages (tool demo) |
Fri. 8 March 2019 |
Fri. 15 March 2019 |
Fri. 19 April 2019 |
15-19 July 2019
(Eindhoven, The Netherlands) |
The Journal of Object Technology
(free access, but authors lose their rights) | B |
Co-located with Software Technologies: Applications and Foundations (STAF) 2019. 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). Merged into ECMFA from 2020 onwards. |
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.