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 |
| 17 |
VSTTE 2025
 |
16 pages LNCS + references (long) / 10 pages (short) |
Mon. 14 July 2025 |
Fri. 18 July 2025 |
Sun. 31 August 2025 |
6-7 October 2025
(Menlo Park, California, USA) |
LNCS
(for-profit publishing, no access unless payment) | (absent) |
πΊ Co-located with FMCAD 2025
β
Acceptance rate: 79% (19/24) in 2018, 53% (9/17) in 2019, 64% (9/14) in 2020, 41% (7/17) in 2021
β³ Deadline extension: 1 week (2017, 2018, 2021, 2022, 2023). Firm in 2019.
|
| 15 |
MSR 2025
|
14 pages EasyChair |
Fri. 16 May 2025
Sat. 31 May 2025 |
Fri. 6 June 2025
Sun. 6 July 2025
Fri. 18 July 2025 |
Wed. 10 September 2025 |
19-21 November 2025
(Reims, France) |
HAL
(free access, authors keep their rights) | (absent) |
In French, but English papers accepted. Poster PhD session.
π Every 2 years.
β
Acceptance rate: 17/38 (2007), 24/44 (2009), 16/39 (2011), 16/32 (2013), ??? (2015), 15/24 (2017)
π Best paper award for young scientists.
β³ Deadline extension: 8 days (2013), 10 days (2015), 15 days (2017), 17+28 days (2019), 49 days (2021), 21 days (2023), 30+12 days (2025)
|
| 48 |
ICSE 2026
|
10 pages ACM + 2p references
π§βπ¦― Double blind |
Fri. 18 July 2025 |
Fri. 18 July 2025 |
Fri. 19 December 2025 |
12-18 April 2025
(Rio de Janeiro, Brazil) |
ACM open
(free access, authors keep their rights) | A* |
ICSE 2026 will follow a dual deadline structure introduced in 2024. Revisions, rebuttal. Also a doctoral symposium, tutorials, demos, and other events.
β
Acceptance rate: 18.5% (85/461) in 2013
|
| 34 |
CSL 2026
|
15 pages LIPIcs (+ references)
π§βπ¦― Double blind |
Tue. 15 July 2025 |
Mon. 21 July 2025 |
Mon. 20 October 2025 |
23-28 February 2026
(Paris, France) |
LIPIcs
(open access, authors keep their rights) | B |
β
Acceptance rate: 46% (35/75) in 2022, 45% (34/75) in 2023, 49% (46/82) in 2024
π Helena Rasiowa Award for the best student paper.
β³ Deadline extension: 7 days (2021), firm (2022)
|
| 39 |
CSF 2026
|
12 pages IEEE (+ references + appendix)
π§βπ¦― Double blind |
β |
Thu. 24 July 2025 |
Thu. 25 September 2025 |
26-29 July 2026
(Lisbon Portugal) |
IEEE
(no access unless payment) | A |
Three submission cycles: summer, fall, winter.
πΊ Colocated with FLoC 2026
β
Acceptance rate: 34% (32/94) in 2017, 35% (25/72) in 2018
π Some small number of papers will be selected by the Program Committee as "Distinguished Papers".
|
| 30 |
PRDC 2025
|
10 pages IEEE (regular) / 6 pages (practical experience reports), excluding references
π§βπ¦― Double blind |
Fri. 11 July 2025 |
Fri. 25 July 2025 |
Fri. 22 August 2025 |
3-5 November 2025
(Seoul, Korea) |
IEEE
(no access unless payment) | C |
Also featuring: fast abstract, industry track, poster (different deadlines).
β
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, unspecified (2023-2024)f.
π One outstanding paper will be selected to receive the Best Paper Award, and one outstanding paper first-authored by a student will receive the Best Student Paper Award.
β³ 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)
π A few excellent papers will be recommended to have their extended versions submitted to an international journal. The name of the Journal will be announced later.
|
| 28 |
SBMF 2025
|
15 pages + references (regular) / 8 pages + references (short) |
Fri. 1 August 2025 |
Fri. 8 August 2025 |
Fri. 26 September 2025 |
3-5 December 2025
(Recife - Pernambuco, 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)
π We plan to follow on last yearsβ tradition of organizing a special issue of the Science of Computer Programming Journal (Elsevier) with selected and extended papers from the 28th Brazilian Symposium on Formal Methods (SBMF 2025)
|
| 19 |
ACOMPA 2025
|
8 pages IEEE (regular, industry) / 4-5 pages (short)
π§βπ¦― Double blind |
β |
Fri. 8 August 2025 |
Mon. 15 September 2025 |
27-29 November 2025
(Hα»-ChΓ-Minh City, Viα»t Nam) |
IEEE CPS
(no access unless payment) | (absent) |
Named ACOMP until 2021.
βοΈ Male-only conference (no woman invited as scientific chair nor keynote speaker)
β
Acceptance rate: 33% (32/96) in 2013
β³ Deadline extension: 1 week in 2013, 20 days in 2014 (and notification extended by 10 days)
|
| 18 |
VALUETOOLS 2025
|
12-15+ pages + references (full) / 6-11 pages (short)
π Single blind |
β |
Fri. 15 August 2025 |
Tue. 30 September 2025 |
11-12 December 2025
(Glasgow, Scotland) |
Springer LNICST series
(for-profit publishing, no access unless payment) | (absent) |
No edition in 2018.
β
Acceptance rate: 37% (2023)
β³ Deadline extension: 4 weeks in 2016, 2 weeks in 2017, 14+9 days in 2019.
π Additional publication opportunities: EAI Transactions series (Open Access) and EAI/Springer Innovations in Communications and Computing Book Series
|
| 11 |
SETTA 2025
|
16 pages LNCS + references
π§βπ¦― Double blind |
Wed. 20 August 2025 |
Wed. 20 August 2025 |
Wed. 8 October 2025 |
1-3 December 2025
(Oxford, England) |
Springer LNCS
(for-profit publishing, no access unless payment) | unranked |
Two rounds of submissions as of 2025.
β
Acceptance rate: 33% (20/60 in 2015), 44% (17 long + 3 short /45 in 2016), 41% (16/39) in 2021, 48% (11+4/29) in 2022, 30% (24/80) in 2023, 45% (21/47) in 2024
β³ 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)
π As in previous iterations of SETTA, extended versions of selected papers will be recommended to special issues of a reputable journal (TBA) after the proceedings of the conference.
|
| 2 |
ReacTS 2025
|
12 pages LNCS (+ references) / 4 pages (short) |
Wed. 13 August 2025 |
Wed. 20 August 2025 |
Mon. 22 September 2025 |
10-11 November 2025
(Toledo, Spain) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
πΊ Satellite event of SEFM 2025
π Similarly to the last edition of ReacTS, we plan to invite authors of selected contributions to submit extended versions to a special issue, e.g. to the Journal of Applied Logics.
|
| 7 |
FMAS 2025
  |
15 pages + references (regular / Experience report) / 6 pages + references (vision / research previews) |
β |
Fri. 22 August 2025 |
Mon. 6 October 2025 |
17-19 November 2025
(Paris, France) |
EPTCS
(open access, authors keep their rights) | (absent) |
Hybrid conference (in presence + remotely).
πΊ Colocated with iFM 2025
π FMAS 2025 will honour the best paper selected with respect to reviews, programme committee discussions, and conference presentations with an award.
π We will organise a journal special issue to collect extensions of papers accepted in FMAS 2025.
|
| 14 |
SoICT 2025
|
12 pages + references |
Fri. 5 September 2025 |
Mon. 15 September 2025 |
Wed. 15 October 2025 |
12-14 December 2025
(Nha Trang, Viα»t Nam) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
β³ Deadline extension: 17 days (2016), 18 days (2018)
π Extended versions of the selected papers in SOICT 2024 will be invited for submission to Special issue of Multimedia Tools and Applications (Q1 Journal) and Informatica.
|
| 41 |
SAC 2026
|
8+2 pages ACM
π§βπ¦― Double blind |
β |
Fri. 26 September 2025 |
Fri. 31 October 2025 |
23-27 March 2026
(Thessaloniki, Greece) |
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | unranked |
42 tracks, student abstracts, Student Research Competition, etc.
β
Acceptance rate: 23% (180/773) in 2024
β³ 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)
|
| 25 |
AAMAS 2026
|
8 pages (+ references)
π§βπ¦― Double blind |
Wed. 1 October 2025 |
Wed. 8 October 2025 |
Mon. 22 December 2025 |
25-29 May 2026
(Paphos, Cyprus) |
ACM
(free access, but authors lose their rights) | A* |
β Rebuttal: 21-25 November 2025
β Supplementary Material recommended.
π Pragnesh Jay Modi Best Student Paper Award.
|
| 1 |
30 Years of UPPAAL
|
According to the AISoLA 2025 guidelines |
Sat. 11 October 2025 |
Sat. 11 October 2025 |
Wed. 3 December 2025 |
1-4 November 2025
(Rhodes, Greece) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Post-proceedings with selected papers (based on submission and presentation) will be published in an LNCS volume
|
| 29 |
FoSSaCS 2026
|
18 pages LNCS + bibliography
π§βπ¦― Double blind |
β |
Thu. 16 October 2025 |
Mon. 22 December 2025 |
11-16 April 2026
(Turin, Italy) |
Springer ARCoSS LNCS
(open access, authors keep their rights) | A |
β Rebuttal: 8-10 December 2025
πΊ Part of ETAPS 2026.
β
Acceptance rate: 32% (32/101) in 2017, 31% (26/85) in 2023.
β Artifact evaluation.
β³ Deadline extension: Strict deadline (2026).
|
| 32 |
TACAS 2026
|
16 pages LNCS + bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)
π§βπ¦― Double blind |
β |
Thu. 16 October 2025 |
Mon. 22 December 2025 |
11-16 April 2026
(Turin, Italy) |
Springer ARCoSS LNCS
(open access, authors keep their rights) | A |
β Rebuttal: 8-10 December 2025 (for selected papers)
πΊ Part of ETAPS 2026.
β
Acceptance rate: In 2003: 25% (35/140) for research papers, 30% (6/20) for tool demos, 27% for all full papers.
In 2004: 26% (37/145) for research papers, 35% (6/17) for tool demos, 27% for all full papers.
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.
In 2015: 27% (45/164), 26% for research papers (27/105).
In 2019: 30% (50/164): 29 research papers, 2 case study papers, 11 regular tool papers, and 8 tool demo papers.
In 2021: 33% (41 research+6 tool/141).
β Artifact evaluation
β³ Deadline extension: Firm deadline (2026)
|
| 29 |
FASE 2026
|
18 pages LNCS + bibliography (research / empirical evaluation) / 8 pages (new ideas and emerging results) / 8+6 pages (tool demo / data showcase)
π§βπ¦― Double blind |
β |
Thu. 16 October 2025 |
Mon. 22 December 2025 |
11-16 April 2026
(Turin, Italy) |
Springer ARCoSS LNCS
(open access, authors keep their rights) | B |
πΊ Part of ETAPS 2026.
β
Acceptance rate: 31% (16/51) in 2021.
β Optional artifact submission.
π₯ FASE 2026 hosts the 8th edition of the Competition on Software Testing (Test-Comp 2026).
β³ Deadline extension: Grace period: 10 days (2022). Firm deadline (2026).
π Selected papers from the FASE 2026 proceedings will be invited to submit an extended version to the open access Elsevier journal Science of Computer Programming (SCP).
|
| 14 |
FormaliSE 2026
|
10 pages ACM + references (full papers / case study papers), 4 pages (research ideas) |
β |
Thu. 23 October 2025 |
Mon. 5 January 2026 |
12-13 April 2026
(Rio de Janeiro, Brazil) |
IEEE/ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | (absent) |
πΊ Co-located with ICSE 2026
β³ Deadline extension: 1 week (2014, 2016, 2017, 2019, 2020, 2022), 11 days (2023), 7 days (2025)
|
| 47 |
S&P 2026
|
13 pages + 5 pages references/appendix
π§βπ¦― Double blind |
Thu. 6 November 2025 |
Thu. 13 November 2025 |
Thu. 19 March 2026 |
18-21 May 2026
(San Francisco, CA, USA) |
Computer Societyβs Digital Library
(free access, but authors lose their rights) | A |
Two sets of submission periods; early rejection. Acceptance rate
β Rebuttal: Rebuttal period (interactive): February 16 - February 27, 2026
β
Acceptance rate: 11% (33 of 290) in 2021
β Optional artifact evaluation
|
| 27 |
FM 2026
|
Springer 15 pages + references (regular / long tool / case study) / 6 pages (short / tool demo)
π Single blind |
Tue. 25 November 2025 |
Tue. 2 December 2025 |
Fri. 30 January 2026 |
20-22 May 2026
(Tokyo, Japan) |
Springer LNCS
(free access, authors keep their rights) | A |
Also a doctoral symposium and industry day.
πΊ Colocated with ABZ 2026 and TAP 2026.
β
Acceptance rate: 26% (35/132) in 2012, 32% (35/110) in 2018, 29% ((75+8)/(18+5+3+1+1)) in 2024.
β Artifact evaluation.
π Best paper award.
β³ Deadline extension: one week (2012), 48 hours (2014)
π Extended versions of selected papers will be invited for publication in a special issue of a journal to be announced soon.
|
| 13 |
ARCH 2026
|
3-8 pages (Benchmark papers, tool presentations, tool executions, experience reports)
π Single blind |
β |
Wed. 1 April 2026 |
Wed. 29 April 2026 |
3 June 2026
(online π»π) |
EasyChair EPiC series
(free access, authors keep their rights) | (absent) |
Reports on results of our friendly competition (separate call). Free of charge in 2017.
β
Acceptance rate: 86% (6/7) in 2020
β Benchmark papers: A zip archive with additional data (description details, model files, sample traces, code, known results, etc.) is to be submitted together with the extended abstract. Benchmarks can be academic or industrial, of small size or extensive case studies.
β³ Deadline extension: 19 days (2017)
|
| 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
|
| 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) | (absent) |
π Every 3 years.
β
Acceptance rate: 69% (50/72) in 2018
π A Best Paper Award and a Best Repeatability Award (new!) will also be awarded during the conference
β³ Deadline extension: 14 days (2018), 16 days (2021)
|
| 17 |
WODES 2024
|
6 pages IEEE |
β |
Sun. 7 January 2024 |
Sun. 11 February 2024 |
29 April - 1st May 2024
(Rio de Janeiro, Brazil) |
ScienceDirect (Elsevier)
(for-profit publishing, no access unless payment) | (absent) |
π Every two years.
π Best student paper award.
β³ Deadline extension: 11 days (2018), 13 days (2020), firm (2024)
|
| 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) | (absent) |
In addition to the workshop proceedings, the formal models presented at the workshop will be archived in the MARS Repository.
π Every two years (?)
πΊ Satellite of ETAPS.
β³ Deadline extension: 9 days (2018), 8 days (2020), 14 days (2022), 10 days (2024)
|
| 14 |
WISTP 2024
|
16 pages Springer LNCS
π Single blind |
β |
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, 2024)
|
| 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) | A |
π Every two years.
β Rebuttal: Rebuttal period.
πΊ Merger conference of CADE, FroCoS and TABLEAUX.
β³ Deadline extension: 7 days (2022)
|
| 25 |
LPAR 2024
 |
regular (15 pages EasyChair + references + appendix); tool / experimental (8)
π Single blind |
Fri. 16 February 2024 |
Fri. 23 February 2024 |
Mon. 1 April 2024 |
26-31 May, 2024
(Mauritius) |
EPiC Series in Computing
(free access, authors keep their rights) | B |
π Every 1 or 2 years
β³ Deadline extension: 6 days (2017), 7 days (2020)
|
| 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) | (absent) |
πΊ Co-located with ECRTS.
β³ Deadline extension: 1 week (2016), 14 days (2017), 7 days (2018), 7 days (2024)
|
| 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) |
π FACS 2024 will recognize the most outstanding submissions with a best paper award.
β³ 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)
π The authors of a selected subset of accepted papers will be invited to submit an extended version of their papers to a special issue of the Science of Computer Programming journal.
|
| 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.
β
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
β Authors are encouraged (but not required) to make the relevant artifacts available to the reviewers (and whenever possible publicly).
β³ 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)
|
| 14 |
SIES 2024
|
8 pages IEEE (long), 4 pages (work in progress)
π§βπ¦― Double blind |
β |
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) |
Student Travel Grants. No edition from 2018 to 2023.
π 3 outstanding papers
β³ Deadline extension: 2 weeks (2013), 1 week (2014), 4 weeks (2015), 3+3 weeks (2016), 16 days (2017), 14 days (2018), 19 days (2024)
π SIES 2024 will have two special issues: one in the Journal of Systems Architecture (JSA) and one in Leibniz Transactions on Embedded Systems (LITES).
|
| 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) |
Hybrid. Notification extension: 5+4 days in 2015 (with notification on the initial notification dateβ¦), 7 days (2016).
β
Acceptance rate: 53% (51/97) in 2014
β³ Deadline extension: 1 week (2014), 13+7 days + 7 days to edit (2015), 30 days (2016), ?? (2017), 31 days (2019), 45 days (2024)
π Selected papers have the potential to be invited to submit extended versions to be published in renowned journals.
|
| 11 |
ICLA 2025
|
12 pages + references
π Single blind |
Sun. 11 August 2024
Sun. 25 August 2024
Thu. 29 August 2024 |
Thu. 15 August 2024
Thu. 29 August 2024 |
Fri. 18 October 2024
Fri. 25 October 2024 |
3-5 February 2025
(Indian Statistical Institute Kolkata, India) |
FoLLI-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.
β Rebuttal: 7-11 October 2024
πΊ Tutorials and workshops. Post-Conference: AWPL 2025
β
Acceptance rate: 38% (13/34) in 2019
β³ Deadline extension: 7 days (2015), 14 days (2024)
|
| 29 |
FSE 2025
|
18 pages ACM (+ 4 pages references)
π§βπ¦― Double blind |
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* |
Open science policy. Non-binary answer (includes major revision). Also tutorials, doctoral symposium, tool demos and others.
β Rebuttal: 22-26 November 2024
πΊ Co-located with ISSTA 2025.
|
| 6 |
ICAASE 2024
|
8 pages IEEE (regular) / 4 pages (short) |
Sat. 24 August 2024 |
Sun. 22 September 2024 |
Fri. 25 October 2024 |
9-10 November 2024
(Constantine, Algeria) |
IEEE CPS
(no access unless payment) | (absent) |
Distinguished papers from ICAASE 2024 will be invited to submit a revised and extended version of their paper to a special issue of a well-indexed journal. Deadline extensions: 15 days (2016). Every two years.
|
| 29 |
DATE 2026
|
6 pages IEEE + 1 page references |
Sun. 15 September 2024 |
Sun. 22 September 2024 |
Tue. 19 November 2024 |
20-22 April 2026
(Verona, Italy) |
IEEE
(no access unless payment) | B |
Double blind. 4 tracks.
β³ Deadline extension: 20 days (2020), strict (2022)
|
| 42 |
STACS 2025
|
15 pages LIPIcs (+ ref + 5-page appendix)
π§βπ¦― Lightweight double blind |
β |
Thu. 26 September 2024 |
Mon. 16 December 2024 |
4-7 March 2025
(Jena, Germany) |
LIPIcs
(open access, authors keep their rights) | A |
Track A focuses on algorithms, data structures and complexity.
Track B focuses on automata, logic, semantics, and theory of programming.
β Rebuttal: 15-21 November 2024
β
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,
28% (72/259) in 2025
|
| 35 |
NWPT 2024
|
2-3 pages Easychair
π Single blind |
β |
Tue. 24 September 2024
Tue. 1 October 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.
β³ Deadline extension: 6 days (2014), 2+2 days (2017), 9 days (2018), 21 days (2023), 7 days (2024)
|
| 26 |
VMCAI 2025
|
20 pages LNCS + references + appendix (regular / case studies) / 12 pages + references (tool)
π Single blind |
β |
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.
β
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
β 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), 22 days (2025)
|
| 18 |
ICST 2025
|
10 pages IEEE (+ 2 pages for references)
π§βπ¦― Double blind |
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 |
Also journal-first, doctoral symposium, software testing contest, tool demos, industry track papersβ¦
β Submissions must supply all information needed to replicate the results and therefore are expected to include or point to an anonymized replication package with the necessary software, data, and instructions.
π₯ Tool competition
β³ Deadline extension: 7 days (2017), 4 days (2018), 2 days (2019), 7 days (2022, 2025)
|
| 17 |
JRWRTC 2024
|
4 pages IEEE + references |
Thu. 3 October 2024 |
Tue. 8 October 2024 |
Fri. 18 October 2024 |
6-8 November 2024
(Porto, Portugal) |
PDF
(free access, authors keep their rights) | (absent) |
Must be co-authored by at least one junior (PhD student or post-doc) researcher.
πΊ In conjunction with RTNS 2024.
π JRWRTC 2024 Best Paper Award.
β³ Deadline extension: 2 days (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)
|
| 34 |
Web Conference 2025
|
8 + references + appendix
π§βπ¦― Double blind |
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.
β Rebuttal: Author and reviewer discussion: December 1-14, 2024
β
Acceptance rate: 14.1% (131/929) in 2015
π₯ Competition Track
|
|
OOPSLA 2025
|
23 pages (+ references)
π§βπ¦― Double blind |
β |
Tue. 15 October 2024 |
Wed. 18 December 2024 |
12-18 October 2025
(Singapore) |
PACMPL
(free access, authors keep their rights) | A |
Gold open access, but payment not required (on a volunteer basis). Two rounds of reviewing.
β Rebuttal: 3-6 December 2024 (round 1)
πΊ Part of SPLASH 2025.
β³ Deadline extension: No extension (2025)
|
| 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) |
π Every two years.
β³ Deadline extension: 2 weeks (2015, 2021), 3 weeks (2023), 2 weeks (2025)
π Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN 2025 (to be confirmed).
|
| 34 |
ISSTA 2025
|
18 pages ACM (+ 4 pages references)
π§βπ¦― Double blind |
β |
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 |
Major revisions. The conference proceedings will be published in the Proceedings of the ACM on Software Engineering (PACMSE), Issue: ISSTA 2025.
πΊ Co-located with FSE 2025.
β Artifact evaluation, replicability studies.
|
| 16 |
ICPE 2025
|
10 pages ACM + references
π§βπ¦― Double blind |
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) | B |
Double blind. Several other tracks such as: industry, journal-first, artifact, data challengeβ¦
β To promote research reproducibility, the authors of the accepted research papers in this track are encouraged to submit an artifact to the conference Artifact Track.
π The conference Award Committee will recognize the best submissions, judged by multiple relevant factors, with an ACM/SPEC Best Paper Award award.
β³ Deadline extension: 7 days (2018, 2019, 2020), 14 days (2024), 7 days (2025)
|
| 16 |
ICCPS 2025
|
10 pages ACM (including references) + 2-page appendix
π§βπ¦― Lightweight double blind |
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) |
Three special tracks.
β
Acceptance rate: 26% (20/77) in 2021
β We also encourage authors of the accepted papers to participate in Artifact Evaluation.
π Best Paper Award, Best Artifact Award, Best Poster/Demo Award
β³ Deadline extension: Firm deadlines in (at least) 2019-2022,2024-2025.
π Some nominated papers will be invited for submission of extensions of their work to a special issue of ACM Transactions on Cyber-Physical Systems.
|
| 31 |
RTAS 2025
|
11 pages IEEE 2 columns (+ references)
π§βπ¦― Double blind |
β |
Thu. 14 November 2024 |
Thu. 23 January 2025 |
6-9 May 2025
(Irvine, USA) |
IEEE
(no access unless payment) | A |
Two tracks (Systems and Applications / Applied Methodologies and Foundations).
β Rebuttal: 8-12 January 2025
πΊ Part of CPS-IoT Week.
β There will be an optional artifact evaluation process for accepted papers that assesses the reproducibility of the work.
π Best paper, best student paper, best reviewer.
β³ Deadline extension: Firm deadline in 2016, 2017, 2018, 2020, 2023, 2025
|
| 28 |
HSCC 2025
|
10 pages ACM + references (long) / 6 pages (short)
π§βπ¦― Double blind |
β |
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) |
Regular papers and tool/case study papers can both be long or short.
β Rebuttal: 6-10 January 2025
πΊ Part of CPS-IoT Week.
β
Acceptance rate: 45% (22+4 / 58) in 2024
β Compulsory for tools and case studies, optional for regular papers.
π Best paper award, Test-Of-Time Award, best RE award
β³ Deadline extension: Firm in 2025
|
| 17 |
NFM 2025
|
15 pages LNCS + references (regular) / 6 pages (short/tool/experience report)
π Single blind |
Fri. 13 December 2024 |
Fri. 13 December 2024
Sun. 22 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
π Best Paper Award, sponsored by Springer
β³ 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), 7 days (2024), 9 days (2025)
π A selection of papers will be invited to submit extended versions to an special issue on Springerβs Innovations in Systems and Software Engineering: A NASA Journal.
|
| 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: 17-20 March 2025.
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, 33% (63/192) in 2023, 31% (72/236) in 2024
|
| 34 |
IJCAI 2025
|
7 pages + 2 pages references
π§βπ¦― Double blind |
Thu. 16 January 2025 |
Thu. 23 January 2025 |
Mon. 28 April 2025 |
16-22 August 2025
(MontrΓ©al, QuΓ©bec, Canada) |
AAAI Press
(free access, but authors lose their rights) | A* |
Early rejection. Satellite event in Guangzhou.
π Every two years until 2016, then became yearly.
β Rebuttal: 6-9 April 2025
π₯ Competitions
π A selection of distinguished papers submitted to IJCAI 2025 will be invited for expedited reviewing and publication in the Artificial Intelligence Journal (AIJ) or the Journal of Artificial Intelligence Research (JAIR).
|
| 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
π Single blind |
Wed. 15 January 2025
Wed. 29 January 2025 |
Wed. 22 January 2025
Wed. 29 January 2025 |
Mon. 10 March 2025 |
23-27 June 2025
(Paris, France) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
β
Acceptance rate: 31% (15+5+4 / 75) in 2008, 65% (15/23) for regular papers and 80% (8/10) for tool papers in 2018, 45% (17+4/38+9) in 2023, 45% (17+2 / 39+3) in 2024, 54% (22/41) in 2025
π₯ Hosts the model checking contest
π Best paper award
β³ 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, 2025
π Some of the best papers will be invited, in an extended form, as submissions to a special issue of Fundamenta Informaticae.
|
| 37 |
CAV 2025
|
18 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (tool/industry) |
β |
Fri. 31 January 2025 |
Thu. 2 April 2054 |
21-25 July 2025
(Zagreb, Croatia) |
Springer LNCS
(open access, authors keep their rights) | A* |
Double-blind submissions. Open access since 2018. Author Response Period: March 11 - 14, 2025. 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.
|
| 28 |
ISORC 2025
|
10 pages IEEE (regular) / 6 pages IEEE (short) |
β |
Wed. 8 January 2025
Sun. 26 January 2025
Sun. 2 February 2025 |
Wed. 5 March 2025 |
26-28 May 2025
(Toulouse, France) |
IEEE
(no access unless payment) | C |
Deadline extension: 7+5 days (2018), 10 days (2019), 21 days (2023), 21+7 days (2024), 18+7 days (2025). Best Paper and Student Paper Awards will be delivered during the conference. Authors of selected papers from ISORC 2025 will be invited to submit an extended version of their work for the Special Issue on AI-Driven Real-Time Distributed Computing for the Edge-Cloud Continuum review and possible publication in the Elsevier Journal of Systems Architecture: Embedded Software Design (JSA).
|
| 52 |
ICALP 2025
|
15 pages LIPIcs + references + appendix |
β |
Sat. 8 February 2025 |
Mon. 14 April 2025 |
8-11 July 2025
(Aarhus, Denmark) |
LIPIcs
(open access, authors keep their rights) | A |
Lightweight double-blind. Rebuttal: 21-24 March 2025. Best paper and best student paper awards for each track (2) of the conference. Deadlines are firm (6 days in 2020 due to relocation). Acceptance rates: 30% (34/115, track B) in 2015, 30% (36/121, track B) in 2016, 30% (32/108, track B) in 2017, 30% (103/346, track A) and 30% (29/97, track B) in 2023, 29% (119/404, track A) and 29% (34/115, track B) in 2024.
|
| 29 |
ICECCS 2025
|
20 pages including references (full) / 11 pages (short) |
Tue. 28 January 2025
Tue. 28 January 2025 |
Tue. 4 February 2025
Tue. 11 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.
|
| 31 |
SPIN 2025
|
16 pages + references (long) / 6 pages (short) + references |
Thu. 13 February 2025 |
Thu. 13 February 2025 |
Mon. 24 March 2025 |
7-8 May 2025
(Hamilton, Canada) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Co-located with ETAPS 2025. Single-blind. Optional artifact evaluation, mandatory for tool papers. 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, 7 days (2024).
|
| 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)
|
| 8 |
ICPS 2025
|
6 pages IEEE including references |
β |
Mon. 17 February 2025 |
Tue. 24 March 2020 |
12-15 May 2025
(Emden, Germany) |
IEEE-Xplore
(no access unless payment) | (absent) |
Two-round submission.
|
| 19 |
TASE 2025
|
16 pages LNCS + bibliography (long) / 6 pages (short) |
Sat. 1 February 2025
Sat. 15 February 2025 |
Fri. 7 February 2025
Fri. 21 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). Often in China.
βοΈ Male-only conference (no woman invited as scientific chair nor keynote speaker)
β
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)
β³ Deadline extension: 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), 14 days (2025)
π 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)
|
| 23 |
SERA 2025
|
8 pages IEEE (full) / 4 pages (short) |
β |
Fri. 21 February 2025 |
Fri. 21 March 2025 |
29-31 May 2025
(Las Vegas, USA) |
IEEE CPS
(no access unless payment) | C |
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), 28 days (2024). Best Paper Award and Best Student Paper Awards. Conference officers will select outstanding papers for publication in three journals.
|
| 45 |
FORTE 2025
|
15 pages LNCS (regular / tool) + references / 6 (short / tool demo / journal) |
Fri. 31 January 2025
Fri. 14 February 2025 |
Fri. 7 February 2025
Fri. 21 February 2025 |
Fri. 28 March 2025
Fri. 4 April 2025 |
16-20 June 2025
(Lille, France) |
Springer LNCS IFIP
(for-profit publishing, no access unless payment, with an embargo until open access) | C |
A DisCoTec Member Conference. Deadline extension: 4 weeks (2015), 2 weeks (2016-2025). 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, 52% (8+5/23) in 2025. The volumes will be open access from the IFIP digital library after a 3-year embargo. After the conference, accepted papers (except for tool papers) selected from FORTE will be invited to a journal special issue of the Logical Methods in Computer Science. Selected tool papers will be invited to a journal special issue of Science of Computer Programmingβs Software Track.
|
| 27 |
COORDINATION 2025
|
18 pages + references (regular) / 25 pages (survey) / 15 pages (tool) |
Fri. 31 January 2025
Fri. 14 February 2025 |
Fri. 7 February 2025
Fri. 21 February 2025 |
Fri. 28 March 2025
Fri. 4 April 2025 |
16-20 June 2025
(Lille, France) |
LNCS-IFIP
(for-profit publishing, no access unless payment, with an embargo until open access) | C |
Member of DisCoTec 2025. The volumes will be open access from the IFIP digital library after a 3-year embargo. Deadline extension: 14 days (2025).
|
| 10 |
FSCD 2025
|
15 pages LIPIcs + references |
Mon. 10 February 2025
Mon. 17 February 2025 |
Mon. 17 February 2025
Sat. 22 February 2025 |
Wed. 30 April 2025 |
15-18 July 2025
(Birmingham, UK) |
LIPIcs
(open access, authors keep their rights) | A |
Rebuttal: 7-11 April 2025. Best paper award by junior researchers. Deadline extension: 5 days (2025)
|
| 37 |
ECRTS 2025
|
20 pages LIPIcs (+ references)
π§βπ¦― Double blind |
β |
Fri. 28 February 2025 |
Mon. 21 April 2025 |
8-11 July 2025
(Bruxelles, Belgium) |
LIPIcs
(open access, authors keep their rights) | B |
Shadow TPC evaluation process.
β To improve the resultsβ reproducibility and encourage reuse, authors of accepted papers with a computational component will be invited to submit their code and/or their data to an optional artifact evaluation process.
β³ Deadline extension: No deadline extension for any reason.
|
| 11 |
ABZ 2025
|
16 pages LNCS + references (research, case study) / 6 pages (short / work in progress / tool / journal-first) / 8 pages (application in industry) |
Mon. 3 February 2025
Sat. 1 March 2025 |
Mon. 10 February 2025
Sun. 2 March 2025 |
Sat. 29 March 2025 |
10-13 June 2025
(DΓΌsseldorf, Germany) |
Springer
(for-profit publishing, no access unless payment) | (absent) |
Deadline extended by 20 days (2014), 7 days (2018, 2021, 2023), 14 days (2024), 20 days (2025).
|
| 23 |
BPM 2025
|
16 pages LNCS |
Tue. 4 March 2025 |
Tue. 11 March 2025 |
Thu. 8 May 2025 |
31st August-5 September 2025
(Seville, Spain) |
Springer LNCS
(for-profit publishing, no access unless payment) | A |
Double-blind. Authors of selected papers will be invited to submit an extended version to a special issue of the newly founded Springer journal Process Science.
|
|
ATAED 2025
|
15 pages CEUR (full) / 8 pages (short) |
Tue. 18 March 2025 |
Fri. 28 March 2025 |
Fri. 11 April 2025 |
24 June 2025
(Paris, France) |
? | (absent) |
Satellite of Petri Nets 2025
|
| 25 |
EMSOFT 2025
|
20 pages in ACM Transactions format (25 pages after 1st round acceptance) |
Sun. 23 March 2025 |
Sun. 30 March 2025 |
Sun. 13 July 2025 |
28 September - 3 October 2025
(Taipei, Taiwan) |
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-2025). Acceptance rate: 24% (27/111) in 2018, 23% (21/90) in 2023, 22% (28/129) in 2024.
|
| 64 |
CDC 2025
|
6 pages IEEE (+ 2 additional for a fee) |
β |
Mon. 31 March 2025 |
Tue. 15 July 2025 |
9-12 December 2025
(Rio de Janeiro, Brazil) |
IEEE
(no access unless payment) | A |
The journal IEEE Control Systems Letters (L-CSS) now allows one to submit and publish a paper in the Journal, but present it at CDC.
β³ Deadline extension: No deadline extension (2014-2020), 1 week (2024).
|
| 31 |
RTCSA 2025
|
10 pages IEEE 2 columns (full) / 6 pages (short), + 2 pages bibliography
π Single blind |
Fri. 28 March 2025
Sat. 5 April 2025 |
Mon. 31 March 2025
Sat. 5 April 2025 |
Wed. 7 May 2025 |
20-22 August 2025
(Singapore) |
IEEE Xplore
(no access unless payment) | B |
πΊ Co-located with NVMSA 2025
β
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)
β³ Deadline extension: 1 week (2013), 9 days (2014), 18 days (2016), 9 days (2017), strict (2018), 14 days (2020), 5 days (2025)
π Selected papers will be invited to submit an extended version to the Springer Real-Time Systems journal.
|
| 36 |
CONCUR 2025
|
15 pages LIPIcs (+ references + appendix) |
Thu. 3 April 2025 |
Wed. 9 April 2025 |
Tue. 27 May 2025 |
26-29 August 2025
(Aarhus, Denmark) |
LIPIcs
(open access, authors keep their rights) | A |
Rebuttal Response: 9-12 May 2025. Part of CONFEST with QEST+FORMATS, FMICS, and several workshops and tutorials. Acceptance rate: 34% (34/100) in 2016, 36% (35/96) in 2021, 36% (32/90) in 2022, 38% (37/98) in 2023, 46% (37/80) in 2024, 43% (36/83) in 2025. Deadline extension: 2 weeks (2020, amid COVID-19), none (2021-2025).
|
| 30 |
FMICS 2025
|
15 pages LNCS + references |
Fri. 28 March 2025
Fri. 4 April 2025 |
Fri. 4 April 2025
Fri. 11 April 2025 |
Fri. 16 May 2025 |
25-30 August 2025
(Aarhus, Denmark) |
Springer LNCS
(for-profit publishing, no access unless payment) | C |
Part of CONFEST with CONCUR and QEST+FORMATS. 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 and 2025). Acceptance rate: 38% (16 regular + 2 tools /47) in 2006, 59% (13/22) in 2022, 58% (14/24) in 2023, 64% (14/22) in 2024. A monetary award sponsored by Springer will be given to the authors of the submission selected by the Program Committee as the best paper of FMICS 2025. The Programme Committee of FMICS 2025 will invite a selection of accepted papers to submit extended versions to a special issue of an international journal.
|
| 24 |
AFADL 2025
|
8 pages (original) / 4 pages (PhD) / 4 pages (tools) / 4 pages (projects) / 4 pages (long abstract) |
Mon. 31 March 2025
Mon. 14 April 2025 |
Mon. 7 April 2025
Mon. 14 April 2025 |
Tue. 20 May 2025 |
17-18 June 2025
(Pau, 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), 1 week (2025)
|
| 29 |
DLT 2025
|
12 pages LNCS + bibliography |
β |
Mon. 31 March 2025
Mon. 14 April 2025 |
Tue. 20 May 2025 |
19-22 August 2025
(Seoul, South Korea) |
LNCS
(for-profit publishing, no access unless payment) | C |
β³ Deadline extension: 12 days (2021), 14 days (2025)
|
| 2 |
QEST+FORMATS 2025
|
16 pages LNCS + references + appendix (regular) / 7 pages (short) / presentation only |
Fri. 11 April 2025
Fri. 4 April 2025 |
Fri. 11 April 2025
Fri. 18 April 2025 |
Sat. 24 May 2025
Sat. 31 May 2025 |
25-30 August 2025
(Aarhus, Denmark) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Part of CONFEST 2025. Deadline extension: none in 2024, 7 days (2025). Acceptance rate: 58% (19/33) in 2024. Optional artifact evaluation. A selection of the best papers will be invited to submit an extended version of their work to special issues in internationally recognized journals.
|
| 50 |
MFCS 2025
|
15 pages LIPIcs (+ references) |
Fri. 18 April 2025 |
Fri. 18 April 2025 |
Fri. 20 June 2025 |
25-29 August 2025
(Warsaw, Poland) |
LIPIcs
(open access, authors keep their rights) | A |
Rebuttal: June 3β6, 2025. Appendix allowed. Single-blind. Acceptance rate: 35% (95/270) in 2014, 35% (78/221) in 2022, 40% (84/209) in 2023, 33% (80/239) in 2024.
|
| 29 |
SPLC 2025
|
10 pages ACM + 2 pages references (full) / 5+2 pages (short) |
Thu. 3 April 2025
Thu. 17 April 2025 |
Thu. 10 April 2025
Thu. 24 April 2025 |
Thu. 29 May 2025 |
1-5 September 2025
(CoruΓ±a, Spain) |
ACM digital library
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | (absent) |
Also journal-first, demo papers, doctoral symposiumβ¦. Deadline extension: 14 days (2025)
|
| 23 |
ATVA 2025
|
18 pages LNCS + references (regular) / 10 (tool)
π§βπ¦― Double blind |
Fri. 11 April 2025
Fri. 25 April 2025 |
Fri. 18 April 2025
Fri. 25 April 2025 |
Wed. 25 June 2025
Fri. 4 July 2025 |
27-30 October 2025
(Bangalore, India) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
Almost always in Asia.
β Rebuttal: 17-20 June 2025
β
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), 19+4/75=31% in 2021, 21+5/81=31% in 2022, 32% (30+7 / 115) in 2023, 33% (24/73) in 2024, 36% (21/59) in 2025
β Artifact evaluation (optional for regular papers, mandatory for tool).
β³ Deadline extension: 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), 7 days (2025)
|
| 21 |
EPEW 2025
|
15 pages LNCS (including references) / 7-10 pages (short, unpublished) |
Fri. 25 April 2025
Tue. 1 April 2025 |
Tue. 1 April 2025
Fri. 25 April 2025 |
Thu. 15 May 2025 |
26 June 2025
(Catania, Italy) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Co-located with ECMS 2025. Deadline extension: 14 + 7 days (2018), 24 days (2025). Post-proceedings. Best paper presentation award.
|
|
PNSE 2025
|
20 pages LNCS (full) + references / 5-8 pages (short) / 3 (ongoing, poster) |
Tue. 18 March 2025
Mon. 21 April 2025 |
Fri. 28 March 2025
Fri. 25 April 2025 |
Mon. 21 April 2025
Mon. 19 May 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), 4 weeks (2025).
|
| 8 |
VORTEX 2025
|
12 pages in jot style (long) / 6 pages (short) |
Fri. 25 April 2025 |
Fri. 2 May 2025 |
Fri. 16 May 2025 |
4 July 2025
(Bergen, Norway) |
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | (absent) |
Authors of selected papers will be invited to contribute with extended versions to be included in a special issue of the Journal of Object Technology - JOT.
|
| 23 |
CMSB 2025
|
15 pages LNCS + references + appendix (regular) / 6 pages (tool) |
Mon. 28 April 2025 |
Mon. 5 May 2025 |
Thu. 12 June 2025 |
10-12 September 2025
(Lyon, France) |
Springer LNCS/LNBI
(for-profit publishing, no access unless payment) | (absent) |
Two prizes will be delivered for the best regular or tool papers: the best paper award and the best student paper award. 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).
|
| 25 |
FMCAD 2025
|
8 pages IEEE + references (regular) / 4 pages (short) |
Sun. 20 April 2025
Mon. 28 April 2025 |
Sun. 27 April 2025
Mon. 5 May 2025 |
Tue. 1 July 2025 |
6-10 October 2025
(Menlo Park, California, US) |
TU Wien Academic Press / ACM/IEEE
(open access, authors keep their rights) | B |
β Rebuttal: 25-27 June 2024
πΊ Co-located with VSTTE 2025
β³ Deadline extension: 3 days (2015), 7 days (2016, 2018, 2024), 8 days (2025)
|
| 25 |
FCT 2025
|
12 pages LNCS + references |
β |
Tue. 6 May 2025 |
Mon. 30 June 2025 |
15-17 September 2025
(WrocΕaw, Poland) |
Springer LNCS ARCoSS
(for-profit publishing, no access unless payment) | B |
Every two days.
β³ Deadline extension: 7 days (2021)
|
| 12 |
Rodin Workshop 2025
|
1-2 pages |
β |
Sat. 10 May 2025 |
?? |
10 June 2025
(DΓΌsseldorf, Germany) |
informal
(free access, but authors lose their rights) | (absent) |
Collocated with ABZ 2025
|
| 4 |
Sensei 2025
|
12 pages LNCS including references (research) / 6+ pages (short) |
Sat. 10 May 2025 |
Sat. 10 May 2025 |
Fri. 30 May 2025 |
9 September 2025
(Stockholm, Sweden) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
|
| 36 |
ISSRE 2025
|
12 pages IEEE including references (research / experience reports) / 6-10 pages (tools and artifact) |
Mon. 28 April 2025
Mon. 5 May 2025 |
Mon. 5 May 2025
Mon. 12 May 2025 |
Fri. 18 July 2025 |
21-24 October 2025
(SΓ£o Paulo, Brazil) |
IEEE
(no access unless payment) | A |
Double-blind. Rebuttal: 30th June-5 July 2025. Early decisions: 30th June. Deadline extension: 9 days (2015), 7 days (2017), 8 days (2020), 6 days (2023), 5 days (2024), 7 days (2025).
|
| 1 |
PeNGE 2025
|
4-8 pages CEUR |
β |
Tue. 29 April 2025
Tue. 13 May 2025 |
Tue. 13 May 2025
Mon. 19 May 2025 |
24 June 2025
(Paris, France) |
ACM
(free access, but authors lose their rights) | (absent) |
Satellite event of Petri Nets 2025. Online workshop proceedings. Very good contributions can be nominated for a volume of the journal sub-line of LNCS entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). Deadline extension: 2 weeks (2025).
|
| 13 |
RTSOPS 2025
|
2 A4 pages + references |
β |
Thu. 8 May 2025
Thu. 15 May 2025 |
Thu. 5 June 2025 |
8 July 2025
(Brussels, Belgium) |
none? |
|
πΊ Co-located with ECRTS.
β³ Deadline extension: 7 days (2018), 7 days (2025)
|
| 29 |
CIAA 2025
|
12 pages LNCS + references + appendix |
β |
Sat. 3 May 2025
Fri. 16 May 2025 |
Fri. 20 June 2025
Mon. 23 June 2025 |
22-25 September 2025
(Palermo, Italy) |
Springer LNCS
(for-profit publishing, no access unless payment) | C |
Deadline extension: 13 days (2025)
|
| 35 |
LOPSTR 2025
|
15 pages Springer + references + appendix / 8 pages + references (short) |
Fri. 9 May 2025 |
Fri. 16 May 2025 |
Fri. 27 June 2025 |
9-10 September 2025
(University of Calabria, Rende, Italy) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
Part of ICLP 2025 and co-located with PPDP 2025. 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). 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). Authors of selected papers will be invited to revise and/or extend their submissions to be considered for publication.
|
| 12 |
HCVS 2025
|
12 pages EPTCS + biblio (regular) / 4 pages (tools) / 3 pages (extended abstract) |
β |
Fri. 16 May 2025
Fri. 16 May 2025 |
Sun. 15 June 2025 |
22 July 2025
(Zagreb, Croatia) |
EPTCS
(open access, authors keep their rights) | (absent) |
Co-located with CAV 2025. Deadline extension: 4 days (2016), 1 week (2017), 2 weeks (2025). HCVS 2025 is planning to host the 8th 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.
|
| 14 |
SYNT 2025
|
3 pages LNCS (extended abstract) |
β |
Sun. 18 May 2025 |
Tue. 3 June 2025 |
22 July 2025
(Zagreb, Croatia) |
informal
(free access, authors keep their rights) | (absent) |
πΊ Satellite event of CAV.
π₯ SYNT 2025 will host the Reactive Synthesis competition (SYNTCOMP 2025) whose results will be presented at this workshop.
β³ Deadline extension: 10 days (2014), 2 weeks (2016), 7 days (2019)
|
| 34 |
TABLEAUX 2025
|
15 pages LNCS + references (research) / 9 pages + references (system descriptions, user experiences, case studies and domain models) |
Fri. 9 May 2025 |
Wed. 14 May 2025
Sun. 18 May 2025 |
Mon. 30 June 2025 |
27 September-3 October 2025
(Reykjavik, Iceland) |
Springer LNAI/LNCS
(open access, authors keep their rights) | A |
Part of FroCoS/ITP/TABLEAUXβ25. Deadline extension: 3 days (2017), 6 days (2018), 4 days (2025).
|
| 46 |
RTSS 2025
|
11 pages IEEE 2 columns (+ bibliography) |
β |
Thu. 22 May 2025 |
Fri. 25 July 2025 |
2-5 December 2025
(Boston, MA, 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). Author response period: 14-17 July 2025. 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.
|
| 23 |
MEMOCODE 2025
|
10 pages IEEE (regular) + bibliography / 4 pages (work in progress) / 8 pages (tool) |
Mon. 28 April 2025
Thu. 8 May 2025
Fri. 23 May 2025 |
Sat. 3 May 2025
Thu. 15 May 2025
Fri. 23 May 2025 |
Tue. 8 July 2025 |
2-3 October 2025
(Taipei, Taiwan) |
IEEE
(no access unless payment) | (absent) |
Part of ESWEEK 2025. Acceptance rate: 43% (14+6/47) in 2014, 57% (21+6/47) in 2015, 27% (16+4+1/80) in 2016, 61% (9+5/ 23). Deadline extension: 1 week (2017, 2018), 14 days (2020), 1 week (2024), 12 days+8 (2025). Selected accepted papers will be invited to extend their accepted papers (at least 30% extension over the accepted version) for a special edition in a journal such as the ACM Transactions on Embedded Computing Systems (ACM TECS).
|
| 32 |
TIME 2025
|
12 pages LIPIcs (+ references + appendix) |
Tue. 20 May 2025 |
Thu. 22 May 2025
Mon. 26 May 2025 |
Wed. 25 June 2025 |
27-29 August 2025
(London, England) |
LIPIcs
(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), 4 days extension but strict abstract submission deadline (2025). Authors of the top-ranked papers will be invited to submit an extended version of their contribution to a special issue in a high ranked journal
|
| 13 |
Highlights 2025
|
1 or 2 pages |
β |
Wed. 28 May 2025 |
Thu. 19 June 2025 |
1-5 September 2025
(SaarbrΓΌcken, Germany) |
informal | (absent) |
Co-located with HCRW. Also an early submission deadline (April 16th 2025). 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.
|
| 33 |
RTNS 2025
|
20 pages LNCS |
Thu. 29 May 2025 |
Thu. 29 May 2025 |
Thu. 24 July 2025 |
5-7 November 2025
(Pisa, Italy) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
3 rounds of submissions in 2024 and 2025 (January, May, and August). 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. Best papers and best student papers awards will be presented at the conference, along with an award for the best presentation.
|
| 4 |
HYPER 2025
|
3 pages LNCS + references |
Fri. 30 May 2025 |
Fri. 30 May 2025 |
?? |
21 July 2025
(Zagreb, Croatia) |
informal
(free access, but authors lose their rights) | (absent) |
Co-located with CAV 2025. Submissions can overlap with previously published work and will be judged based on their relevance to the topic of the workshop.
|
| 40 |
ASE 2025
|
10 pages ACM + references |
Fri. 30 May 2025 |
Fri. 30 May 2025 |
Thu. 14 August 2025 |
16-20 November 2025
(Seoul, South Korea) |
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service) | A |
Double-blind submissions. Also journal-first, tool demo, industry showcase. Acceptance rate: 22% (80/362) in 2018. Deadline extension: 14 days (2020)
|
| 23 |
APLAS 2025
|
17 pages LNCS (research) + references |
β |
Sat. 31 May 2025 |
Fri. 18 July 2025 |
27-30 October 2025
(Bangalore, India) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
Deadline extension: 9 days (2019), 3 days (2023). Light double-blind reviewing process. Best paper award. Rebuttal: 7-9 July 2025.
|
| 16 |
GandALF 2025
|
14 pages EPTCS + references + appendix |
β |
Fri. 30 May 2025
Fri. 6 June 2025 |
Fri. 4 July 2025 |
15-18 September 2025
(Valletta, Malta) |
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, 2025). Acceptance rate: 58% (15/26) in 2023, 50% (10/20) in 2024. Authors of selected papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science.
|
| 32 |
EuroMPI/USA 2025
|
16 pages LNCS + references (full) / 5 pages (short) |
Fri. 16 May 2025
Thu. 5 June 2025 |
Fri. 23 May 2025
Fri. 6 June 2025 |
Fri. 25 July 2025 |
1-3 October 2025
(Charlotte, NC, USA) |
Springer LNCS
(for-profit publishing, no access unless payment) | C |
Warning: notification date extended after submission, and without notice (2014).
πΊ co-located with the 21th International Workshop on OpenMP (IWOMP 2025)
β
Acceptance rate: 48% (18/39) in 2014
β³ Deadline extension: 1 week (2014), 8 days (2015), 2 weeks (2016), 28 days (2017), 3 weeks (2018), 3+1 weeks (2020), 17 days (2023), 14 days (2025)
π Among the papers selected for presentation, a few of the best papers will, as has been the tradition in past years, be selected by the program committee and recommended for publication in a EuroMPI/USA 2025 Special Issue of a Journal.
|
| 25 |
RV 2025
|
regular (16 pages LNCS + references) / short / tool demonstration / benchmarks (8 pages) |
β |
Fri. 30 May 2025
Fri. 6 June 2025 |
Fri. 11 July 2025 |
15-19 September 2025
(Graz, Austria) |
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), 7 days + 4 more days to edit the paper (2025). Acceptance rate: 43% (12 regular + 5 short/tool / 33+7) in 2022, 51% (13 regular + 7 short / 28+11) in 2023, 58% (11 regular + 5 short + 2 tool / 21+8+2) in 2024. Also a call for tutorials. The Program Committee of RV 2025 will give a sponsored Best Paper Award to one eligible regular paper.
|
| 22 |
EUMAS 2025
|
original (15 pages LNCS + references) / demonstrators (5 pages) |
Fri. 16 May 2025
Tue. 10 June 2025 |
Fri. 16 May 2025
Sun. 15 June 2025 |
Mon. 30 June 2025
Tue. 15 July 2025 |
3-5 September 2025
(Bucharest, Romania) |
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), 30 days (2025)
|
| 26 |
ICFEM 2025
|
16 pages LNCS + bibliography (regular paper) |
Sun. 25 May 2025
Wed. 11 June 2025 |
Sun. 1 June 2025
Sun. 15 June 2025 |
Fri. 1 August 2025 |
10-13 November 2025
(Hangzhou, China) |
Springer LNCS
(for-profit publishing, no access unless payment) | C |
Also journal-first presentations. Doctoral symposium.
β
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), 44% (2024, 22/50)
β³ 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), 14 days (2025). Notification date extended by 18+4 days in 2015 (and 4 days in 2016), after the submission deadline and without announcement.
π Invited extended versions of selected papers will be recommended to a special issue of Formal Aspects of Computing after the conference proceedings. The best software linked to a paper will be recommended to a special issue of the Software track of Elsevierβs Science of Computer Programming journal.
|
| 37 |
ICTSS 2025
|
15 pages LNCS + references (long / industry) / 6 pages + 1 (short) |
Mon. 16 June 2025 |
Mon. 16 June 2025 |
Mon. 14 July 2025 |
17-19 September 2022
(Limassol, Cyprus) |
Springer LNCS
(for-profit publishing, no access unless payment) | C |
π Best papers of the conference will be invited to submit an extended version of their article at a special (topical) issue of the Springer Nature of Computer Science
|
| 20 |
iFM 2025
|
16 pages LNCS + references (research / regular / case study) / 6 pages (short) |
Fri. 30 May 2025
Fri. 13 June 2025 |
Fri. 6 June 2025
Fri. 20 June 2025 |
Fri. 8 August 2025 |
19-21 November 2025
(Paris, France) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
β
Acceptance rate: 37% (2012), 25% (2013), 33% (12/7 / 45+13) in 2024.
β Optional EAPLS Artefact Badging.
π Best paper award.
β³ 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, 2 weeks (2025)
π A special issue of the Formal Aspects of Computing journal is planned for extended versions of selected papers from iFM 2025.
|
| 6 |
DaLΓ 2025
|
15 pages LNCS (regular) + bibliography / 6-8 pages (short) + 1p bibliography |
Sun. 1 June 2025
Sun. 15 June 2025 |
Thu. 5 June 2025
Fri. 20 June 2025 |
Tue. 15 July 2025
Fri. 25 July 2025 |
20-21 October 2025
(Xiβan, China) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
β³ Deadline extension: ?? (2019), 15 day (2025)
π A special issue of the event with extended papers will be published in Journal of Logical and Algebraic Methods in Programming (Elsevier).
|
| 9 |
FROM 2025
|
16 pages EPTCS / 8 pages (short) |
Sat. 7 June 2025
Sun. 22 June 2025 |
Sat. 7 June 2025
Sun. 22 June 2025 |
Tue. 15 July 2025
Tue. 22 July 2025 |
17-19 September 2025
(IaΘi, RomΓ’nia) |
EPTCS
(open access, authors keep their rights) | (absent) |
β³ Deadline extension: 10 days (2022, 2023), unknown (2024), 15 days (2025)
π Selected papers will be invited to submit an extended version to the journal Scientific Annals of Computer Science.
|
| 23 |
SEFM 2025
|
16 pages + 2p bibliography (regular) / 8 pages (short/tool) LNCS |
Fri. 6 June 2025
Mon. 16 June 2025 |
Fri. 20 June 2025
Mon. 23 June 2025 |
Mon. 11 August 2025 |
10-14 November 2025
(Toledo, Spain) |
Springer LNCS
(for-profit publishing, no access unless payment) | B |
β
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.
β Artifact evaluation (optional for regular)
β³ Deadline extension: one week (2013), one week (2014), one week (2016), 14 days (2017), 7 days (2018), 10 days (2019), 27 days (2020), 14 days (2024), 3 days (2025)
|
| 20 |
ICSEA 2025
|
6 pages (regular) / 4 pages (short/work in progress) / 2 pages (ideas/poster) |
β |
Tue. 24 June 2025 |
Sun. 27 July 2025 |
28 September 2025 to 2 October 2025
(Lisbon, Portugal) |
ThinkMind
(free access, but authors lose their rights) | C |
More paper categories (poster, extended abstracts, presentations, demos, doctoral forumβ¦).
β³ Deadline extension: yes (2018)
π Authors of selected papers will be invited to submit extended versions to a IARIA Journal.
|
| 20 |
WST 2025
|
5 pages LIPIcs |
β |
Wed. 25 June 2025 |
Wed. 16 July 2025 |
3-4 September 2025
(Leipzig, Germany) |
Web page
(free access, authors keep their rights) | (absent) |
Informal proceedings (earlier / concurrent / later submission allowed). Authors of participating tools and benchmarks are invited to submit a short paper and give a presentation at the workshop.
π Every one or two years.
πΊ Co-located with 14th Intl. Workshop on Confluence (IWC).
π₯ Live complexity and termination competition during the workshop. In 2025, the Termination Competition will run during WST.
|
| 6 |
RSSRail 2025
|
16 pages LNCS (regular) + references / 8 pages (short) |
Fri. 6 June 2025
Fri. 20 June 2025 |
Fri. 13 June 2025
Fri. 27 June 2025 |
Fri. 18 July 2025
Fri. 8 August 2025 |
26-28 November 2025
(Pisa, Italy) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
π Best Student Paper Award.
β³ Deadline extension: 7 days (2023), 14 days (2025)
π As for previous editions, one or more special issues are planned for extended versions of selected papers from RSSRail 2025.
|
| 13 |
ERTS 2026
|
4 pages (extended abstract / short) / 10 pages (full, if abstract accepted) |
Sun. 8 June 2025
Sun. 29 June 2025 |
Sun. 8 June 2025
Sun. 29 June 2025 |
Fri. 26 September 2025 |
5-6 February 2026
(Toulouse, France) |
? | (absent) |
π Biennial European conference.
β³ Deadline extension: 3 weeks (2018), 4 weeks (2022), 3 weeks (2026)
|
| 19 |
RP 2025
|
12 pages LNCS (+ ref + appendix)
π Single blind |
β |
Fri. 27 June 2025
Fri. 4 July 2025 |
Wed. 13 August 2025 |
1-3 October 2025
(Madrid, Spain) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
Also presentation-only contributions.
βοΈ Male-only conference (no woman invited as scientific chair nor keynote speaker)
β
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
β For papers reporting experimental results, authors are encouraged to make their data available with their submission.
β³ Deadline extension: 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), 7 days (2025)
|
| 10 |
SynCoP 2025
|
3 pages + bibliography |
β |
Mon. 30 June 2025
Mon. 7 July 2025 |
Mon. 7 July 2025
Mon. 14 July 2025 |
25 August 2025
(Aarhus, Denmark) |
informal | (absent) |
Informal presentations only (no formal proceedings).
πΊ Satellite workshop of CONFEST 2025.
β³ Deadline extension: 7 days (2025)
|
| 18 |
VECoS 2025
|
15 pages LNCS (including bibliography)
π Single blind |
β |
Mon. 23 June 2025
Mon. 30 June 2025
Mon. 7 July 2025 |
Mon. 1 September 2025 |
4-6 November 2025
(Saclay, France) |
Springer LNCS
(no access unless payment) | C |
βοΈ Male-only conference (no woman invited as scientific chair nor keynote speaker)
β
Acceptance rate: 33% (19+1/60) in 2020, 42% (5+1/12) in 2021, 33% (12/36) in 2023.
β³ 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), 7 days+7 (2025)
π Authors of selected papers will be invited to submit extended versions for a special issue of selected papers from the Conference will be considered for publication in extended and revised form in a special issue of an indexed international journal (ISSE:Innovations in Systems and Software Engineering, IJCCBS: International Journal of Critical Computer-Based Systems or Arima journal).
|
| 22 |
ICTAC 2025
|
16 pages LNCS (original research / applications) + 2 pages bibliography / 8 pages LNCS (short / tool) |
Sat. 14 June 2025
Thu. 3 July 2025 |
Sat. 21 June 2025
Wed. 9 July 2025 |
Sat. 30 August 2025 |
24-28 November 2025
(Marrakech, Morocco) |
Springer LNCS
(for-profit publishing, no access unless payment) | C |
β
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.
β³ 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), 18 days (2025).
π A special issue of selected papers in Elsevierβs journal Theoretical Computer Science is under negotiation.
|
| 53 |
POPL 2026
|
25 pages PACMPL + references
π§βπ¦― Double blind |
Thu. 10 July 2025 |
Thu. 10 July 2025 |
Thu. 2 October 2025 |
11-17 January 2026
(Rennes, Bretagne, France) |
PACMPL
(open access, authors keep their rights) | A* |
While PACMPL may ask authors who have funding for open-access fees to voluntarily cover the article processing charge, payment is not required for publication.
β Authors of conditionally accepted papers will be invited to formally submit supporting materials to the Artifact Evaluation process.
π At most 10% of the accepted papers of POPL 2026 will be designated as Distinguished Papers.
|
| 45 |
FSTTCS 2025
|
15 pages in LIPIcs (+ bibliography + appendix)
π§βπ¦― Double blind |
Fri. 4 July 2025 |
Fri. 11 July 2025 |
Mon. 15 September 2025 |
17-19 December 2025
(Goa Campus, India) |
LIPIcs
(open access, authors keep their rights) | (absent) |
Always in India.
β Rebuttal: 26-28 August 2025
β
Acceptance rate: < 33% (2014), 39% (27+20 / 73+49) in 2021, unknown in 2022-2024.
β³ Deadline extension: 2 more days to edit the paper past the deadline in 2012 and 2016. 7 days (2017); firm in 2019-2025.
|
| 32 |
APSEC 2025
|
12 pages IEEE (including references)
π§βπ¦― Double blind |
Sun. 6 July 2025 |
Sun. 13 July 2025 |
Sat. 13 September 2025 |
2-5 December 2025
(Macao, China) |
IEEE CS
(no access unless payment) | C |
β
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)
|
|
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).
Seemingly discontinued
|
| 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
Seemingly discontinued
|
| 2 |
FSFMA 2014
|
12 pages EPTCS (regular) / 6 pages (PhD)
π Single blind |
Sun. 23 March 2014 |
Sun. 23 March 2014 |
Fri. 18 April 2014 |
12-13 May 2014
(Singapore) |
EPTCS
(open access, authors keep their rights) |
|
No restriction on author citizenship or affiliation. Proceedings referenced by DBLP. PhD session.
πΊ Colocated with FM 2014.
β
Acceptance rate: 47% (2013)
β³ Deadline extension: 2 weeks (2013), 2 weeks (2014)
Discontinued in 2014
|
| 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.
Seemingly discontinued
|
|
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.
Seemingly discontinued
|
| 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)
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
| 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?
Seemingly discontinued
|
| 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)
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
|
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.
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
| 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)
Seemingly discontinued
|
| 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).
Seemingly discontinued
|
| 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).
Seemingly discontinued
|
| 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).
Seemingly discontinued
|
| 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
Seemingly discontinued
|
| 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)
Seemingly discontinued
|
| 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
Seemingly discontinued
|
| 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).
Seemingly discontinued
|
| 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)
Seemingly discontinued
|
| 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).
Seemingly discontinued
|
| 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).
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
| 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)
Seemingly discontinued
|
| 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%
Discontinued in 2019
|
| 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.
Seemingly discontinued
|
| 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.
Discontinued in 2019
|
| 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
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
| 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)
Seemingly discontinued
|
| 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
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
| 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
Seemingly discontinued
|
| 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).
Seemingly discontinued
|
| 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
Seemingly discontinued
|
| 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
Seemingly discontinued
|
| 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
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
| 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).
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
| 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)
Seemingly discontinued
|
| 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)
Seemingly discontinued
|
| 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
Seemingly discontinued
|
| 9 |
CIEL 2021
|
? pages Easychair (long) / 5 pages (short) |
Sat. 1 May 2021 |
Sat. 8 May 2021 |
Sat. 29 May 2021 |
14-18 June 2021
(online π»π) |
? | (absent) |
In French or English. Co-located with GDR-GPL. Deadline extension: 2 weeks (2015, 2016)
Discontinued in 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).
Seemingly discontinued
|
| 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)
Seemingly discontinued
|
| 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) |
β
Acceptance rate: 57% in 2020 (4/7), 100% (3/3) in 2021
β³ Deadline extension: 9 days (2017), 26 days (2018), 14 days (2022)
Seemingly discontinued
|
| 14 |
SERENE 2022
|
11 pages + 1 page references (technical/experience/industry/) / 8 pages (PhD/project/tool/position)
π§βπ¦― Double blind |
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) |
πΊ Co-located with the 18th European Dependable Computing Conference (EDCC)
β³ Deadline extension: 1 week (2019), 1 week (2022)
Seemingly discontinued
|
| 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)
Seemingly discontinued
|
| 5 |
CERTS 2022
|
2 pages IEEE |
β |
Mon. 3 October 2022 |
Mon. 10 October 2022 |
5 December 2022
(Houston, USA) |
? | (absent) |
Authors of accepted papers will be requested to prepare a poster for the workshop.
πΊ Satellite of RTSS 2022
Seemingly discontinued
|
| 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
Seemingly discontinued
|
| 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) |
After workshop, submission of 12-page papers. To be published in EPTCS workshop series.
πΊ ETAPS 2023 satellite.
β³ Deadline extension: 14 days (2023)
Seemingly discontinued
|
| 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.
Seemingly discontinued
|
| 21 |
FORMATS 2023
|
15 pages LNCS + references + appendix (regular) / 7 pages (tools) |
Fri. 21 April 2023
Thu. 4 May 2023 |
Fri. 28 April 2023
Mon. 8 May 2023 |
Fri. 16 June 2023 |
19-21 September 2023
(Antwerp, Belgium) |
Springer LNCS
(for-profit publishing, no access unless payment) | (absent) |
2023: special track on Monitoring of cyber-physical systems. Co-located with CONCUR, FMICS and QEST as part of CONFEST 2023. 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. 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. The best paper of the conference will be awarded the Oded Maler Award in Timed Systems.
Discontinued in 2023
|
| 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).
Discontinued in 2023
|
| 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. Cancelled in 2014, did not happen in 2020-21.
πΊ Satellite of CONCUR.
β³ Deadline extension: 1 week (2013), 10 days (2015), 9 days (2018), 7 days (2019)
Seemingly discontinued
|
| 9 |
FTSCS 2023
|
10 pages ACM (research / applications / surveys), 5 pages ACM (position / tools / work in progress)
π Single blind |
β |
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) |
Work in progress will not be published in the post-proceedings.
πΊ An OOPSLA/SPLASH 2023 workshop.
β
Acceptance rate: 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.
β³ Deadline extension: 8 days in 2013, 6 days in 2014, 8 days in 2015, 7 days (2018, 2022), 9 days (2023)
Discontinued in 2023
|
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.