An Incomplete List of 146 Conferences in Computer Science

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

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

# Name Format Abstract deadline Submission deadline Notification Conference dates Proceedings Core ranking Notes
21 DATE 2018 6 pages IEEE Sun. 10 September 2017 Fri. 10 November 2017 19–23 March 2018
(Dresden, Germany)
IEEE
(no access unless payment)
B Double blind submissions. 4 tracks, 28 topics. WARNING: deadline CET!
33 SAC 2018 6 pages ACM SAC Fri. 15 September 2017 Mon. 20 November 2017 April 9−13, 2018
(Pau, France)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
B 44 tracks, student abstracts, Student Research Competition, etc. WARNING: double-blind reviews! Deadline extension: 10+7 days (2016, with notification extension by 10 days without announcement); 14 days (2017).
15 EUMAS 2017 original (12-15 pages LNCS) / short original (6-8 pages) / published (up to 15 pages) Sun. 10 September 2017 Sun. 17 September 2017 Fri. 13 October 2017 14–15 December, 2017
(Evry, France)
Springer LNCS/LNAI
(for-profit publishing, no access unless payment)
(absent) EUMAS 2017 welcomes both original, unpublished papers, as well as papers that have been published in a relevant conference, conference or journal. The best original papers will be invited for a special issue in the Knowledge Engineering Review.
35 STACS 2018 12 pages LIPIcs (+ ref + appendix) Mon. 25 September 2017 Mon. 11 December 2017 28 Feb−3 March, 2018
(Caen, France)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
B Rebuttal period: Nov 21−24, 2017. PC members are excluded from submitting. Acceptance rate: 26% (54/205 in 2016), 25% (54/212 in 2017)
9 ICCPS 2018 10 pages ACM or IEEE + 2-page appendix Fri. 29 September 2017 Fri.  6 October 2017 Mon. 18 December 2017 April 9−12, 2018
(Porto, Portugal)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Two tracks: theory and application. Part of Cyber Physical Systems (CPS) Week.
21 HSCC 2018 10 pages ACM (regular) / 6 pages (tools and case studies) / 2 pages (demo/posters, not published) Fri.  6 October 2017 Wed. 20 December 2017 April 11−13, 2018
(Porto, Portugal)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Part of Cyber Physical Systems (CPS) Week. No deadline extension possible. Authors of distinguished papers may be invited to submit an extended version of their work for possible publication in a Special issue of a leading journal. Light double-blind reviewing process.
19 VMCAI 2018 20 pages LNCS + references + appendix Fri.  6 October 2017 Fri. 17 November 2017 January 7–9, 2018
(Los Angeles, CA, USA)
Springer LNCS
(for-profit publishing, no access unless payment)
B Co-located with POPL. Deadline extension: 5 days in 2013, 7 days in 2017. Sponsor travel and other costs for students to attend VMCAI
24 TACAS 2018 15 pages LNCS + 2 pages bibliography (regular / regular tool / case study) / 6+6 pages (tool demo) Fri. 13 October 2017 Fri. 20 October 2017 Fri. 22 December 2017 14−21 April 2018
(Thessaloniki, Greece)
Springer LNCS
(for-profit publishing, no access unless payment)
A Each individual author is limited to a maximum of three submissions as an author or co-author. ETAPS: Multi-conference including ESOP, FASE, FOSSACS, POST, TACAS, etc. Acceptance rate in 2014: 22% (26/117) for research papers, 27% (3/11) for case studies, 33% (6/18) for tools, 47% (7/15) for tool demos, 24% for all full papers. Acceptance rate in 2015: 27% (45/164), 26% for research papers (27/105).
21 FOSSACS 2018 15 pages LNCS + 2 pages bibliography Fri. 13 October 2017 Fri. 20 October 2017 Fri. 22 December 2017 14−21 April 2018
(Thessaloniki, Greece)
Springer LNCS
(for-profit publishing, no access unless payment)
A ETAPS: Multi-conference including CC, ESOP, FASE, FOSSACS, POST, TACAS, etc. Rebuttal phase: 6-8 December 2017. Acceptance rate (2017): 32% (32/101).
9 ERTS² 2018 4 pages (extended abstract / short) / 10 pages (full, if abstract accepted) Sun. 18 June 2017
Sun.  9 July 2017
Fri. 27 October 2017 Fri. 24 November 2017 31 January – 2 February, 2017
(Toulouse, France)
?(absent) Notification after abstract submission: September 22nd. Deadline extension: 3 weeks (2017)
6 ADHS 2018 6 pages IFAC (8 pages for submission) Fri.  1 December 2017 Fri.  8 December 2017 ?? July 11−13, 2018
(Oxford, England)
Science Direct
(free access, but authors lose their rights)
(absent)
22 FM 2018 Springer 15 pages (regular) / 6 pages (short / tool) Mon.  8 January 2018 Mon. 22 January 2018 Mon.  9 April 2018 15−17 July 2018
(Oxford, UK)
Springer LNCS
(for-profit publishing, no access unless payment)
A Part of FLoC 2018. Also a doctoral symposium. Deadline extended: one week (2012), 48 hours (2014). Acceptance rate (2012): 26%. During the conference, the Programme Committee Chairs will present an award to the authors of the submission selected as the FM 2018 Best Paper. Extended versions of selected papers will be invited for publication in a special issue of one or more journals.
20 FMICS 2015 15 pages LNCS Mon. 19 January 2015 Mon. 26 January 2015 Fri. 13 March 2015 22−23 June 2015
(Oslo, Norway)
Springer LNCS
(for-profit publishing, no access unless payment)
C Colocated with FM 2015. Selected participants will be invited to submit an extended version of their papers in a special issue of the journal of either SCP or STTT after the workshop. Deadline extension: one week in 2013, one week in 2015.
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?
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.
5 ABZ 2016 14 pages LNCS (research) / 4 pages (short / work in progress / tool) / 14 pages (answer to case studies) / 4 pages extended abstract (industry) Fri. 15 January 2016 Fri. 22 January 2016 Mon. 22 February 2016 23–27 May, 2016
(Linz, Austria)
Springer
(for-profit publishing, no access unless payment)
(absent) Deadline extended by 20 days (2014). Every two years.
8 IJCAR 2016 15 pages (full) / 7 pages (system descriptions) Mon. 18 January 2016 Mon. 25 January 2016 Mon. 21 March 2016 June 27- July 2, 2016
(Coimbra, Portugal)
Springer LNAI/LNCS
(for-profit publishing, no access unless payment)
A* IJCAR 2014 offered a best paper award to recognize the most outstanding paper appearing at the conference. Travel awards were available in 2014 to enable selected students to attend the conference. Every two years.
6 UTP 2016 15 pages LNCS Fri. 19 February 2016 Fri.  4 March 2016 Fri. 15 April 2016 4–5 June, 2016
(Reykjavík, Iceland)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Co-located with iFM 2016. Every two years.
12 WWV 2016 16 pages EPTCS (long) + appendix, 8 pages (short) Sat. 16 April 2016 Fri. 13 May 2016 26 June 2016
(Porto, Portugal)
EPTCS
open access, authors keep their rights
(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)
1 TIPS 2016 15 pages LNCS (regular) / 6 pages (short) Tue. 17 May 2016 Tue.  7 June 2016 20 September, 2016
(Trondheim, Norway)
None (?)(absent)
1 TAPEMS 2016 14 pages Wed. 15 June 2016 Thu. 15 September 2016 14−16 December 2016
(Granada, Spain)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Special Issue in an International Journal with extended versions of a selection of received and presented quality papers.
15 WST 2016 5 pages LIPIcs Wed. 22 June 2016 Tue. 12 July 2016 5−7 September 2016
(Obergurgl, Austria)
Web page
(free access, authors keep their rights)
(absent) Informal proceedings (earlier / concurrent / later submission allowed). Live complexity and termination competition during the workshop. Every one or two years.
5 HSB 2016 15 pages LNCS/LNBI (regular) / 6 pages (short) Thu. 16 June 2016
Fri. 24 June 2016
Sat. 16 July 2016
Sun. 24 July 2016
20-21 October 2016
(Grenoble, France)
Springer LNCS/LNBI
(for-profit publishing, no access unless payment)
(absent) Deadline extension: 8 days (2016)
2 ICAASE 2016 8 pages in an MS Word special format Fri. 15 July 2016
Sat. 30 July 2016
Thu. 15 September 2016 October 29−30, 2016
(Constantine, Algeria)
CEUR-WS
(free access, authors keep their rights)
(absent) Distinguished papers from ICAASE’16 will be invited to submit a revised and extended version of their paper to a special issue of the International Journal of Critical Computer-Based Systems (IJCCBS). Deadline extensions: 15 days (2016). Every two years (?)
22 PRDC 2017 10 pages IEEE (regular) / 6 pages (practical experience reports) Thu. 30 June 2016
Fri. 15 July 2016
Sun.  7 August 2016
Thu.  1 September 2016
Wed. 21 September 2016
22−25 January 2017
(Christchurch, New Zealand)
IEEE
(no access unless payment)
B One outstanding paper will be selected to receive the Best Paper Award. Also featuring: fast abstract, industry track, poster (different deadlines). Deadline extension: 2 weeks in 2014, 4+2 weeks in 2015, 15+23 days in 2016. Acceptance rate (2015): 38.6% (44/114).
5 ESSS 2016 15 pages EPTCS (long), 6 pages (short) Fri. 12 August 2016 Fri. 23 September 2016 7th or 8th November 2016
(Limassol, Cyprus)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Satellite of FM 2016. Authors of a selection of the accepted papers will be invited to submit an extended version of their articles to a special issue of a high-quality journal. Deadline extension: 1 week (2014 and 2015). Acceptance rate 6/9 papers (2014), 6/15 (2015).
39 ICSE 2017 10 pages ACM Fri. 26 August 2016 Mon. 12 December 2016 May 20–28, 2017
(Buenos Aires, Argentina)
ACM
(no access unless payment)
A* Also a doctoral symposium, tutorials, demos, and other events. (Deadlines: November 20, 2015). Acceptance rate (2013): 18.5% (85/461). Clarification Period: October 22, 2016 to October 26, 2016 (tentative)
28 NWPT 2016 2-3 pages Easychair Fri. 26 August 2016 Tue. 20 September 2016 31 October – 2 November, 2016
(Rold Storkro, Skoerping (Aalborg), Denmark)
PDF(absent) No formal proceedings (PDF on Web page). Work in progress and concurrent submissions allowed. Selection of best papers published in the Journal of Logic and Algebraic Programming. Deadline extension: 6 days (2014). Warning: deadline 23h UTC.
7 ICLA 2017 12 pages LNCS Fri.  2 September 2016 Sat.  8 October 2016 January 5–7, 2017
(IIT Kanpur, India)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) In 2011, some papers were accepted for presentation but not in proceedings. A limited number of registration waivers are available for Indian participants. Every two years. Deadline extension: 7 days (2015)
5 FTSCS 2016 15 pages LNCS (research / applications / surveys), 5 pages LNCS (position / tools / work in progress) Sun.  4 September 2016 Fri.  7 October 2016 November 14−15, 2016
(Tōkyō, Japan)
Springer CCIS
(for-profit publishing, no access unless payment)
(absent) An ICFEM 2016 Satellite Event. Work in progress will not be published in the post-proceedings. A special issue of the Science of Computer Programming journal will be devoted to extended versions of selected papers from FTSCS’16. Deadline extension: 8 days in 2013, 6 days in 2014, 8 days in 2015. Acceptance rate: 55% (18/33) in 2013, 35% (14/40) in 2014, 37% (17/46) in 2015, 36% (9/23) in 2016.
10 JRWRTC 2016 4 pages IEEE Wed. 14 September 2016
Tue. 20 September 2016
Wed. 21 September 2016
Tue. 27 September 2016
19–21 October, 2016
(Brest, France)
PDF(absent) In conjunction with RTNS 2015. Must be co-authored by at least one junior (PhD student or post-doc) researcher. Deadline postponed (2 days) in 2012, 1 week in 2015, 6 days in 2016 (including notification deadline).
9 CRTS 2016 8 pages ACM SIG Fri. 16 September 2016
Sun. 25 September 2016
Sun. 16 October 2016 November 29, 2016
(Porto, Portugal)
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).
8 ICPE 2017 12 pages ACM (research / industry) / 6 pages (short) Fri. 23 September 2016 Fri. 30 September 2016 Fri. 18 November 2016 22−26 April 2017
(L’Aquila, Italy)
ACM Digital Library
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) After the conference, there will be a call for a special issue of a journal.
10 ICST 2017 10 pages IEEE (+ 2 pages for references) Fri. 23 September 2016
Fri. 30 September 2016
Sat. 19 November 2016 13–18 March, 2017
(Tokyo, Japan)
IEEE
(no access unless payment)
C Also doctoral symposium, software testing contest, tool demos, industry track papers … Deadline extension: 7 days (2017)
24 RTAS 2018 10 pages IEEE 2 columns (+ 1-2 pages appendix) Thu. 13 October 2016 Tue. 20 December 2016 April 14–21 2017
(Porto, Portugal)
IEEE
(no access unless payment)
A Three tracks (Applications, RTOSs, Run-Time Software and Tools / Applied Methodologies and Foundations / Embedded Systems Design for Real-Time Applications). Part of the Cyber-Physical Systems Week. Firm deadline.
26 WWW 2017 8 pages ACM SIG 2 columns (+ references) Wed. 19 October 2016 Mon. 24 October 2016 Wed. 21 December 2016 April 3–7, 2017
(Perth, Western Australia)
ACM Digital Library + conference Web site
(free access, but authors lose their rights)
A* Many different calls (posters, demos, PhD symposium, workshops, tutorials…). Deadlines all Hawaii Standard Time. Acceptance rate (2015): 14.1% (131/929).
11 LATA 2017 12 pages Springer (including appendix+ref) Fri. 21 October 2016
Fri. 28 October 2016
Fri. 25 November 2016
Mon. 28 November 2016
March 6−9, 2017
(Umeå, Sweden)
Springer LNCS
(for-profit publishing, no access unless payment)
C Deadline extension: one week (2014), 6 days (2015), 7 days (2016). Notification date extended by 3 days (2016). A special issue of the Journal of Computer and System Sciences (Elsevier, 2015 JCR impact factor: 0.873) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. WARNING: deadline CET.
7 FSEN 2017 15 pages LNCS Sat. 22 October 2016 Sat. 29 October 2016 Sat. 17 December 2016 April 26–28, 2017
(Tehran, Iran)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Claim from the conference that no one ever got visa problems (in Iran). Special issue of Science of Computer Programming journal devoted to FSEN’17 (to be confirmed). Deadline extension: 2 weeks (2015). Every two years.
4 DUHDe 2017 6 pages IEEE Thu. 10 November 2016 Thu. 24 November 2016 March 31st, 2017
(Lausanne, Switzerland)
informal proceedings(absent) Workshop at DATE 2017. Deadline extension: 1 week (2015), 10 days (2016). The proceedings of DUHDe are only available for participants of the workshop. The authors retain the copyright of their work and are free to submit extended versions to a conference or journal.
16 AAMAS 2017 8 pages (+ references) Fri. 11 November 2016 Tue. 15 November 2016 Tue. 24 January 2017 8–12 May, 2017
(São Paulo, Brazil)
ACM
(free access, but authors lose their rights)
A* Double blind. Rebuttal phase: January 9–10, 2017 (23:59 UTC-12)
9 NFM 2017 15 pages LNCS (regular) / 6 pages (short/tool/experience report) Mon. 28 November 2016 Mon.  5 December 2016
Wed.  7 December 2016
Fri.  3 February 2017 16–18 May 2017
(Moffett Field, CA, USA)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) No registration fees. Acceptance rate: 39% (36/93) in 2012, 31% (33/108) in 2015. Deadline extension: 8 days (2015), 2 days (2017). Authors of selected best papers may be invited to submit an extended version to a special issue of the Journal of Automated Reasoning (Springer).
32 LICS 2017 12 pages IEEE Tue.  3 January 2017 Mon.  9 January 2017 Tue. 21 March 2017 June 20−23, 2017
(Reykjavik, Iceland)
ACM SIGPLAN Proceedings
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
A* Author Feedback/Rebuttal Period Feb 28 - 4 March, 2017. Papers authored or co-authored by members of the program committee are not allowed. Deadlines are firm. Full versions of up to three accepted papers, to be selected by the program committee, will be invited for submission to the Journal of the ACM. Additional selected papers will be invited to a special issue of Logical Methods in Computer Science.
21 LPAR 2017 regular (15 pages EasyChair + references + appendix); tool / experimental (8) Mon.  9 January 2017
Wed. 18 January 2017
Mon. 16 January 2017
Sun. 22 January 2017
Wed.  1 March 2017 8–12 May 2017
(Maun, Botswana)
EPiC Series in Computing
(free access, authors keep their rights)
A Deadline extension (2017): 6 days
38 Petri Nets 2017 (ICATPN) regular papers (max 20 pages in Springer LNCS-format); tool papers (max 10 pages in Springer LNCS-format) Tue. 10 January 2017
Tue. 17 January 2017
Sun. 15 January 2017
Sun. 22 January 2017
Wed.  1 March 2017 25−30 June 2017
(Zaragoza, Spain)
Springer LNCS
(for-profit publishing, no access unless payment)
B Co-located with ACSD. Deadline extension: 7 days (2013, 2017). The deadline for submission of papers in 2015 was STRICT. All accepted papers will be considered for an outstanding paper award. Some of the best papers will be invited as submissions to a special issue of the Fundamenta Informaticae journal.
30 CAV 2018 15 pages LNCS + ref + appendix (regular) / 6 pages LNCS + ref + appendix (tool) Tue. 24 January 2017 Wed. 12 April 2017 July 14–17, 2018
(Oxford, UK)
Springer LNCS
(for-profit publishing, no access unless payment)
A* Deadlines are AoE. WARNING: Double-blind submissions ("lightweight"). Rebuttal phase (20–22nd March). 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). Deadline extension (1 week) in 2013, +48 extra hours to edit the paper, none in 2016. A selection of papers will be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.
5 FormaliSE 2017 7 pages ACM (full papers / case study papers / research ideas) Fri. 20 January 2017
Fri. 27 January 2017
Fri. 17 February 2017 27 May 2017
(Buenos Aires, Argentina)
IEEE/ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Held in conjunction with ICSE. All ACCEPTED CONTRIBUTIONS are PUBLISHED as an ICSE 2017 Workshop Proceedings in the ACM and IEEE Digital Libraries. Deadline extension: 1 week (2014, 2016, 2017)
29 ECRTS 2017 20 pages (excluding bibliography and appendix) Mon. 30 January 2017 Fri. 24 March 2017 27–30 June, 2017
(Dubrovnik, Croatia)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
A No deadline extension for any reason. A selection of the best papers will receive outstanding paper awards, and will be highlighted as such in the conference proceedings. These papers will form the shortlist for a best paper award, which will be presented at the conference. ECRTS 2016 aims at being more inclusive (more papers) than past years.
ISSTA 2017 10 pages ACM (+ references) Fri.  3 February 2017 Sat. 29 April 2017 10–14 July, 2017
(Santa Barbara, California, USA)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
A ISSTA 2017 will conduct double-blind reviewing. Author Response Period (21st and 22nd March).
17 ACSD 2017 10 pages IEEE (regular) / 6 pages IEEE (tools) Fri. 13 January 2017
Fri. 27 January 2017
Fri. 20 January 2017
Fri.  3 February 2017
Fri. 17 March 2017 26–30 June 2017
(Zaragoza, Spain)
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. Acceptance rate (2016): 47% (14/30).
14 FESCA 2017 regular (15 pages EPTCS), position (5), presentation abstract (1) Wed. 18 January 2017
Sat. 28 January 2017
Wed. 25 January 2017
Fri.  3 February 2017
Mon. 27 February 2017
Wed.  1 March 2017
April 22nd, 2017
(Uppsala, Sweden)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Satellite event of ETAPS. Deadline extension: 4 days (2015), 13 days (2016), 9 days (2017).
15 QAPL 2017 12 pages EPTCS + appendix (regular) / 4 pages (ongoing) Sun.  5 February 2017
Sun. 12 February 2017
Fri. 10 March 2017 April 23, 2017
(Uppsala, Sweden)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Co-located with ETAPS. Ongoing work will not be published. Following previous issues of QAPL, a special journal issue will be considered. Deadline extension: 7 days (2017).
5 VPT 2017 15 pages EPTCS Tue. 31 January 2017
Fri. 10 February 2017
Mon.  6 February 2017
Thu. 16 February 2017
Wed.  8 March 2017 29th April 2017
(Uppsala, Sweden)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Satellite of ETAPS 2017. Deadline extension: 10 days (2017)
44 ICALP 2017 12 pages LIPIcs Fri. 17 February 2017 Fri. 14 April 2017 July 10−14, 2017
(Warsaw, Poland)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
A Best paper and best student paper awards for each track (3) of the conference. Deadline PST (Pacific Standard Time, UTC-8). Deadlines are firm; late submissions will not be considered.
3 SNR 2017 long research papers (15 pages excluding references) / short research papers (6 pages + references) and / work-in-progress papers (6 pages + references) Fri. 27 January 2017 Fri.  3 February 2017
Fri. 17 February 2017
Fri. 10 March 2017 22 April 2017
(Uppsala, Sweden)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Affiliated with ETAPS 2017. Deadline extension: 14 days (2017)
24 SPIN 2017 10 pages ACM (full research paper) / 4 pages (idea / tool) Fri. 10 February 2017
Fri. 17 February 2017
Sat. 15 April 2017 13−14 July 2017
(Santa Barbara, CA, USA)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Collocated with ISSTA 2017. Deadline extension: 1 week in 2013, none in 2014, 11 days in 2015, 7 days in 2017. Best Paper awards will be given and announced at the conference. Selection of the best papers in a special issue of the International Journal on Software Tools for Software Technology Transfer (STTT).
26 IJCAI 2017 6 pages + 1 page references Sun. 19 February 2017 Sat. 23 April 2016 August 19-25, 2017
(Melbourne, Australia)
AAAI Press
(free access, but authors lose their rights)
A* Double-blind submission. Rebuttal period: March 28-29, 2017 (special track on AI & autonomy only). Authors lose their rights, but proceedings (e.g., 2015, 2016) are freely available online. Every two years until 2016, then became yearly.
10 ICMT 2017 15 pages LNCS (research/applications) / 10 pages (exploratory) / 7 pages (tool demo) Fri. 17 February 2017 Fri. 24 February 2017 Fri.  7 April 2017 July 17−18, 2017
(Marburg, Germany)
Springer LNCS
(for-profit publishing, no access unless payment)
B Co-located with Software Technologies: Applications and Foundations (STA7) 2015. A special issue with an extended version of the best papers from the conference will be published in the journal Science of Computer Programming (Elsevier)
37 FORTE 2017 15 pages LNCS (regular / tool) / 7 pages (short / tool demo) / 3 pages (poster) Fri.  3 February 2017
Fri. 17 February 2017
Fri. 10 February 2017
Fri. 24 February 2017
Mon. 10 April 2017 June 19-22, 2017
(Neuchâtel, Switzerland)
Springer LNCS
(for-profit publishing, no access unless payment)
A A DisCoTec Member Conference. The best papers will be invited after the conference to contribute to a special issue of a top-level journal. Deadline extension: 4 weeks (2015), 2 weeks (2016, 2017). 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.
24 ESEC/FSE 2017 10+1 pages ACM SIG Fri. 17 February 2017 Mon. 27 February 2017 Fri.  2 June 2017 6–8 September, 2017
(Paderborn, Germany)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
A Lightweight double-blind review process. Also tutorials, doctoral symposium, tool demos and others. Author response period: May 1 — May 4, 2017.
22 CIAA 2017 12 pages LNCS + appendix Wed.  1 March 2017 Sat.  8 April 2017 27 30 June, 2017
(Marne-la-Vallée, France)
Springer LNCS
(for-profit publishing, no access unless payment)
B Selected papers from the conference will be invited for consideration in a journal special issue, currently planned to be published in Theoretical Computer Science (TCS).
10 TAP 2017 16 pages LNCS + references (research) / 8 pages + ref (tool) / 6 pages + ref (short) Fri. 17 February 2017
Mon. 27 February 2017
Fri. 24 February 2017
Sun.  5 March 2017
Fri.  7 April 2017 19–20 July 2017
(Marburg, Germany)
Springer LNCS
(for-profit publishing, no access unless payment)
B Part of the Staf Conference Series. Deadline extension: 17 days (2016), 16 days (2017).
15 SERA 2017 8 pages IEEE 2 columns Sun.  5 March 2017 Sun. 26 March 2017 June 7−9, 2017
(Greenwich, London, United Kingdom)
IEEE CPS
(no access unless payment)
C SERA 2017 Proceedings will be published by CPS and will be submitted to be indexed by EI, INSPEC, and DBLP. Conference officers will select outstanding papers for possible publication in several journals. Deadline extension (15 days, and 8 days for notification) in 2013. Acceptance rate (2013): 41% (14/34). Deadline extension: 1 week (2015). SERA 2015 cancelled due to security concerns in Tunisia.
4 ARCH 2017 3–8 pages (Benchmark papers, tool presentations, tool executions, experience reports) Wed. 15 February 2017
Mon.  6 March 2017
Tue.  7 March 2017
Wed. 15 March 2017
April 17th, 2017
(Pittsburgh, USA)
EasyChair EPiC series
(free access, authors keep their rights)
(absent) Part of CPSWeek. The paper with the most promising benchmark results receives a prize of 500€ sponsored by Robert Bosch GmbH, Germany. The winner is preselected by the program committee and determined by an audience voting. Free of charge in 2017. Deadline extension: 19 days.
36 SAFECOMP 2017 regular (14 pages LNCS) / practical experience reports and tools (8 pages) / fast abstract and work in progress (2 pages) Tue. 28 February 2017
Fri. 10 March 2017
Mon.  8 May 2017 13–15 September, 2017
(Trento, Italy)
Springer LNCS
(for-profit publishing, no access unless payment)
B Best papers invited in a special issue of a safety-related international journal. 2017 SPECIAL THEME: Design, verification, and assurance of space systems. Deadline extension (2016, 2017): 10 days
15 BPM 2017 16 pages LNCS Mon.  6 March 2017 Mon. 13 March 2017 Mon. 15 May 2017 10–15 September 2017
(Barcelona, Catalonia)
Springer LNCS
(for-profit publishing, no access unless payment)
A Deadline UTC-12. Pre-submission shepherding program for first-time submitters. Authors of selected papers will be invited to submit a paper for a special issue of Information Systems (Elsevier).
15 AFADL 2017 15 pages (longs) / 6 pages (courts) / 4 pages (outils) / 2 pages (projets) / 1 page (article déjà publié) Fri.  3 March 2017
Mon. 13 March 2017
Fri.  7 April 2017 13–14 June 2017
(Montpellier, France)
IEEE Xplore Digital Library
(no access unless payment)
(absent) In French (?). Deadline extension: 2 weeks (2014, 2015, 2016), 10 days (2017).
5 FVSBS 2017 6 pages IEEE (full) / 4 pages IEEE (short) Wed. 15 February 2017
Sun. 26 February 2017
Wed. 15 March 2017
Sun.  2 April 2017
Sun.  9 April 2017
June 21−23, 2017
(Poznań, Poland)
?(absent) Conference Track @ IEEE WETICE 2017. Deadline extensions: 10 days in 2013, 24 days in 2014, 15 days in 2015, 11+18 days in 2017.
12 SIES 2017 6 to 10 pages IEEE (long), 4 pages (work in progress) Fri.  3 March 2017
Sun. 19 March 2017
Thu. 20 April 2017 June 7−9, 2017
(Toulouse, France)
IEEE
(no access unless payment)
(absent) Deadline extension: 2 weeks (2013), 1 week (2014), 4 weeks (2015), 3+3 weeks (2016), 16 days (2017). Also features a work in progress session (Deadline: April 24th).
56 CDC 2017 6 pages IEEE (+ 2 additional for a fee) Mon. 20 March 2017 Sat. 15 July 2017 December 12−15, 2017
(Melbourne, Australia)
IEEE
(no access unless payment)
A No deadline extension.
26 CSL 2017 15 pages LIPIcs Fri. 24 March 2017 Fri. 31 March 2017 Wed. 31 May 2017 August 20–24, 2017
(Stockholm, Sweden)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
B
11 TASE 2017 8 pages IEEE Sun. 12 March 2017
Sun. 26 March 2017
Sun. 19 March 2017
Sun.  2 April 2017
Sun. 21 May 2017 13−15 September 2017
(Sophia Antipolis, France)
IEEE Computer Society Press
(no access unless payment)
C Warning: all deadlines are UTC. Deadline extensions: 14 days (2014); Strict deadline in 2016; 14 days (2017). 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). Almost always in China (except once in UK and once in Taiwan).
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).
PNSE 2017 LNCS 20 pages (full) although 15 pages preferred / 5 pages (short) / 2 (ongoing, poster) Thu. 16 March 2017
Tue. 28 March 2017
Thu. 23 March 2017
Thu.  6 April 2017
Mon.  1 May 2017
Fri.  5 May 2017
June 26−27, 2017
(Zaragoza, Spain)
CEUR-WS
(free access, authors keep their rights)
(absent) A satellite event of Petri Nets and ACSD. 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 EMSOFT 2017 10 pages in ACM two-column format Fri. 31 March 2017 Fri.  7 April 2017 Fri. 30 June 2017 October 15–20 2017
(Seoul, South Korea)
ACM/IEEE
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
A Double blind process. Up to 10 pages appendix. Part of ESWEEK (with CODES and CASES). Deadline extension: one week (2013, 2014). Firm deadline (2015, 2016). This year EMSOFT will follow a two-stage review process, in which papers passing the first stage of reviews will be asked to revise their work based on reviewer comments within a short time frame of around two weeks. ESWEEK 2017 will introduce a journal-integrated publication model where the majority of papers will be published in the ACM Transactions on Embedded Computing Systems (TECS).
14 QEST 2017 16 pages LNCS (Theoretical / Methodological and technical / Application / Tools); 4 pages LNCS (Tool demonstration) Fri. 24 March 2017
Mon.  3 April 2017
Fri. 31 March 2017
Sun.  9 April 2017
Mon. 29 May 2017 5−7 September 2017
(Berlin, Germany)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Co-located with CONCUR. Accepted tool descriptions will appear in the conference proceedings. Selected papers will appear in a special issue of a journal. Acceptance rate (2016): 52% (21 regular + 3 tools / 46). Deadline extensions: 1 week in 2013, 1 week in 2015, 9 days in 2017.
15 SEFM 2017 15 pages (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS Mon. 13 March 2017
Fri. 24 March 2017
Thu.  6 April 2017
Fri. 31 March 2017
Thu. 13 April 2017
Mon. 29 May 2017 September 6–10, 2017
(Trento, Italy)
Springer LNCS
(for-profit publishing, no access unless payment)
B Appendix: 2 pages allowed (not integrated in the proceedings). Deadline extensions: one week (2013), one week (2014), one week (2016), 14 days (2017). Acceptance rate: 28% (20+5/88) in 2016
8 WATERS 2017 6 pages IEEE Fri. 31 March 2017
Fri. 14 April 2017
Mon.  8 May 2017 27th June 2017
(Dubrovnik, Croatia)
No formal proceedings?
(free access, authors keep their rights)
(absent) Colocated with ECRTS. Deadline extension: 1 week (2014), 4 weeks (2016), 2 weeks (2017). This year focus: We encourage submissions proposing novel models or combining existing models for analyzing real-time and performance properties for such heterogeneous systems. Also features the WATERS industrial challenge (formerly FMTV).
6 CIEL 2017 15 pages Easychair (long) / 6 pages (short) / 4 (tools) / 4 (abstracts) / 2 (thesis abstracts) Fri. 14 April 2017 Fri. 12 May 2017 June 15th and 16th, 2017
(Montpellier, France)
?(absent) In French. Co-located with GDR-GPL. Les papiers longs auront la possibilité d’être étendus et évalués à nouveau pour paraître dans un numéro spécial de la revue TSI. Pas de date limite pour articles longs (au fil de l’eau) Deadline extension: 2 weeks (2015, 2016)
17 WCET 2017 10 pages OASIcs Fri. 31 March 2017
Fri. 14 April 2017
Mon.  8 May 2017 27th June, 2017
(Dubrovnik, Croatia)
OASIcs
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Co-located with ECRTS. Deadline extension: 1 week (2016), 14 days (2017).
28 CONCUR 2017 14 pages LIPIcs (+ appendix) Fri. 21 April 2017 Fri. 16 June 2017 September 5–8, 2017
(Berlin, Germany)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
A Colocated with FORMATS, QEST and EPEW. Acceptance rate (2016): 34% (34/100).
15 ICOST 2017 12 pages LNCS Wed. 15 March 2017
Sun.  2 April 2017
Fri. 21 April 2017
Mon. 15 May 2017 29−31 August 2017
(Paris, France)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Theme: IoT for Enhanced Quality of Life and Smart Living. Warning: double blind submission! Abstract not required. Deadline extension: 18+19 days (2017)
14 ICTAC 2017 18 pages LNCS (regular) / 10 pages LNCS (short / tool) Wed. 12 April 2017
Sat. 22 April 2017
Thu.  8 June 2017 23−27 October 2017
(Hà Nội, Việt Nam)
Springer LNCS
(for-profit publishing, no access unless payment)
B Deadline extension: 2 weeks (2014, 2015, 2016), 10 days (2017). Acceptance rate (2016): 38% (23/60)
23 RTCSA 2017 10 pages IEEE 2 columns Fri. 14 April 2017
Sun. 23 April 2017
Fri.  2 June 2017 August 16−18, 2017
(Hsinchu, Taiwan)
IEEE Xplore
(no access unless payment)
B Deadline UTC-12. 3 tracks: embedded systems, real-time systems, and SYSTEM DESIGN PRACTICE AND EMERGING APPLICATIONS TRACK. Also a work-in-Progress Session. Deadline extension: 1 week (2013), 9 days (2014), 18 days (2016), 9 days (2017). Selected papers will be recommended for submission of extended versions to the special issues of journals, such as the ACM Transactions on Cyber Physical Systems (application in progress). Acceptance rate: 18 long + 5 short / 69 submissions (26% or 33%, 2016), 21 long + 6 short / 68 submissions (31% or 40%, 2015), 39 long + 16 short / 175 submissions (22% or 31%, 2014).
42 MFCS 2017 12 pages LIPIcs (including bilbiography) Thu. 20 April 2017 Mon. 24 April 2017 Mon. 12 June 2017 August 21−25, 2017
(Aalborg, Denmark)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
A Appendix allowed. Acceptance rate (2014): 35% (95/270).
13 iFM 2017 15 pages LNCS (research / regular / case study) / 8 pages (short tool) Tue. 28 March 2017
Thu. 20 April 2017
Tue.  4 April 2017
Thu. 27 April 2017
Fri. 26 May 2017
Fri.  2 June 2017
20−22 September 2017
(Turin, Italy)
Springer LNCS
(for-profit publishing, no access unless payment)
B Page limits include bibliography and any appendices. Acceptance rate: 37% (2012), 25% (2013). Deadline extension: 10 days in 2013, 7 days in 2016, 23 days in 2017.
26 TABLEAUX 2017 15 pages LNCS (research) / 9 pages (system descriptions) Tue. 18 April 2017
Fri. 28 April 2017
Fri. 28 April 2017 Thu.  8 June 2017 25−28 September 2017
(Brasília, Brazil)
Springer LNCS
(for-profit publishing, no access unless payment)
A The TABLEAUX 2017 Best Paper Award will be presented to the best submission nominated and chosen by the Program Committee among the accepted papers. Deadline extension: 3 days (2017)
15 ATVA 2017 16 pages in Springer’s LNCS format (regular) / 6 (tool) Fri. 21 April 2017
Fri. 28 April 2017
Thu. 15 June 2017 October 4–6, 2017
(Pune, India)
Springer LNCS
(for-profit publishing, no access unless payment)
A Acceptance rate: 32% (2008), 36 / 75 = 48% (2011); (27+12+3)/(73+23) = 44% (2014?). 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). Almost always in Asia. Special issue in "Formal Methods in System Design" (Springer)
15 CMSB 2017 15 pages LNCS (regular) / 6 pages (tool) Fri.  7 April 2017
Fri. 21 April 2017
Fri. 14 April 2017
Fri. 28 April 2017
Thu. 15 June 2017 September 27–29, 2017
(Darmstadt, Germany)
Springer LNCS/LNBI
(for-profit publishing, no access unless payment)
(absent) A selection of papers will be invited to be extended an submitted to a special issue of the journal IEEE/ACM Transactions on Computational Biology and Bioinformatics. Acceptance rate: 46% (20/43) in 2015. Deadline extension: 14 days (2017)
10 NSV 2017 15 pages LNCS (regular) / 6 pages (short / tools / benchmark / case studies) Sat. 22 April 2017
Mon.  1 May 2017
Sat. 20 May 2017 22–23 July 2017
(Heidelberg, Germany)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) A workshop of CAV 2017. Deadline extension: 9 days (2017)
38 RTSS 2017 10 pages IEEE 2 columns (+ 1-2 pages appendix) Mon.  1 May 2017 Mon. 10 July 2017 5-8 December 2017
(Paris, France)
IEEE
(no access unless payment)
A* Firm submission deadline. Acceptance rate: 21% (2011), 22% (35/257, 2012), 23% (36/160, 2013), 21% (33/154, 2014), 23% (34/151, 2015), 23% (32/137, 2016). Rebuttal: 12-15 June 2017.
5 FMi 2017 8 pages IEEE Wed. 15 March 2017
Thu. 20 April 2017
Sat. 25 March 2017
Mon.  1 May 2017
Tue. 25 April 2017
Thu.  1 June 2017
August 4–6, 2017
(San Diego, CA, USA)
IEEE
(no access unless payment)
(absent) Satellite of 18th IEEE IRI 2017. Deadline extension: 4 weeks (2015), 5 weeks (2017). Papers will also be invited to be expanded and submitted for possible publication in a special issue of the Information Systems Frontiers journal published by Springer (confirmed).
24 EuroMPI/USA 2017 10 pages ACM ICPS (long), <= 4 pages (short) Mon.  1 May 2017 Mon. 26 June 2017 September 25–28, 2017
(Chicago, IL, USA)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
C In-cooperation status with ACM and SIGHPC. Deadline extension: 1 week (2014), 8 days (2015), 2 weeks (2016). Warning: notification date extended after submission, and without notice (2014). Acceptance rate (2014): 48% (18/39). The best papers of the conference will be considered for inclusion in a special issue of Elsevier’s Parallel Computing.
6 SYNT 2017 15 pages EPTCS + references (long) / 7 pages + references (tool) Mon.  1 May 2017 Mon. 29 May 2017 22 July 2017
(Heidelberg, Germany)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Satellite event of CAV. Deadline extension: 10 days (2014), 2 weeks (2016). Given sufficient interest, extended versions of selected papers will appear in a special issue of the journal Acta Informatica.
15 FORMATS 2017 15 pages LNCS + appendix Fri. 21 April 2017
Wed.  3 May 2017
Fri. 28 April 2017
Fri.  5 May 2017
Sat. 10 June 2017 5–7 September 2017
(Berlin, Germany)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) One week deadline extension in 2012, none in 2013, one week in 2014, one week in 2015 (+4 days to edit the paper), one week in 2016, one week in 2017. Co-located with QEST and CONCUR. Acceptance rate: 44% (18/41) in 2013, 45% (19/42) in 2015, 44% (14/32) in 2016.
21 FCT 2017 12 pages LNCS Mon.  1 May 2017 Sat.  6 May 2017 Fri. 16 June 2017 September 11–13, 2017
(Bordeaux, France)
Springer LNCS ARCoSS
(for-profit publishing, no access unless payment)
A Biennial conference. Selected papers will be invited to a special issue of the "Journal of Computer and System Sciences", devoted to FCT 2017
9 VSTTE 2017 16 pages LNCS (long) / 10 pages (short) Mon. 24 April 2017
Mon.  1 May 2017
Mon.  1 May 2017
Mon.  8 May 2017
Mon.  5 June 2017 19 September 2017
(Heidelberg, Germany)
LNCS
(for-profit publishing, no access unless payment)
(absent) Co-located with CAV 2017. Deadline extension: 1 week (2017)
17 RV 2017 regular (15 pages LNCS) / short (6 pages) / tool demonstration (8 pages) Mon. 24 April 2017
Mon.  8 May 2017
Mon.  1 May 2017
Mon.  8 May 2017
Mon. 26 June 2017 13−16 September 2017
(Seattle, WA, USA)
Springer LNCS
(for-profit publishing, no access unless payment)
C Deadline extension: 12 days (2016), 7 days (2017)
11 VECoS 2017 15 pages LNCS Mon. 10 April 2017 Mon. 24 April 2017
Mon.  8 May 2017
Mon. 29 May 2017 August 24−25, 2017
(Montréal, Québec)
Springer LNCS
(no access unless payment)
(absent) Authors of selected papers will be invited to submit extended article versions to a special issue of Innovations in Systems and Software Engineering: A NASA Journal or of International Journal of Critical Computer-Based Systems.. Deadline extension: 1 month (2014), 16+7 days (2015), 16 days (2016), 14 days (2017)
17 FMCAD 2017 8 pages IEEE (regular) / 4 pages (short) Mon.  1 May 2017 Mon.  8 May 2017 Fri. 14 July 2017 2−6 October 2017
(Vienna, Austria)
ACM/IEEE
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Author Response Period: 19-23 June, 2017. Deadline extension: 3 days (2015), 7 days (2016)
28 ISSRE 2017 10 pages IEEE + 2 appendix/ref (research / experience reports) / 6 pages (wild and provocative ideas) Fri. 28 April 2017
Fri. 12 May 2017
Fri.  5 May 2017
Fri. 12 May 2017
Thu. 13 July 2017 23–27 October, 2016
(Ottawa, Canada)
IEEE (?)
(no access unless payment)
A Authors will have a chance to rebut the reviews within 800 words over the period of July 10th to July 12th. Deadline extension: 9 days (2015), 7 days (2017)
32 ASE 2017 10 pages ACM + references (technical research / experience) / 6 pages (new ideas) Fri.  5 May 2017 Fri. 12 May 2017 Fri. 21 July 2017 October 30– November 3, 2017
(Urbana-Champaign, Illinois)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
A Double-blind submissions.
19 ICFEM 2017 16 pages LNCS Sun. 30 April 2017
Sun.  7 May 2017
Sun.  7 May 2017
Sun. 14 May 2017
Thu. 29 June 2017 13−17 November, 2017
(Xi’An, China)
Springer LNCS
(for-profit publishing, no access unless payment)
B Early abstract submission: 1st April 2016. Deadline extension: 1 week (2013), 2 weeks (2014), 1 week (2015, 2016, 2017). Acceptance rate: 29% (2009, 36/121), 30% (2011, 31/103), 36% (2012), 30% (2014), 32.9% (2015, 27/82), 42% (2016, 27/64). Authors of selected papers from ICFEM 2017 will be invited to submit an extended version to a special section of IEEE Transactions on Reliability (T-Rel). Notification date extended by 18+4 days in 2015 (and 4 days in 2016), after the submission deadline and without announcement.
1 VBSP 2017 ?? (ICSSP conference guidelines) Tue.  2 May 2017 Fri.  5 May 2017
Mon. 15 May 2017
Thu.  1 June 2017 5th July 2017
(Paris, France)
None?(absent) Co-located with ICSSP 2017
2 TTCS 2017 15 pages LNCS + appendix Mon.  1 May 2017
Mon. 15 May 2017
Mon.  8 May 2017
Fri. 19 May 2017
Mon. 26 June 2017 12—14 September, 2017
(Tehran, Iran)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Bi-annual conference series. Deadline extension: 11 days (2017)
12 ICSEA 2017 6 pages (regular) / 4 pages (short/work in progress) / 2 pages (ideas/poster) Sat. 20 May 2017 Thu. 20 July 2017 October 8–12, 2017
(Athens, Greece)
ThinkMind
(free access, but authors lose their rights)
C More paper categories (poster, extended abstracts, presentations, demos, doctoral forum…). Authors of selected papers will be invited to submit extended versions to a IARIA Journal.
24 TIME 2017 15 pages LIPIcs Mon.  8 May 2017
Mon. 15 May 2017
Fri. 12 May 2017
Sun. 21 May 2017
Tue. 27 June 2017
Mon.  3 July 2017
October 16−18, 2017
(Mons, Belgium)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
B Acceptance rate: 50% (16/32) in 2012, 53% (17/32) in 2014, 74% (17/23) in 2015, 47% (21/45) in 2016. Deadline extension: 1 week (2016), 9 days (2017, with a strict abstract submission deadline). Authors of selected papers will be invited to submit an extended version of their contribution to a special issue of the journal Theoretical Computer Science.
14 FACS 2017 18 pages LNCS format (research / applications / survey) / 6 (tool) Fri. 19 May 2017 Fri. 26 May 2017 Mon. 17 July 2017 October 10–13, 2017
(Braga, Portugal)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Also a Doctoral Track, in the form of abstracts (3 pages max). The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programming journal. Deadline extension: 6 days (2014), 10+4 days (2015), 11 days (2016).
15 MEMOCODE 2017 10 pages IEEE (regular) / 4 pages (work in progress) / 8 pages (tool) Fri. 12 May 2017
Fri. 19 May 2017
Fri. 19 May 2017
Fri. 26 May 2017
Mon. 10 July 2017 September 29 − October 2, 2017
(Vienna, Austria)
IEEE
(no access unless payment)
(absent) Acceptance rate: 43% (14+6/47) in 2014, 57% (21+6/47) in 2015, 27% (16+4+1/80) in 2016. Deadline extension: 1 week (2017). Co-located with FMCAD. Selected papers will be invited for publication in a special issue of ACM Transactions on Embedded Computing Systems.
17 FMICS-AVoCS 2017 15 pages LNCS Sun. 14 May 2017
Sun. 21 May 2017
Sun. 21 May 2017
Sun. 28 May 2017
Mon. 26 June 2017
Wed. 28 June 2017
18−20 September 2017
(Torino, Italy)
Springer LNCS
(for-profit publishing, no access unless payment)
C Acceptance rate: 60% (12/20) in 2015 for FMICS only, 63% (11+24/24) in 2016 for FMICS+AVoCS. Colocated with iFM. Authors of the best full papers will be invited to submit extended versions to a special issue of the International Journal on Software Tools for Technology Transfer. Studentships for PhD in 2013. Deadline extension: 1 week (2014 and 2015), 2 weeks (2016), 1 week (2017).
11 MSR 2017 14 pages EasyChair Sun. 30 April 2017
Mon. 15 May 2017
Sun. 14 May 2017
Mon. 29 May 2017
Thu. 13 July 2017 15—17 November 2017
(Marseille, France)
HAL
(free access, authors keep their rights)
(absent) In French. Deadline extension: 8 days (2013), 10 days (2015), 15 days (2017). Poster PhD session. Best paper award for young scientists. Acceptance rate: 17/38 (2007), 24/44 (2009), 16/39 (2011), 16/32 (2013).
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 Papers can be ongoing or already accepted elsewhere. Deadline extension: 1 week (2017)
5 Highlights 2017 1 or 2 pages Fri.  2 June 2017 Mon. 12 June 2017 September 12–15, 2017
(London, England)
informal(absent) Short presentations, no formal proceedings, single author. We encourage you to attend and present your best work, be it already published or not, at the Highlights conference
DaLí 2017 15 pages LNCS Fri. 26 May 2017 Fri.  2 June 2017 Fri. 14 July 2017 24 September 2017
(Brasília, Brazil)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Workshop co-located with TABLEAUX, FROCOS and ITP 2017. Extended versions of the DaLí contributions will be invited to a special issue in the Journal of Logic and Algebraic Methods in Programming, Elsevier. Extended abstracts with preliminarily results and work in progress (2-5 pag) are also welcomed for short presentations.
2 RSSRail 2017 16 pages LNCS (regular) / 10 pages (PhD student) Thu.  1 June 2017 Thu.  8 June 2017 Sat.  8 July 2017 November 14−16, 2017
(Pistoia, Italy)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent)
2 V2CPS 2017 15 pages EPTCS (full) / 8 pages (short) Fri.  9 June 2017 Sun.  9 July 2017 19 September 2017
(Torino, Italy)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) co-located with iFM 2017
6 ACIS 2017 8 pages IEEJ (regular) / 4 pages (short/poster) Sat. 10 June 2017 Tue. 15 August 2017 12–14 December 2017
(Phnom Penh, Cambodia)
IEEJ(absent) Deadline extension: 14 days (2014), 20 days (2015), 30 days (2016).
8 GandALF 2017 14 pages EPTCS Fri. 19 May 2017
Tue. 13 June 2017
Fri. 26 May 2017
Thu. 15 June 2017
Fri.  7 July 2017 20−22 September 2017
(Rome, Italy)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Deadline extension: 1 week (2014 and 2015), 10 days (2016), 20 days (2017). Authors of the best papers will be invited to submit a revised version of their work to a special issue of an international leading journal.
9 KSE 2017 6 pages IEEE Thu.  1 January 1970
Thu. 15 June 2017
Sun. 30 July 2017 19–21 October 2017
(Huế, Việt Nam)
IEEE
(no access unless payment)
(absent) Deadline extension: 1 week (2014), 13+7 days + 7 days to edit (2015), 30 days (2016), ?? (2017). Notification extension: 5+4 days in 2015 (with notification on the initial notification date…), 7 days (2016). Acceptance rate (2014): 53% (51/97). Accepted papers with high quality will be invited to submit to a special issue of KSE 2016 in high quality scientific journals.
1 FORTRESS 2017 8 pages IEEE Wed. 31 May 2017
Sun. 18 June 2017
Sat. 10 June 2017
Sat.  1 July 2017
August 16-18, 2017
(Hsinchu, Taiwan)
? Satellite of RTCSA
4 HCVS 2017 12 pages EPTCS + biblio (regular) / 1-3 pages (work in progress) Sun. 11 June 2017
Sun. 18 June 2017
Mon.  3 July 2017 August 7, 2017
(Gothenburg, Sweden)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Affiliated with CADE 2017. Deadline extension: 4 days (2016), 1 week (2017)
11 RP 2017 12 pages LNCS Wed. 10 May 2017
Mon. 19 June 2017
Wed. 21 June 2017
Tue. 11 July 2017
7−9 September 2017
(London, UK)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Deadline extended by 2 weeks in 2012 and 2013, 1 week in 2014, 1 week in 2015 (despite "strict" deadline), 9+19 days (2016), 40 days (2017). Acceptance rate: 66% (16/24 in 2011), 61% (14/23 in 2015). Informal presentations (4 pages) not to appear in the proceedings (deadline: August 2nd; notification: August 9th). We plan also to publish selected papers in a special issue of a high quality journal following the regular referee procedure.
4 FDSE 2015 20 pages LNCS Tue. 20 June 2017 Fri. 25 August 2017 November 29–December 1st 2017
(Hồ-Chí-Minh-City, Việt Nam)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Co-located with ACOMP2017 and RCCIE2017. Selected papers, after further revision and extension will be considered for publication in a special issue of the Transactions on Large Scale Data and Knowledge Centered Systems (TLDKS), ISSN: 1869-1994, also from Springer Verlag. Deadline extension: 15 days (2015)
8 YR−CONCUR 2017 4 pages LNCS Sun. 25 June 2017 Mon. 17 July 2017 September 4, 2017
(Berlin, Germany)
informal(absent) Platform for PhD students and young researchers who recently completed their doctoral studies. No formal proceedings, can be submitted elsewhere. Satellite of CONCUR. Deadline extension: 1 week (2013), 10 days (2015).
3 SETTA 2017 15 pages LNCS (regular) / 6 pages (short) Fri. 21 April 2017
Wed. 21 June 2017
Sun. 25 June 2017
Fri. 28 April 2017
Wed. 21 June 2017
Sun. 25 June 2017
Mon.  3 July 2017
Tue. 25 July 2017
October 23-25, 2017
(Changsha, China)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Always in China. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Formal Aspect Computing journal. Springer will support Best Paper Award of SETTA 2017. Deadline extension: 11 days (2015), 30 days (2016), 55+4 days (2017). Acceptance rate: 33% (20/60 in 2015), 44% (17 long + 3 short /45 in 2016).
27 LOPSTR 2017 15 pages Springer + Appendix Tue.  6 June 2017
Sun. 18 June 2017
Tue. 13 June 2017
Sun. 25 June 2017
Tue. 25 July 2017 October 10−12, 2017
(Namur, Belgium)
Springer LNCS
(for-profit publishing, no access unless payment)
B co-located with PPDP 2016 and SAS 2016. Deadline extension: 12 days (2014), 21 days (2015), 13 days (2016), 12 days (2017). Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings (and then possibly accepted after another round). A best paper award will be granted, which will include a 500 EUR prize provided by Springer. A selection of the best papers will be invited for submission to a special issue of a journal.
11 ACOMP 2017 8 pages IEEE Fri. 30 June 2017 Sat.  2 September 2017 29 November–1 December 2017
(Hồ Chí Minh City, Việt Nam)
IEEE CPS
(no access unless payment)
(absent) Deadline extension: 1 week in 2013, 20 days in 2014 (and notification extended by 10 days). Acceptance rate (2013): 33% (32/96)
10 ETR 2017 4 pages IEEE 2 columns Tue. 13 June 2017
Sun. 18 June 2017
Mon.  3 July 2017
Fri.  7 July 2017 28 August to September 1st 2017
(Paris, France)
Given to participants
(free access, authors keep their rights)
(absent) Mainly for PhD students. Most presentations in French. Every two years. Deadline extension: 1 week (2013), 10 days (2015), 5+15 days (2017).
22 ICECCS 2017 IEEE 10 pages (Technical Papers and Experience Reports) / 4 pages (short) Mon.  5 June 2017
Mon. 19 June 2017
Mon. 19 June 2017
Mon.  3 July 2017
Mon. 14 August 2017 November 5−8, 2017
(Fukuoka, Japan)
IEEE Conference Publishing Services
(no access unless payment)
A Deadline extensions: 2 weeks in 2012, 10 days in 2013, 14 days in 2014, 14 days in 2015, 19 days in 2016, 2 weeks in 2017. 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. 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.
24 APSEC 2017 10 pages IEEE (research) / 6 pages (short) / posters (2 pages) Fri. 30 June 2017 Fri.  7 July 2017 Mon.  4 September 2017 ?
(Nanjing, China)
IEEE CPS
(no access unless payment)
B Deadline AoE. Acceptance rate: 30% (55 research + 12 industry / 226) / 31% (55+12+4 / 226 including short papers) in 2014; 29% (42/144 long papers in research track) / 26% (9/34 in industry track) in 2015; 21.4% (42/196 long papers) / 29.6% (24+16 / 196, including poster papers) in 2016. Deadline extension: one week (2013), firm (2017). A selective set of accepted papers will be invited by the Program Committee to submit an extended version for publication in the special issue of Elsevier’s Journal of Systems and Software (10 in 2014, 6 in 2016).
45 POPL 2018 26 pages new ACM format Fri.  7 July 2017 Fri. 29 September 2017 8−13 January 2018
(Los Angeles, CA, USA)
PACMPL
open access, authors keep their rights
(open access, authors keep their rights)
A* Rebuttal: 11−13 September. Double blind submission. Authors are asked (but not required) to pay US$400 for journal open-access publication.
25 RTNS 2017 10 pages ACM 2 columns Mon. 17 July 2017 Fri.  1 September 2017 4−6 October 2017
(Grenoble, France)
ACM ICPS
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Always in France (?). No deadline extension (2014, 2015, 2016). Acceptance rate: 47% (29/62) in 2013, 51% (32/63) in 2014, 47% (31/66) in 2015, 45% (34/75) in 2016. A selection of the best papers will be identified as outstanding papers; the authors of these papers are invited to submit extended versions to a special issue of the journal Real-Time Systems (Springer). Prizes will be awarded for best paper. RTNS 2017 will have the artifact evaluation for the accepted papers, to enable reproducible research.
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)
37 FSTTCS 2017 12 pages in LIPIcs (including bibliography) + unlimited appendix Mon. 24 July 2017
Mon. 31 July 2017
Mon. 18 September 2017
Fri. 22 September 2017
December 11–15, 2017
(Kanpur, India)
LIPIcs
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Always in India. Published in CC-BY in Leibniz International Proceedings in Informatics (LIPIcs) as a free, open, electronic archive with access to all. Also features a PhD poster session. 2 more days to edit the paper past the deadline in 2012 and 2016. Deadline extension: 7 days (2017). Acceptance rate: < 33% (2014).
11 VALUETOOLS 2017 8 pages ACM (regular) / 6 pages (tool papers) / 2 pages (Fast Abstracts) Mon. 17 July 2017
Mon. 31 July 2017
Fri.  1 September 2017 December 5−7, 2017
(Taormina, Italy)
ACM
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Regular papers, tool papers, and short papers presented at the conference will be submitted to the ACM Digital Library. Additionally, a special issue in Performance Evaluation is planned. Fast Abstracts will be published as a Technical Report. Fast Abstract Submissions: 22nd July 2016. Deadline extension: 4 weeks in 2016, 2 weeks in 2017
20 SBMF 2017 16 pages LNCS Fri.  7 July 2017
Fri. 14 July 2017
Mon. 24 July 2017
Fri. 21 July 2017
Wed.  2 August 2017
Fri.  1 September 2017
Fri.  8 September 2017
November 27– December 1, 2017
(Recife, Brazil)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Acceptance rate: 48% (14/29) in 2013; 38% (13/34) in 2014; 44% (11/25) in 2015; 55% (12/22) in 2016. Deadline extension: 15+1 days (2016), 12 days (2017). A special issue of Science of Computer Programming (Elsevier) will publish the best papers.
8 SoICT 2017 8 pages ACM Mon. 14 August 2017 Fri. 13 October 2017 December 7–8, 2017
(Nha Trang, Việt Nam)
ACM ICPS
(paid access, but authors can post a link to free PDF with the ACM author-izer service)
(absent) Extended versions of the selected best papers in SoICT 2017 will be invited for submission to Journal of Heuristics (IF: 1.34), but will be reviewed again. Deadline extension: 17 days (2016)
TASS 2013 6 pages IEEE Fri. 11 October 2013 Thu. 31 October 2013 December 3rd, 2013
(Vancouver, Canada)
?(absent) Satellite of RTSS. Must be original, but non necessarily fully developed. Position papers acceptable. Deadline extension: 1 week (2013).
2 QFM 2014 10 pages EPTCS Sat.  1 March 2014 Tue.  1 April 2014 12th May 2014
(Singapore)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Warning: Deadline 23h UTC
11 WS-FM:FASOCC 2014 15 pages LNCS Sun. 15 June 2014 Wed.  9 July 2014 September 11–12, 2014
(Eindhoven, The Netherlands)
Springer LNCS
(for-profit publishing, no access unless payment)
(absent) Collocated with 11th International Conference on Business Process Management (BPM 2013). Deadline extension (1 week) in 2013, 6 days in 2014. Authors of selected papers of WS-FM:FASOCC 2014 will be invited to submit an extended paper for a special issue in Springer’s journal on Formal Aspects of Computing. Relocated from Haifa, Israel to Eindhoven, The Netherlands.
NCFM 2014 500 words abstract Sat. 20 September 2014 Wed.  1 October 2014 Sun. 12 October 2014 October 15th−17th, 2014
(Bengaluru, India)
?(absent) Delegates are requested to submit abstract based on their own ongoing / completed and unpublished research.
2 MOCHAP 2015 8 pages AAAI (full technical) / 1-2 (extended) / already published (unlimited) Fri. 20 February 2015
Fri.  6 March 2015
Fri. 20 March 2015 June 7th, 2015
(Jerusalem, Israel)
Web site?
(free access, authors keep their rights)
(absent) Previously accepted papers allowed in a special session (Deadline: February 20th). Accepted original papers will be published on the workshop website and printed as a hard-copy. An extended abstract for previously published papers will be published in the proceedings. Deadline extension: 2 weeks (2015)
2 SaFoMe 2015 14 pages LNCS Tue.  7 April 2015 Thu. 30 April 2015 June 22nd, 2015
(Oslo, Norway)
informal proceedings(absent) Satellite of FM. Extended versions of selected papers will be invited to submit to a Special Issue in Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability (SAGE, print ISSN: 1748-006X). Deadline extension (2014): 2 weeks.
2 FOR-MOVES 2015 12 pages LNCS (regular) / 6 pages (short / position) Thu. 30 July 2015
Fri. 14 August 2015
Mon. 14 September 2015
Sun. 30 August 2015
Mon. 14 September 2015
Wed. 30 September 2015
November 16, 2015
(Goa, India)
No formal proceedings (PDF online)
(free access, authors keep their rights)
(absent) Co-located with ICSOC 2015. For this second edition of this workshop, we would like to put the emphasis on discussions rather than on conventional publications. Deadline extension: 10 days (2014), 15 days (2015)
9 SSV 2015 10 pages EPTCS + appendix Mon. 21 September 2015 Mon. 28 September 2015 Fri. 30 October 2015 7−8 December 2015
(Gold Coast, Australia)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Co-located with ICECCS. SSV 2015 has been cancelled due to lack of submissions.
Cassting 2016 12 pages EPTCS Fri. 15 January 2016 Fri. 19 February 2016 2–3 April 2016
(Eindhoven, The Netherlands)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Satellite workshop of ETAPS 2016.
3 SynCoP 2016 12 pages EPTCS (regular) / 4 pages (tool) Sun. 10 January 2016
Mon.  1 February 2016
Sun. 17 January 2016
Mon.  1 February 2016
Mon. 22 February 2016 April 3rd, 2016
(Eindhoven, The Netherlands)
EPTCS
open access, authors keep their rights
(open access, authors keep their rights)
(absent) Satellite workshop of ETAPS. Deadline extension: 2 weeks (2014, 2015, 2016). Acceptance rate (2014): 5 / 8 papers. After three successful editions, SynCoP moved to an invited speakers-only model. Everyone is welcome to attend SynCoP 2017.

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

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