An Incomplete List of 181 Conferences in Computer Science

Note: this list of conferences and workshops that I find interesting is (as usual) distributed in the hope that it will be useful, but without any warranty. Of course, it is purely subjective, and necessarily partial/incomplete.
(Please notify me in case you find any mistake, or if you want to suggest additions.)

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
13 FormaliSE 2025 10 pages ACM + references (full papers / case study papers), 4 pages (research ideas) Mon. 11 November 2024
Mon. 18 November 2024
Mon. 18 November 2024
Mon. 25 November 2024
Mon. 13 January 2025 27-28 April 2025
(Ottawa, Ontario, Canada)
IEEE/ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Co-located with ICSE 2025. Light-weight double blind scheme. Artifact evaluation. Deadline extension: 1 week (2014, 2016, 2017, 2019, 2020, 2022), 11 days (2023)
17 NFM 2025 15 pages LNCS + references (regular) / 6 pages (short/tool/experience report) Fri. 13 December 2024 Fri. 13 December 2024 Fri. 14 February 2025 11-13 June 2025
(Hampton Roads, VA, 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, 39% (20 long + 8 short / 54 long + 18 short) in 2019, 35% in 2022 for long papers (33/93) and 25% for short papers. Deadline extension: 8 days (2015), 2 days (2017), 21 days (2018), 3 days (2019), 11 days (2020), 10 days (2021), 24+10+4 days (2022), 21 days (2023).
46 Petri Nets 2025 (ICATPN) regular papers: max 20 pages + references in Springer LNCS-format; tool papers: max 10 pages + ref in Springer LNCS-format Wed. 15 January 2025 Wed. 22 January 2025 Mon. 10 March 2025 22-27 June 2025
(Paris, France)
Springer LNCS
(for-profit publishing, no access unless payment)
B 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, 2023, 2024. Acceptance rate: 65% (15/23) for regular papers and 80% (8/10) for tool papers in 2018, 45% (17+2 / 39+3) in 2024. 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.
40 LICS 2025 12 pages IEEE + references Thu. 16 January 2025 Thu. 23 January 2025 Tue.  8 April 2025 23-26 June 2025
(Singapore)
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). Author Feedback/Rebuttal: 18-23 March 2024. Deadlines are firm. 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. Around 10% of accepted papers will be selected as distinguished papers. 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. Acceptance rate: 40% (89/224) in 2017
29 ICECCS 2025 20 pages including references (full) / 11 pages (short) Tue. 28 January 2025 Tue.  4 February 2025 Fri.  4 April 2025 2-4 July 2025
(Hangzhou, China)
Springer LNCS
(for-profit publishing, no access unless payment)
B 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, 32 days in 2023, 21 days in 2024. 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, 42% (19+3/52) in 2023. 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.
19 TASE 2025 16 pages LNCS + bibliography (long) / 6 pages (short) Sat.  1 February 2025 Fri.  7 February 2025 Tue.  1 April 2025 14-16 July 2025
(Limassol, Cyprus)
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, 2023), 9 days (2024). 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), (21+5)/71=37% (2022)
44 SAFECOMP 2025 regular (14 pages LNCS) / practical experience reports and tools (8 pages) / position (4 pages) Fri.  7 February 2025 Fri. 14 February 2025 Sat. 12 April 2025 9-12 September 2025
(Stockholm, Sweden)
Springer LNCS
(for-profit publishing, no access unless payment)
B Key theme in 2025: "Managing safety in an era of a software-defined computing continuum". Deadline extension 10 days (2016, 2017), 14 days (2018), 10 days (2019), 17 days (2020), 7 days (2022, 2024)
PNSE 2025 20 pages LNCS (full) + references / 5-8 pages (short) / 3 (ongoing, poster) Tue. 18 March 2025 Fri. 28 March 2025 Mon. 21 April 2025 23-24 June 2025
(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), 15 days (2020), 14 days (2021), 12 days (2023), 30 days (2024).
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
(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
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)
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)
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)
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.
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
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
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)
11 ETR 2021 4 pages Fri. 25 June 2021
Fri.  2 July 2021
?? 20-24 September 2021
(Poitiers, 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), 7 days (2021).
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
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
(open access, authors keep their rights)
(absent) Satellite of ETAPS 2022. Deadline extension: 10 days (2017), 2 weeks (2022)
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)
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
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)
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.
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). Acceptance rate: 57% in 2020 (4/7), 100% (3/3) in 2021
14 SERENE 2022 11 pages + 1 page references (technical/experience/industry/) / 8 pages (PhD/project/tool/position) Mon. 30 May 2022
Mon. 13 June 2022
Mon.  6 June 2022
Mon. 13 June 2022
Sat. 25 June 2022
Sat.  2 July 2022
12-15 September 2022
(Zaragoza, Spain)
Springer CCIS
(for-profit publishing, no access unless payment)
(absent) Deadline extension: 1 week (2019), 1 week (2022)
8 SNR 2022 15 pages EPTCS + references (long) / 6 pages (short, work-in-progress) Fri. 22 July 2022 Fri. 12 August 2022 12 September 2022
(Warsaw, Poland)
EPTCS
(free access, authors keep their rights)
(absent) co-located with CONFEST. Deadline extension: 14 days (2017), 13 days (2020)
5 DaLí 2023 15 pages LNCS Sun.  1 January 2023 Sun.  1 January 2023 15-16 September 2023
(Tbilisi, Georgia)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Workshop co-located with LATD 2023 and TbiLLC 2023. 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)
1 CCE 2023 12 pages LNCS (full) / 6 pages (short) / 3 pages (posters) Sun. 12 February 2023 Sun. 12 February 2023 Sun. 12 March 2023 24-27 April 2023
(Baku, Azerbaijan)
LNCS
(for-profit publishing, no access unless payment)
(absent) Collaborative submission and reviewing procedure
1 TiCSA 2023 2 pages (+ references) Thu. 16 February 2023
Fri.  3 March 2023
Thu. 16 February 2023
Fri.  3 March 2023
Thu. 23 February 2023
Fri. 10 March 2023
23 April 2023
(Paris, France)
informal
(free access, but authors lose their rights)
(absent) ETAPS satellite. After workshop, submission of 12-page papers. To be published in EPTCS workshop series. Deadline extension (2023): 14 days.
20 ICOST 2023 12 pages LNCS (full) Fri. 24 March 2023
Mon. 10 April 2023
Wed. 10 May 2023 7-8 July 2023
(Wonju, South Korea)
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, 2023). Best papers will be nominated for publication in a special issue of MDPI’s Sensors Journal.
5 RSSRail 2023 16 pages LNCS (regular) / 10 pages (industrial report / PhD student) Fri. 28 April 2023 Fri.  5 May 2023
Fri. 12 May 2023
Fri. 16 June 2023
Tue. 20 June 2023
10-12 October 2023
(Berlin, Germany)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) 2021 edition postponed to 2022 (proceedings of 2021 published in a special issue). Deadline extension: 7 days (2023)
30 EuroMPI 2023 10 pages ACM ICPS (long), 5 pages (short) Sat. 22 April 2023
Mon.  8 May 2023
Sat. 29 April 2023
Mon. 15 May 2023
Mon. 19 June 2023 11-13 September 2023
(Bristol, UK)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
C co-located with the 19th International Workshop on OpenMP. Deadline extension: 1 week (2014), 8 days (2015), 2 weeks (2016), 28 days (2017), 3 weeks (2018), 3+1 weeks (2020), 17 days (2023). 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.
20 QEST 2023 14 pages LNCS + references (Theoretical / Methodological / Application / Tools); 7 pages LNCS (short) Sun. 30 April 2023
Mon.  8 May 2023
Sun.  7 May 2023
Wed. 17 May 2023
Thu. 29 June 2023 20-22 September 2023
(Antwerp, Belgium)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Part of CONFEST 2023. 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), 10 days (2023).
19 WST 2023 5 pages LIPIcs Thu.  1 June 2023 Thu. 15 June 2023 24-25 August 2023
(Obergurgl, Austria)
Web page
(free access, authors keep their rights)
(absent) Co-located with 12th International Workshop on Confluence (IWC 2023). Informal proceedings (earlier / concurrent / later submission allowed). Live complexity and termination competition during the workshop. Every one or two years.
14 MSR 2023 14 pages EasyChair Wed. 24 May 2023
Wed. 14 June 2023
Wed.  7 June 2023
Wed. 28 June 2023
Wed. 27 September 2023 22-24 November 2023
(Toulouse, France)
HAL
(free access, authors keep their rights)
(absent) In French, but English papers accepted. Every 2 years. Deadline extension: 8 days (2013), 10 days (2015), 15 days (2017), 17+28 days (2019), 49 days (2021), 21 days (2023). 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).
11 YR-CONCUR 2023 2 pages Tue.  4 July 2023 Thu. 20 July 2023 23 September 2023
(Antwerp, Belgium)
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.
9 FTSCS 2023 10 pages ACM (research / applications / surveys), 5 pages ACM (position / tools / work in progress) Wed. 12 July 2023
Fri. 21 July 2023
Sun. 27 August 2023 22 October 2023
(Cascais, Portugal)
ACM Digital Library
(no access unless payment)
(absent) An OOPSLA/SPLASH 2023 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 (2018, 2022), 9 days (2023). 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, 67% (8 long + 1 short + 1 WiP / 15), 67% (7 long + 1 short + 1 tool + WiP / 15) in 2022.
12 ERTS 2024 4 pages (extended abstract / short) / 10 pages (full, if abstract accepted) Sun. 15 October 2023 Sun. 15 October 2023 Thu.  8 February 2024 11-12 June 2024
(Toulouse, France)
?(absent) Deadline extension: 3 weeks (2018), 4 weeks (2022)
8 ADHS 2024 6 pages IFAC (8 pages for submission) Fri. 22 December 2023 Wed. 28 February 2024 1-3 July 2024
(Boulder, USA )
Science Direct
open access, authors keep their rights
(open access, authors keep 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
33 IJCAI 2024 7 pages + 2 pages references Wed. 10 January 2024 Wed. 17 January 2024 Tue. 16 April 2024 3-8 August 2024
(Jeju, South Korea)
AAAI Press
(free access, but authors lose their rights)
A* Double-blind submission. Every two years until 2016, then became yearly.
30 SPIN 2024 16 pages + references (long) / 6 pages (short) + references Mon. 15 January 2024 Mon. 15 January 2024
Mon. 22 January 2024
Mon. 26 February 2024 6-11 April 2024
(Luxembourg City, Luxembourg)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Co-located with ETAPS 2024. Single-blind. Optional artifact evaluation. 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. A Best Paper award will be announced and handed out 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).
6 MARS 2024 12 pages EPTCS + references Mon. 15 January 2024
Thu. 25 January 2024
Sat. 24 February 2024
Wed. 28 February 2024
6 April 2024
(Luxembourg City, Luxembourg)
EPTCS
open access, authors keep their rights
(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 days (2024)
36 CAV 2024 18 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (tool/industry) Fri. 19 January 2024
Fri. 26 January 2024
Tue. 26 March 2024 24-27 July 2024
(Montreal, Québec, Canada)
Springer LNCS
open access, authors keep their rights
(open access, authors keep their rights)
A* Firm deadline but one week to edit papers. Double-blind submissions. Open access since 2018. Rebuttal period (29 Feb-3 March 2024). 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), (60+16+3)/290 (27%) in 2021, 68/262 (26%) in 2023. Deadline extension (1 week) in 2013, + 48 extra hours to edit the paper, none in 2016, 1 week to edit paper (2024). 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.
14 WISTP 2024 16 pages Springer LNCS Tue. 30 January 2024 Thu. 15 February 2024 29 February and 1st March 2024
(Paris, France)
Springer LNCS
(for-profit publishing, no access unless payment)
C Deadline extension: none (2018, 2019).
11 HCVS 2024 12 pages EPTCS + biblio (regular) / 4 pages (tools) / 3 pages (extended abstract) Fri.  2 February 2024 Fri.  1 March 2024 7 April 2024
(Luxembourg)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Affiliated with ETAPS 2021. Deadline extension: 4 days (2016), 1 week (2017). Competition: HCVS 2024 is planning to host the 7th competition on constraint Horn clauses (CHC-COMP), which will compare state-of-the-art tools for CHC solving for performance and effectiveness on a set of publicly available benchmarks.
27 ISORC 2024 10 pages IEEE (regular) / 6 pages IEEE (short) Sun.  7 January 2024
Sun. 28 January 2024
Sun.  4 February 2024
Tue.  5 March 2024 22-25 May 2024
(Carthage, Tunis, Tunisia)
IEEE
(no access unless payment)
C Double blind. Deadline extension: 7+5 days (2018), 10 days (2019), 21 days (2023), 21+7 days (2024). 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.
11 IJCAR 2024 15 pages + references (full) / 7 pages + references (system descriptions) Mon. 29 January 2024 Mon.  5 February 2024 Thu. 28 March 2024 1-6 July 2024
(Nancy, France)
Springer LNAI/LNCS
open access, authors keep their rights
(open access, authors keep their rights)
A* Merger conference of CADE, FroCoS and TABLEAUX. Rebuttal period. Every two years. Deadline extension: 7 days (2022)
51 ICALP 2024 15 pages LIPIcs + ref Wed. 14 February 2024 Sun. 14 April 2024 8-12 July 2024
(Tallinn, Estonia)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
A Co-located with LICS and FSCD. Double-blind. Rebuttal: March 26-29 2024. 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.
44 FORTE 2024 15 pages LNCS (regular / tool) + references / 6 (short / tool demo / journal) Fri.  2 February 2024
Fri. 16 February 2024
Fri.  9 February 2024
Fri. 23 February 2024
Fri. 29 March 2024
Fri.  5 April 2024
17-21 June 2024
(Groningen, The Netherlands)
Springer LNCS IFIP
(for-profit publishing, no access unless payment)
C 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, 2023, 2024). 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.
10 ABZ 2024 16 pages LNCS + references (research, case study) / 6 pages (short / work in progress / tool / journal-first) / 8 pages (application in industry) Sat.  3 February 2024
Sat. 10 February 2024
Sat. 10 February 2024
Sat. 24 February 2024
Sat.  6 April 2024 25-28 June 2024
(Bergamo, Italy)
Springer
(for-profit publishing, no access unless payment)
(absent) Firm extended abstract deadline. Deadline extended by 20 days (2014), 7 days (2018, 2021, 2023), 14 days (2024).
9 SynCoP 2024 3 pages + bibliography Sun.  4 February 2024
Sun. 25 February 2024
Mon. 26 February 2024 6-7 April 2024
(Luxembourg)
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).
36 ECRTS 2024 20 pages LIPIcs (+ references) Thu. 29 February 2024 Fri. 19 April 2024 9-12 July 2024
(Lille, France)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
A No deadline extension for any reason. Double blind. Artifact evaluation process.
22 BPM 2024 16 pages LNCS Fri.  1 March 2024 Fri.  8 March 2024 Fri. 17 May 2024 1-6 September 2024
(Krakow, Poland)
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 a special issue of the newly founded Springer journal ‘Process Science’.
47 ICSE 2025 10 pages ACM + 2p references Fri. 15 March 2024 Fri. 22 March 2024 Fri.  5 July 2024 26 April - 4 May 2025
(Ottawa, Ontario, Canada)
ACM
(no access unless payment)
A* ICSE 2025 will follow a dual deadline structure introduced in 2024. Also a doctoral symposium, tutorials, demos, and other events. Acceptance rate (2013): 18.5% (85/461). Author response period: 11-13 June 2024.
22 SERA 2024 6 pages IEEE (full) / 2 pages (poster) Mon. 26 February 2024
Fri. 22 March 2024
Tue. 26 March 2024
Mon.  8 April 2024
30 May - 1st June 2024
(Honolulu, 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.
24 EMSOFT 2024 12 pages in IEEE two-column format Sun. 24 March 2024 Sun. 31 March 2024 Sun. 14 July 2024 29 September - 4 October 2024
(Raleigh, North Carolina, USA)
ACM/IEEE
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
A Double blind process. Part of ESWEEK (with CODES and CASES). Deadline extension: one week (2013, 2014, 2020). Firm deadline (2015, 2016, 2018, 2019, 2021-2024). Acceptance rate: 24% (27/111) in 2018, 23% (21/90).
30 RTCSA 2024 10 pages IEEE 2 columns (full) / 6 pages (short), including bibliography Fri. 29 March 2024 Fri.  5 April 2024 Wed. 22 May 2024 21-23 August 2024
(Sokcho, South Korea)
IEEE Xplore
(no access unless payment)
B Co-located with NVMSA 2024. Deadline extensions: 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).
16 EPEW 2024 15 pages LNCS (including references) Sun.  7 April 2024 Sun.  7 April 2024 Fri. 10 May 2024 14 June 2024
(Venice, Italy)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Deadline extension: 14 + 7 days (2018). Best paper presentation award.
15 GandALF 2024 14 pages EPTCS + references + appendix Sun.  7 April 2024 Wed. 10 April 2024 Fri. 10 May 2024 19-21 June 2024
(Reykjavik, Iceland)
EPTCS
open access, authors keep their rights
(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.
1 QEST+FORMATS 2024 14 pages LNCS + references + appendix (regular) / 7 pages (short) / Work in progress (4 pages) Wed. 10 April 2024 Mon. 15 April 2024 Fri. 31 May 2024 9-13 September 2024
(Calgary, Canada)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Part of CONFEST 2024. 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, 10 days in 2023, none in 2024. 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, 47% (12+2/30) in 2022. Optional artifact evaluation. The top two best papers of the conference will be selected for the QEST Award and the FORMATS Oded Maler Award. A selection of the best papers (excluding work-in-progress papers) will be invited to submit an extended version of their work to special issues in the International Journal on Software Tools for Technology Transfer (STTT) and in the Performance Evaluation (PEVA) journals.
28 SPLC 2024 10 pages ACM + 2 pages references (full) / 5+2 pages (short) Thu. 11 April 2024 Thu. 18 April 2024 Thu. 30 May 2024 2-6 September 2024
(Parc Alvisse Hotel, Luxembourg)
ACM digital library
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Optional artifact evaluation. Also journal-first, demo papers, doctoral symposium….
26 FM 2024 Springer 15 pages + references (regular / long tool / case study) / 6 pages (short / tool demo) Mon. 15 April 2024 Fri. 19 April 2024 Mon. 10 June 2024 9-13 September 2024
(Milan, Italy)
Springer LNCS
(free access, authors keep their rights)
A Single blind in 2024. Also a doctoral symposium. Deadline extended: one week (2012), 48 hours (2014). Acceptance rate: 26% (35/132) in 2012, 32% (35/110) in 2018, 29% ((75+8)/(18+5+3+1+1)) in 2024.
23 AFADL 2024 8 pages (original) / 4 pages (PhD) / 4 pages (tools) / 4 pages (projects) / 4 pages (long abstract) Fri.  5 April 2024 Fri. 19 April 2024 Tue. 21 May 2024 3-6 June 2024
(Strasbourg, 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), 2 weeks (2023)
22 ATVA 2024 18 pages LNCS + references (regular) / 10 (tool) Fri. 19 April 2024 Fri. 19 April 2024
Thu. 25 April 2024
Wed. 19 June 2024
Wed. 26 June 2024
21-24 October 2024
(Kyoto, Japan)
Springer LNCS
(for-profit publishing, no access unless payment)
B Double-blind. Co-located with APLAS 2024. Artifact evaluation (optional for regular papers, mandatory for tool). Rebuttal: 11-14 June 2024. 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), 30+7/115 (32%). 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, 2023), 6 days (2024). Almost always in Asia.
3 HYPER 2024 3 pages LNCS + references Thu. 25 April 2024 Thu. 25 April 2024 Mon. 13 May 2024 23 July 2024
(Montréal, Québec, Canada)
informal
(free access, but authors lose their rights)
(absent) co-located with CAV 2024
35 CONCUR 2024 14 pages LIPIcs (+ references + appendix) Fri. 26 April 2024 Fri. 26 April 2024 Fri. 21 June 2024 9-13 September 2024
(Calgary, Canada)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
A Rebuttal Response: 4-6 June 2024. Part of CONFEST with QEST+FORMATS, FMICS, and several workshops and tutorials. In 2024, CONCUR Test-of-Time and best paper awards will be given for the fourth time. Acceptance rate: 34% (34/100) in 2016, 36% (32/90) in 2022, 38% (37/98) in 2023. Deadline extension: 2 weeks (2020, amid covid19)
49 MFCS 2024 12 pages LIPIcs (+ references) Fri. 26 April 2024 Fri. 26 April 2024 Mon. 24 June 2024 26-30 August 2024
(Bratislava, Slovakia)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
A Appendix allowed. Acceptance rate (2014): 35% (95/270). Selected articles will be invited to a special issue of Information and Computation.
22 CMSB 2024 15 pages LNCS + references + appendix (regular) / 6 pages (tool) Sun. 14 April 2024
Sun. 28 April 2024
Sun. 21 April 2024
Sun.  5 May 2024
Sun.  9 June 2024 16-18 September 2024
(Pisa, Italy)
Springer LNCS/LNBI
(for-profit publishing, no access unless payment)
(absent) A selection of best papers is planned to be invited after the conference to be extended and submitted to a special issue of a major international journal. Acceptance rate: 46% (20/43) in 2015. Deadline extension: 14 days (2017, 2019), 15 days (2020), 11 days (2022), 7 days (2023), 14 days (2024). Artifact evaluation.
29 FMICS 2024 15 pages LNCS + references Thu. 25 April 2024
Sat.  4 May 2024
Wed.  1 May 2024
Wed.  8 May 2024
Mon. 10 June 2024 9-11 September 2024
(Milan, Italy)
Springer LNCS
(for-profit publishing, no access unless payment)
C Authors’ response period: 12-14 July 2023 (postponed). Best paper award (1000€ cash prize). 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), 13 days (2023), 7 days (2024). Acceptance rate: 38% (16 regular + 2 tools /47) in 2006. The Programme Committee of FMICS 2024 will invite a selection of accepted papers to submit extended versions to a special issue of the International Journal on Software Tools for Technology Transfer.
24 FMCAD 2024 8 pages IEEE + references (regular) / 4 pages (short) Sun. 28 April 2024
Sun.  5 May 2024
Sun.  5 May 2024
Sun. 12 May 2024
Mon.  8 July 2024 15-18 October 2024
(Prague, Czech Republic)
TU Wien Academic Press / ACM/IEEE
open access, authors keep their rights
(open access, authors keep their rights)
B Deadline extension: 3 days (2015), 7 days (2016, 2018, 2024). Author Response: 25-27 June 2024.
35 ISSRE 2024 12 pages IEEE including references (research / experience reports) / 6-10 pages (tools and artifact) Fri.  3 May 2024
Wed. 15 May 2024
Fri. 10 May 2024
Wed. 15 May 2024
Fri. 26 July 2024 28-31 October 2024
(Tsukuba, Japan)
IEEE
(no access unless payment)
A Double-blind. Rebuttal: 5-8 July 2024. Deadline extension: 9 days (2015), 7 days (2017), 8 days (2020), 6 days (2023), 5 days (2024).
22 WCET 2024 10 pages OASIcs + references Thu.  9 May 2024
Thu. 16 May 2024
Thu.  6 June 2024 9 July 2024
(Lille, France)
OASIcs
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Co-located with ECRTS. Deadline extension: 1 week (2016), 14 days (2017), 7 days (2018), 7 days (2024).
22 APLAS 2024 17 pages LNCS (research) + references Fri. 17 May 2024 Fri.  2 August 2024 22-22 October 2024
(Kyoto, Japan)
Springer LNCS
(for-profit publishing, no access unless payment)
B Deadline extension: 9 days (2019), 3 days (2023). Lightweight double-blind reviewing process. APLAS 2024 continues the tradition of the best paper award. Rebuttal phase.
34 LOPSTR 2024 15 pages Springer + references + appendix / 8 pages + references (short) Mon.  6 May 2024
Wed. 15 May 2024
Fri. 10 May 2024
Sun. 19 May 2024
Wed. 26 June 2024 9-11 September 2024
(Milan, Italy)
Springer LNCS
(for-profit publishing, no access unless payment)
B Part of FM 2024 and co-located with PPDP 2024, FACS 2024, FMICS 2024, and TAP 2024. Deadline extension: 12 days (2014), 21 days (2015), 13 days (2016), 12 days (2017), 7+7 days (2018), 6 days (2019), 7 days (2020), 23+18 days (2021), 14 days (2023), 9 days (2024). A best paper award will be granted, which will include a 500€ prize provided by Springer. After the symposium, a selection of a few best papers will be invited for submission to rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP).
45 RTSS 2024 11 pages IEEE 2 columns (+ bibliography) Thu. 23 May 2024 Wed. 31 July 2024 10-13 December 2024
(York, United Kingdom)
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: 12-18 July 2024. All accepted papers will appear in the main program and proceedings. A selection of papers will receive recognition as outstanding papers and will be highlighted as such in the proceedings. Best paper and best student paper awards will be presented at the conference, along with an award for the best presentation.
22 MEMOCODE 2024 10 pages IEEE (regular) + bibliography / 4 pages (work in progress) / 8 pages (tool) Mon.  6 May 2024
Mon. 27 May 2024
Mon. 20 May 2024
Mon. 27 May 2024
Mon.  8 July 2024 3-4 October 2024
(Raleigh, North Carolina, USA)
IEEE
(no access unless payment)
(absent) Part of ESWEEK 2024. 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), 1 week (2024). 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.
24 RV 2024 regular (16 pages LNCS + references) / short / tool demonstration / benchmarks (8 pages) Tue. 14 May 2024
Tue. 28 May 2024
Tue. 14 May 2024
Tue. 28 May 2024
Tue. 25 June 2024 15-18 October 2024
(Istanbul, Türkiye)
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), 20 days (2023), 14 days (2024). The Program Committee will give a Springer-sponsored Best Paper Award to an elected regular paper. The Program Committee will invite a selection of accepted papers to submit extended versions to a special journal issue, currently planned to be in the International Journal on Software Tools for Technology Transfer (STTT).
20 FACS 2024 16 pages LNCS format + references (research / applications / survey) / 6 (tool) + ref / 4 pages (journal-first) Wed.  8 May 2024
Thu. 23 May 2024
Wed. 15 May 2024
Thu. 30 May 2024
Wed. 26 June 2024
Wed.  3 July 2024
9-10 September 2024
(Milan, Italy)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Best paper award. Special issue in Science of Computer Programming. Deadline extension: 6 days (2014), 10+4 days (2015), 11 days (2016), 10 days (2018), 14 days (2019, 2021, 2022), 7 days (2023), 15 days (2024). Special track: “Formal Methods of Component Software in the context of emerging computational paradigm” in 2024.
39 ASE 2024 10 pages ACM + references (technical research / experience) Fri. 31 May 2024 Fri.  7 June 2024 Mon. 22 July 2024 27 October - 1st November 2024
(Sacramento, California, United States)
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)
21 EUMAS 2024 original (15 pages LNCS + references) Wed. 15 May 2024
Fri. 31 May 2024
Fri.  7 June 2024
Sun. 30 June 2024
Mon. 15 July 2024
Mon. 29 July 2024
26-28 August 2024
(Dublin, Ireland)
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), 15+14 days (2024)
18 TAP 2024 16 pages LNCS + references (research/tool/case studies) / 6 pages + ref (short) Wed.  8 May 2024
Wed. 12 June 2024
Wed. 15 May 2024
Fri. 14 June 2024
Wed. 26 June 2024
Fri.  5 July 2024
9-10 September 2024
(Milan, Italy)
Springer LNCS
(for-profit publishing, no access unless payment)
C Part of FM 2024. Artifact evaluation. Deadline extension: 17 days (2016), 16 days (2017), 9 days (2018), 14 days (2019), 11 days (2020), 36 days (2021), 8 days (2022), 7 days (2023), 30 days (2024). 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, 60% (6/10) in 2021.
19 iFM 2024 16 pages LNCS + references (research / regular / case study) / 6 pages (short) / journal-first (4 pages) Mon.  3 June 2024
Thu. 13 June 2024
Mon. 10 June 2024
Mon. 17 June 2024
Mon.  5 August 2024 13-15 November 2024
(Manchester, England)
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, 7 days in 2024. A special issue of the Formal Aspects of Computing journal is planned for extended versions of selected papers from iFM 2024.
12 Highlights 2024 1 or 2 pages Mon. 17 June 2024 Fri. 28 June 2024 16-20 September 2024
(Bordeaux, France)
informal(absent) Also an early submission deadline (April 15th 2024). 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. Includes an Extended Stay Support Scheme.
31 TIME 2024 12 pages LIPIcs (+ references + 5 pages appendix) Fri. 21 June 2024 Fri.  2 August 2024 28-30 October 2024
(Montpellier, France)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
C Acceptance rate: 50% (16/32) in 2012, 53% (17/32) in 2014, 74% (17/23) in 2015, 47% (21/45) in 2016, 46% (13/28) in 2021, 41% (12/29) in 2022, 75% (12/16) in 2023. 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.
18 RP 2024 12 pages LNCS (+ ref + appendix) Mon. 27 May 2024
Mon. 24 June 2024
Thu. 30 May 2024
Wed. 26 June 2024
Thu. 11 July 2024
Tue. 30 July 2024
25-27 September 2024
(Vienna, Austria)
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, 2023), 16 days (2022), 28 days (2024). 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%), 57% (8/14) in 2022, 76% (13/17) in 2023. A selection of up to five articles among the contributed papers will be invited to a special issue of a journal. Also presentation-only Contributions
22 SEFM 2024 16 pages + 2p bibliography (regular) / 8 pages (tool) LNCS Fri.  7 June 2024
Fri. 21 June 2024
Fri. 28 June 2024
Fri. 14 June 2024
Fri. 28 June 2024
Thu. 15 August 2024
Thu. 22 August 2024
4-8 November 2024
(Aveiro, Portugal)
Springer LNCS
(for-profit publishing, no access unless payment)
B Artifact evaluation (optional for regular). Deadline extensions: one week (2013), one week (2014), one week (2016), 14 days (2017), 7 days (2018), 10 days (2019), 27 days (2020), 14 days (2024). Acceptance rate: 28% (20+5/88) in 2016, 35% (19+3/62) in 2022, 46% (19+1/41) in 2023, 34% (23/68) in 2024.
8 FROM 2024 16 pages EPTCS / 8 pages (short) Sun. 30 June 2024 Sun. 30 June 2024 Fri. 19 July 2024 16-18 September 2024
(Timișoara, Romania)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) In conjunction with ILDS Coq and Lean Autumn School 2023. Deadline extension: 10 days (2022, 2023), unknown (2024)
14 SIES 2024 8 pages IEEE (long), 4 pages (work in progress) Tue. 11 June 2024
Sun. 30 June 2024
Sun. 28 July 2024 23-25 October 2024
(Chengdu, China)
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), 19 days (2024). No edition from 2018 to 2023. SIES 2024 will have two special issues: one in the Journal of Systems Architecture (JSA) and one in Leibniz Transactions on Embedded Systems (LITES).
21 ICTAC 2024 16 pages LNCS (original research / applications) + 2 pages bibliography / 8 pages LNCS (short / tool) Fri. 14 June 2024
Sun. 23 June 2024
Fri. 21 June 2024
Sun. 30 June 2024
Sun.  1 September 2024 25-29 November 2024
(Bangkok - Thailand)
Springer LNCS
(for-profit publishing, no access unless payment)
C Deadline extension: 2 weeks (2014, 2015, 2016, 2018), 10 days (2017), 14 days (2019), 21 days (2020), 7 days (2021), 16 days (2023), 9 days (2024). Acceptance rate: 38% (23/60) in 2016, 43% (17/40) in 2017, 42% (25/59) in 2018, 48% (23+2 / 44+8) in 2022, 56% (22/39) in 2023. We plan to have a special issue for selected accepted papers from ICTAC 2024.
17 VECoS 2024 15 pages LNCS (including bibliography) Mon. 13 May 2024
Mon. 10 June 2024
Mon. 24 June 2024
Fri.  5 July 2024
Mon.  8 July 2024
Mon. 15 July 2024
Mon. 29 July 2024
Mon. 12 August 2024
16-18 October 2024
(Djerba, Tunisia)
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), 14 days (2023), 28+14 days (2024)
25 ICFEM 2024 18 pages LNCS (regular paper) + 2 pages (references/appendix) / 12 pages (short) including references Mon. 24 June 2024 Mon. 24 June 2024
Sun. 30 June 2024
Mon.  8 July 2024
Mon.  9 September 2024 2-6 December 2024
(Hiroshima, Japan)
Springer LNCS
(for-profit publishing, no access unless payment)
C Deadline extension: 1 week (2013), 2 weeks (2014), 1 week (2015, 2016, 2017), 4 weeks (2019), 16 days (2020), 20 days (2022), 7 days (2023), 6+8 days (2024). 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), 38% (2022, 23/61), 38% (2023, 13/34). Notification date extended by 18+4 days in 2015 (and 4 days in 2016), after the submission deadline and without announcement. Journal-first presentations. Doctoral symposium.
52 POPL 2025 25 pages PACMPL + references Thu. 11 July 2024 Thu. 11 July 2024 ?? 19-25 January 2025
(Denver, Colorado, United States)
PACMPL
open access, authors keep their rights
(open access, authors keep their rights)
A* Double blind submission. Artifact evaluation. Authors are asked (but not required) to pay US$400 for journal open-access publication. At most 10% of the accepted papers of POPL 2024 will be designated as Distinguished Papers
44 FSTTCS 2024 15 pages in LIPIcs (+ bibliography + appendix) Fri.  5 July 2024 Fri. 12 July 2024 Mon. 16 September 2024 16-18 December 2024
(IIT Gandhinagar, India)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Always in India. Double blind. 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), 39% (27+20 / 73+49) in 2021, unknown in 2022 and 2023.
31 APSEC 2024 10 pages IEEE Sat.  6 July 2024 Sat. 13 July 2024 Fri. 13 September 2024 3-6 December 2024
(Chongqing, China)
IEEE CS
(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), 1 week (2023).
33 CSL 2025 15 pages LIPIcs (+ references) Thu. 18 July 2024 Tue. 23 July 2024 Sun. 27 October 2024 10-14 February 2025
(Amsterdam, Netherlands)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
B Deadline extension: 7 days (2021), firm (2022). Helena Rasiowa Award for the best student paper. Acceptance rate: 46% (35/75) in 2022, 45% (34/75) in 2023, 49% (46/82) in 2024
16 VSTTE 2024 16 pages LNCS + references (long) / 10 pages (short) Sat. 27 July 2024 Sat. 27 July 2024 Mon. 19 August 2024 14-15 October 2024
(Prague, Czech Republic)
LNCS
(for-profit publishing, no access unless payment)
(absent) Co-located with FMCAD 2024. Deadline extension: 1 week (2017, 2018, 2021, 2022, 2023). Firm in 2019. Acceptance rate: 79% (19/24) in 2018, 53% (9/17) in 2019, 64% (9/14) in 2020, 41% (7/17) in 2021
16 KSE 2024 6 pages IEEE Sat. 15 June 2024
Tue. 30 July 2024
Fri. 20 September 2024 5-7 November 2024
(Kuala Lumpur, Malaysia)
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), 45 days (2024). Notification extension: 5+4 days in 2015 (with notification on the initial notification date…), 7 days (2016). Acceptance rate (2014): 53% (51/97). High-quality papers presented at the conference will have the opportunity to be invited to submit extended versions to be published in an indexed journal.
29 PRDC 2024 10 pages IEEE (regular) / 6 pages (practical experience reports), excluding references Wed. 24 July 2024 Wed. 31 July 2024 Sat. 31 August 2024 13-15 November 2024
(Osaka, 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, 13 days in 2020, 14 days in 2021 and 2022, 78 days (2023). Acceptance rate: 48% (24+1+5+1/64) in 2014, 38.6% (44/114) in 2015, 57% (30/53) in 2017, 38% (21/54) in 20xx.
32 RTNS 2024 10 pages ACM 2 columns (+ references) Wed. 14 August 2024 Fri. 16 August 2024 Mon.  7 October 2024 7-8 November 2024
(Porto, Portugal)
ACM ICPS
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) 3 rounds of submissions in 2024. Two rounds in 2022 (September 2022 and January 2023). Deadline extension: none (2014, 2015, 2016), 14 days (2018), 10 days (2021), 13 days (2022), none (2023). Acceptance rate: 47% (29/62) in 2013, 51% (32/63) in 2014, 47% (31/66) in 2015, 45% (34/75) in 2016. Authors of outstanding papers will be invited to submit an extended version of their work for a special issue of Springer Real-Time Systems journal. Prizes will be awarded for best paper.
27 SBMF 2024 15 pages + references (regular) / 8 pages + references (short) Fri.  5 July 2024
Sun. 18 August 2024
Fri.  6 September 2024
Mon. 23 September 2024
4-6 December 2024
(Vitória - Espírito Santo, 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, 57% (8/14) in 2022, 56% (7+2 / 12+4) in 2023. Deadline extension: 15+1 days (2016), 12 days (2017), 7 days (2018), ??? (2019), 14 days (2023), 44 days (2024)
1 ReacTS 2024 12 pages LNCS (+ references) / 4 pages (short) Tue. 20 August 2024 Tue. 20 August 2024
Tue. 27 August 2024
Fri. 20 September 2024 5 November 2024
(Aveiro, Portugal)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Satellite event of SEFM 2024. Extended versions of selected contributions will be published in a special issue of the Journal of Applied Logics
10 SETTA 2024 16 pages LNCS + references (regular) Fri. 16 August 2024 Mon. 19 August 2024
Wed. 28 August 2024
Mon. 30 September 2024 26-28 November 2024
(Hong Kong, China)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Always in China. Extended versions of selected papers will be recommended to special issues of Journal of System Architecture (JSA) and of Software Testing, Verification and Reliability (STVR) after the proceeding of the conference. 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), 9 days (2024). Acceptance rate: 33% (20/60 in 2015), 44% (17 long + 3 short /45 in 2016).
29 FSE 2025 18 pages ACM (+ 4 pages references) Thu.  5 September 2024 Thu. 12 September 2024 Tue. 14 January 2025 23-27 June 2025
(Trondheim, Norway)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
A Co-located with ISSTA 2025. Open science policy. Double-blind. Non-binary answer (includes major revision). Also tutorials, doctoral symposium, tool demos and others. Author response period: 22-26 November 2024.
17 VALUETOOLS 2024 12-20 pages + references (full) / 10 pages (WiP/tools/visio) Sun. 15 September 2024 Tue. 15 October 2024 12-13 December 2024
(Milan, Italy)
Springer LNICST series
(for-profit publishing, no access unless payment)
(absent) Regular papers, tool papers, and short papers presented at the conference will be submitted to the ACM Digital Library. 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. Acceptance rate: 37% (2023).
13 SoICT 2024 12 pages + references Fri. 13 September 2024 Wed. 18 September 2024 Tue. 22 October 2024 13-15 December 2024
(Đà Nẵng, Việt Nam)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Deadline extension: 17 days (2016), 18 days (2018)
28 DATE 2025 6 pages IEEE + 1 page references Sun. 15 September 2024 Sun. 22 September 2024 Tue. 19 November 2024 31 March - 2 April 2025
(Lyon, France )
IEEE
(no access unless payment)
B Double blind. 4 tracks. Deadline extension: 20 days (2020), strict (2022)
35 NWPT 2024 2-3 pages Easychair Tue. 24 September 2024 Tue. 24 September 2024 Tue. 15 October 2024 6-8 November 2024
(Copenhagen, Denmark)
PDF(absent) No formal proceedings (PDF on Web page). Work in progress and concurrent submissions allowed. We plan to arrange a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) devoted to the best contributions to the workshop. Deadline extension: 6 days (2014), 2+2 days (2017), 9 days (2018), 21 days (2023).
42 STACS 2025 15 pages LIPIcs (+ ref + 5-page appendix) Thu. 26 September 2024 Mon. 16 December 2024 4-7 March 2025
(Jena, Germany)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
A Lightweight double-blind. Rebuttal period: 15-21 November 2024. Track A focuses on algorithms, data structures and complexity. Track B focuses on automata, logic, semantics, and theory of programming. 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
26 VMCAI 2025 20 pages LNCS + references + appendix (regular / case studies) / 12 pages + references (tool) Mon.  9 September 2024
Tue.  1 October 2024
Fri. 25 October 2024
Fri.  8 November 2024
20-21 January 2025
(Denver, Colorado, United States)
Springer LNCS
(for-profit publishing, no access unless payment)
B Co-located with POPL. Optional artifact. Best paper award. Deadline extension: 5 days in 2013, 7 days in 2017, 10 days in 2019, 6 days (2020), 22 days (2025). Acceptance rate: 45% (24/53) in 2015, 36% (24/67) in 2016, 45% (27/60) in 2017, 56% (24/43) in 2018, 41% (30/74) in 2024
38 CSF 2025 12 pages IEEE (+ references + appendix) Tue.  1 October 2024 Tue.  3 December 2024 June/July 2025
(Santa Cruz, CA, USA)
IEEE
(no access unless payment)
A Double blind. Two submission cycles: spring and fall. Acceptance rate: 34% (32/94) in 2017, 35% (25/72) in 2018.
18 ICST 2025 10 pages IEEE (+ 2 pages for references) Wed. 18 September 2024
Wed. 25 September 2024
Wed. 25 September 2024
Wed.  2 October 2024
Wed. 11 December 2024
Wed. 18 December 2024
31 March - 4 April 2025
(Naples, Italy)
IEEE
(no access unless payment)
A 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, 2025)
28 FoSSaCS 2025 18 pages LNCS + bibliography Thu. 10 October 2024 Fri. 20 December 2024 3-8 May 2025
(Hamilton, Canada)
Springer ARCoSS LNCS
open access, authors keep their rights
(open access, authors keep their rights)
A Part of ETAPS 2025. Single-blind, with a rebuttal phase. Rebuttal phase: 3-5 December 2024. Acceptance rate: 32% (32/101) in 2017, 31% (26/85) in 2023.
31 TACAS 2025 16 pages LNCS + bibliography (regular / regular tool / case study) / 6+6 pages (tool demo) Thu. 10 October 2024 Fri. 20 December 2024 3-8 May 2025
(Hamilton, Canada)
Springer ARCoSS LNCS
open access, authors keep their rights
(open access, authors keep their rights)
A Part of ETAPS 2025. Double-blind. Rebuttal for selected papers: 3-5 December 2024. Artifact evaluation. 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).
28 FASE 2025 18 pages LNCS + bibliography (research / empirical evaluation) / 8 pages (new ideas and emerging results) / 6+6 pages (tool) Thu. 10 October 2024 Fri. 20 December 2024 3-8 May 2025
(Hamilton, Canada)
Springer ARCoSS LNCS
open access, authors keep their rights
(open access, authors keep their rights)
B Part of ETAPS 2025. Optional artifact submission. Acceptance rate (2021): 31% (16/51) Grace period: 10 days (2022). Selected papers from the FASE 2025 proceedings will be invited to submit an extended version to the Elsevier journal Science of Computer Programming (SCP).
40 SAC 2025 8+2 pages ACM Fri. 20 September 2024
Fri.  4 October 2024
Sun. 13 October 2024
Wed. 30 October 2024
Wed. 20 November 2024
31 March-4 April 2025
(Sicily, Italy)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
B Double-blind. 42 tracks, student abstracts, Student Research Competition, etc. 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), 14+9 days (2023), firm but in fact 14+14 days (2024), 14+9 days (2025). Acceptance rate: 23% (180/773) in 2024.
34 Web Conference 2025 8 + references + appendix Mon.  7 October 2024 Mon. 14 October 2024 Mon. 27 January 2025 28 April - 2 May 2025
(Sydney, Australia)
ACM Digital Library + conference Web site
(free access, but authors lose their rights)
A* Formerly WWW. Author and reviewer discussion: December 1-14, 2024. Acceptance rate (2015): 14.1% (131/929). Double-blind.
OOPSLA 2025 23 pages (+ references) Tue. 15 October 2024 Wed. 18 December 2024 12-18 October 2025
(Singapore)
PACMPL
(free access, authors keep their rights)
Part of SPLASH 2025. Gold open access, but payment not required (on a volunteer basis). Double blind. Two rounds of reviewing. Author response: 3-6 December 2024 (round 1)
24 AAMAS 2025 8 pages (+ references) Wed.  9 October 2024 Wed. 16 October 2024 Mon. 23 December 2024 19-23 May 2025
(Detroit, Michigan, USA)
ACM
(free access, but authors lose their rights)
A* Double blind. Rebuttal phase: 5-9 December 2022. All deadlines UTC-12.
11 FSEN 2025 15 pages LNCS including ref (full) / 6 pages (short) Mon.  7 October 2024
Mon. 21 October 2024
Mon. 14 October 2024
Mon. 28 October 2024
Mon.  2 December 2024 7-8 April 2025
(Västerås, Sweden)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Special issue of Science of Computer Programming journal devoted to FSEN’25. Deadline extension: 2 weeks (2015, 2021), 3 weeks (2023), 2 weeks (2025). Every two years.
34 ISSTA 2025 18 pages ACM (+ 4 pages references) Thu. 31 October 2024 Thu. 19 December 2024 25-28 June 2025
(Trondheim, Norway)
PACMSE
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
A Co-located with FSE 2025. Double blind. Major revisions. The conference proceedings will be published in the Proceedings of the ACM on Software Engineering (PACMSE), Issue: ISSTA 2025.
16 ICPE 2025 10 pages ACM + references Fri. 18 October 2024
Fri. 25 October 2024
Fri. 25 October 2024
Fri.  1 November 2024
Fri. 20 December 2024 5-9 May 2025
(Toronto, Canada)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Double blind. Deadline extension: 7 days (2018, 2019, 2020), 14 days (2024), 7 days (2025). Several other tracks such as: industry, journal-first, artifact, data challenge…
46 S&P 2025 13 pages + 5 pages references/appendix Thu. 14 November 2024 Mon. 10 March 2025 12-14 May 2025
(San Francisco, CA, USA)
Computer Society’s Digital Library
(free access, but authors lose their rights)
A* Double blind. WARNING: several submission periods. Acceptance rate (2021): 11% (33 of 290)
31 RTAS 2025 11 pages IEEE 2 columns (+ references) Thu. 14 November 2024 Thu. 23 January 2025 6-9 May 2025
(Irvine, USA)
IEEE
(no access unless payment)
A Part of CPS-IoT Week. Two tracks (Systems and Applications / Applied Methodologies and Foundations). Firm deadline in 2016, 2017, 2018, 2020, 2023. Double-blind. Rebuttal: 8-12 January 2025
16 ICCPS 2025 10 pages ACM (including references) + 2-page appendix Thu.  7 November 2024 Thu. 14 November 2024 Thu. 23 January 2025 6-9 May 2025
(Irvine, California, USA)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Light-weight double-blind. Three special tracks. Acceptance rate: 26% (20/77) in 2021. Some nominated papers will be invited for submission of extensions of their work to a special issue of ACM Transactions on Cyber-Physical Systems. Firm deadlines in (at least) 2019-2022,2024-2025.
28 HSCC 2025 10 pages ACM + references (long) / 6 pages (short) Thu. 14 November 2024 Thu. 23 January 2025 6-9 May 2025
(Irvine, California)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Part of CPS-IoT Week. Double-blind reviewing process. Several best paper awards. Rebuttal phase: 6-10 January 2025. Regular papers and tool/case study papers can both be long or short. Acceptance rate: 45% (22+4 / 58) in 2024.
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
(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
(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
(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
(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
(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
(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
(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).
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).
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 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)
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
(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%
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.
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
(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.
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.
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.
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)
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
10 WATERS 2019 6 pages IEEE Tue. 23 April 2019
Tue. 14 May 2019
Tue. 14 May 2019 9 July 2019
(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). The challenge is proposed by Arne Hamann, Dakshina Dasari, and Falk Wurst, Corporate Research Robert Bosch GmbH and Ignacio Sañudo, Nicola Capodieci, Paolo Burgio and Marko Bertogna, University of Modena and Reggio Emilia.
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
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
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, Türkiye)
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
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.
15 LATA 2021 12 pages Springer (including appendix+ref) Fri. 18 October 2019 Mon. 25 November 2019 20-24 September 2021
(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).

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.