Only
Also
141 editions shown · one row per conference unless you ask for earlier editions · deadlines in Anywhere on Earth unless stated
| Time remaining | Conference | Submission | Held | CORE | Proceedings | Details |
|---|---|---|---|---|---|---|
| SBMF 2026 | 14 Aug 2026closes today was 6 Augextended | 1–4 Dec 2026 Rio de Janeiro 🇧🇷 | — | Springer LNCSPaywalled, for-profit | ||
29th Brazilian Symposium on Formal Methods Notification25 Sep 2026 Format15 pages + references (regular) / 8 pages + references (short)
DBLPsbmf ↗
Acceptance rate
2025 52% 13/25
2023 56% 9/16
2022 57% 8/14
2016 55% 12/22
2015 44% 11/25
2014 38% 13/34
2013 48% 14/29
| ||||||
| FMAS 2026 | 17 Aug 2026in 3 days abstract 14 Aug 2026 | 17–18 Nov 2026 Southampton 🏴 | — | EPTCSCC BY | ||
8th Workshop on Formal Methods for Autonomous Systems Notification6 Oct 2026 Format15 pages + references (regular / Experience report) / 6 pages + references (vision / research previews)
DBLPfmas ↗
Special topic 2026: Neurosymbolic AI | ||||||
| SETTA 2026 | 24 Aug 2026in 10 days was 10 Augextended | 2–4 Dec 2026 Singapore 🇸🇬 | — | Springer LNCSPaywalled, for-profit | ||
12th International Symposium on Dependable Software Engineering: Theories, Tools and Applications
Acceptance rate
2025 39% 18/46
2024 45% 21/47
2023 30% 24/80
2022 52% 15/29
2021 41% 16/39
2016 44% 20/45
2015 33% 20/60
| ||||||
| ReacTS 2026 | 13 Sep 2026in 30 days abstract 8 Sep 2026 | 24 Nov 2026 Valletta 🇲🇹 | — | Springer LNCSPaywalled, for-profit | ||
3rd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications Notification16 Oct 2026 Format12 pages LNCS (+ references) / 4 pages (short)
| ||||||
| ICALP 2027 | 15 Sep 2026in 32 days firm no extension | 5–9 Jul 2027 Kraków 🇵🇱 | A* | LIPIcsCC BY | ||
54th EATCS International Colloquium on Automata, Languages, and Programming Notification8 Dec 2026 FormatLIPIcs: no limit but the pages beyond the first ten pages will be read at the committee’s discretion
DBLPicalp ↗
Acceptance rate
2026 30% 190/628
2025 30% 170/563
Rebuttal for Track B only. At least one author of each accepted paper is expected to register for the conference, and all talks are in-person. In exceptional cases, alternative arrangements may be considered by the program co-chairs. | ||||||
| STACS 2027 | 11 Oct 2026in 58 days | 8–12 Mar 2027 Göttingen 🇩🇪 | A | LIPIcsCC BY-ND | ||
44th International Symposium on Theoretical Aspects of Computer Science
Acceptance rate
2025 28% 72/259
2017 25% 54/212
2016 26% 54/205
2015 23% 55/235
2014 26% 54/210
2013 21% 54/254
2012 20% 54/273
2011 20% 54/271
Track A focuses on algorithms, data structures and complexity. Track B focuses on automata, logic, semantics, and theory of programming. | ||||||
| JFLA 2027 | 16 Oct 2026in 63 days firm no extension | 26–29 Jan 2027 Dinard, Bretagne 🇫🇷 | — | HALFree access | ||
38e Journées Francophones des Langages Applicatifs Notification2 Dec 2026 Format18 pages LaTeX jflart (research) + references / 9 pages (short). No appendix
DBLPjfla ↗
Presentations preferably given in French. | ||||||
| FSEN 2027 | 28 Oct 2026in 75 days abstract 19 Oct 2026 | 24–25 May 2027 Enschede 🇳🇱 | — | Springer LNCSPaywalled, for-profit | ||
Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice Notification18 Dec 2026 Format16 pages LNCS + ref (full) / 6 pages + ref (short) / 4 pages + ref (posters)
DBLPfsen ↗
| ||||||
| VSTTE 2026 | 24 Jul 2026closed 20 days ago was 17 Julextended | 14 Sep 2026 Graz 🇦🇹 | — | LNCSPaywalled, for-profit | ||
18th International Conference on Verified Software: Theories, Tools and Experiments
Acceptance rate
2025 40% 6/15
2024 100% 6/6
2023 46% 6/13
2021 41% 7/17
2020 64% 9/14
2019 53% 9/17
2018 79% 19/24
Post-conference proceedings | ||||||
| ICECCS 2026 | 20 Jul 2026closed 24 days ago was 6 Julextended | 23–24 Nov 2026 Brisbane 🇦🇺 | B | Springer LNCSPaywalled, for-profit | ||
30th International Conference on Engineering of Complex Computer Systems
Acceptance rate
2023 42% 22/52
2014 46%
2012 29% 37/128
| ||||||
| VECoS 2026 | 20 Jul 2026closed 24 days ago was 22 Junextended | 19–20 Nov 2026 Amsterdam 🇳🇱 | C | Springer LNCSPaywalled | ||
19th International Conference on Verification and Evaluation of Computer and Communication Systems
Acceptance rate
2025 45% 13/29
2023 33% 12/36
2021 50% 6/12
2020 33% 20/60
| ||||||
| CSL 2027 | 15 Jul 2026closed 29 days ago abstract 8 Jul 2026 | 25–29 Jan 2027 Brighton 🏴 | B | LIPIcsCC BY | ||
International Conference on Computer Science Logic
Acceptance rate
2026 37% 43/115
2024 56% 46/82
2023 45% 34/75
2022 47% 35/75
2021 41% 34/82
| ||||||
| FSTTCS 2026 | 11 Jul 2026closed 33 days ago abstract 4 Jul 2026 | 15–20 Dec 2026 IIT Delhi 🇮🇳 | — | LIPIcsCC BY | ||
46th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Acceptance rate
2021 39% 47/122
2014 33%
Always in India. | ||||||
| FROM 2026 | 6 Jul 2026closed 38 days ago was 30 Junextended | 15–17 Sep 2026 Timișoara 🇷🇴 | — | EPTCSCC BY | ||
Tenth Working Formal Methods Symposium 7 male out of 7 invited speakers in 2026. | ||||||
| SEFM 2026 | 30 Jun 2026closed 44 days ago was 23 Junextended | 23–27 Nov 2026 Malta 🇲🇹 | B | Springer LNCSPaywalled, for-profit | ||
24th International Conference on Software Engineering and Formal Methods Notification30 Aug 2026 Format16 pages + 2p bibliography (regular) / 8 pages (short/tool) LNCS
DBLPsefm ↗
Acceptance rate
2024 34% 23/68
2023 49% 20/41
2022 35% 22/62
2016 28% 25/88
| ||||||
| RP 2026 | 30 Jun 2026closed 44 days ago was 21 Junextended | 21–23 Oct 2026 Turku 🇫🇮 | — | Springer LNCSPaywalled, for-profit | ||
20th International Conference on Reachability Problems
Acceptance rate
2023 76% 13/17
2022 57% 8/14
2017 71% 12/17
2016 61% 11/18
Also presentation-only contributions. | ||||||
| ICSE 2027 | 30 Jun 2026closed 44 days ago abstract 23 Jun 2026 | 25 Apr – 1 May 2027 Dublin 🇮🇪 | A* | ACM openFree access | ||
49th International Conference on Software Engineering
Acceptance rate
2013 18% 85/461
ICSE 2026 will follow a dual deadline structure introduced in 2024. Revisions, rebuttal. Also a doctoral symposium, tutorials, demos, and other events. | ||||||
| YR-CONCUR 2026 | 29 Jun 2026closed 45 days ago was 22 Junextended | 5 Sep 2026 Liverpool 🏴 | — | informal | ||
12th International Young Researchers Workshop on Concurrency Theory Notification15 Jul 2026 Format2 pages + references
Platform for PhD students and young researchers who recently completed their doctoral studies. No formal proceedings, can be submitted elsewhere. | ||||||
| GandALF 2026 | 22 Jun 2026closed 52 days ago abstract 20 Jun 2026 | 15–17 Sep 2026 Aalborg 🇩🇰 | — | EPTCSCC BY | ||
17th International Symposium on Games, Automata, Logics, and Formal Verification
Acceptance rate
2024 50% 10/20
2023 58% 15/26
| ||||||
| ICFEM 2026 | 22 Jun 2026closed 52 days ago was 8 Junextended | 17–20 Nov 2026 Southampton 🏴 | C | Springer LNCSPaywalled, for-profit | ||
27th International Conference on Formal Engineering Methods
Acceptance rate
2024 44% 22/50
2023 38% 13/34
2022 38% 23/61
2018 33% 22/66
2017 35% 28/80
2016 42% 27/64
2015 33% 27/82
2014 30%
Also journal-first presentations. Doctoral symposium. | ||||||
| ICTAC 2026 | 22 Jun 2026closed 52 days ago was 15 Junextended | 11–13 Nov 2026 Bariloche 🇦🇷 | C | Springer LNCSPaywalled, for-profit | ||
23rd International Colloquium on Theoretical Aspects of Computing Notification10 Aug 2026 Format16 pages LNCS (original research / applications) + 2 pages bibliography / 8 pages LNCS (short / tool)
DBLPictac ↗
Acceptance rate
2023 56% 22/39
2022 48% 25/52
2018 42% 25/59
2017 42% 17/40
2016 38% 23/60
| ||||||
| LPAR 2026 | 17 Jun 2026closed 57 days ago abstract 3 Jun 2026 | 25–30 Oct 2026 Spetses 🇬🇷 | B | EPiC Series in ComputingFree access | ||
256h International Conference on Logic for Programming, Artificial Intelligence and Reasoning Notification3 Aug 2026 Formatregular (15 pages EasyChair + references + appendix); tool / experimental (8)
DBLPlpar ↗
| ||||||
| RV 2026 | 14 Jun 2026closed 60 days ago was 31 Mayextended | 6–9 Oct 2026 Kingston 🇨🇦 | B | Springer LNCSPaywalled, for-profit | ||
26th International Conference on Runtime Verification Notification30 Jul 2026 Formatregular (16 pages LNCS + references) / short / tool demonstration / benchmarks (8 pages)
DBLPrv ↗
| ||||||
| RTNS 2026 | 4 Jun 2026closed 70 days ago | 4–6 Nov 2026 Toulouse 🇫🇷 | — | Springer LNCSPaywalled, for-profit | ||
34th International Conference on Real-Time Networks and Systems
Acceptance rate
2016 45% 34/75
2015 47% 31/66
2014 51% 32/63
2013 47% 29/62
3 rounds of submissions in 2024, 2025, 2026 (January, June, and August). Two rounds in 2022 (September 2022 and January 2023). | ||||||
| Highlights 2026 | 29 May 2026closed 76 days ago | 7–11 Sep 2026 Vienna 🇦🇹 | — | informal | ||
Highlights of Logic, Games and Automata Notification19 Jun 2026 Format1 or 2 pages
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. | ||||||
| RTSS 2026 | 26 May 2026closed 79 days ago abstract 21 May 2026 | 9–11 Dec 2026 Yokohama 🇯🇵 | A | IEEEPaywalled | ||
47th IEEE Real-Time Systems Symposium
Acceptance rate
2011 21%
| ||||||
| EuroMPI 2026 | 26 May 2026closed 79 days ago was 27 Aprextended | 7–9 Oct 2026 Vienna 🇦🇹 | C | Springer LNCSPaywalled, for-profit | ||
EuroMPI Conference
Acceptance rate
2014 46% 18/39
Papers not accepted for presentation may be recommended for poster presentations. | ||||||
| MEMOCODE 2026 | 25 May 2026closed 80 days ago was 11 Mayextended | 8–9 Oct 2026 Barcelona 🇪🇸 | C | IEEEPaywalled | ||
24th ACM-IEEE International Symposium on Formal Methods and Models for System Design Notification10 Jul 2026 Format10 pages IEEE (regular) + bibliography / 8 pages (tool) / 4 pages (late-breaking)
DBLPmemocode ↗
Acceptance rate
2016 26% 21/80
2015 57% 27/47
2014 43% 20/47
| ||||||
| TIME 2026 | 22 May 2026closed 83 days ago was 11 Mayextended | 1–3 Sep 2026 Cork 🇮🇪 | C | OASIcsCC BY | ||
33rd International Symposium on Temporal Representation and Reasoning Notification22 Jun 2026 Format12 pages LIPIcs (+ references + appendix) for original/survey, 4 pages for extended abstracts
DBLPtime ↗
Acceptance rate
2023 75% 12/16
2022 41% 12/29
2021 46% 13/28
2016 47% 21/45
2015 74% 17/23
2014 53% 17/32
2012 50% 16/32
| ||||||
| ATVA 2026 | 21 May 2026closed 84 days ago extended from an unrecorded date | 1–5 Dec 2026 Hong Kong 🇭🇰 | B | Springer LNCSPaywalled, for-profit | ||
24th International Symposium on Automated Technology for Verification and Analysis
Acceptance rate
2025 36% 21/59
2024 33% 24/73
2023 32% 37/115
2022 31%
2021 31%
2019 42%
2018 40%
2017 37%
Early-rejection notification. Also informal presentations (Spotlights of Verification). | ||||||
| ACV 2026 | 20 May 2026closed 85 days ago was 6 Mayextended | 24–25 Jul 2026 Lisbon 🇵🇹 | — | informal | ||
First Workshop on Abstract and Concrete Techniques in Verification Notification31 May 2026 Format1-2 pages
Informal presentations, no formal proceedings | ||||||
| FMCAD 2026 | 3 May 2026closed 102 days ago abstract 26 Apr 2026 | 14–18 Sep 2026 Graz 🇦🇹 | B | TU Wien Academic Press / ACM/IEEECC BY | ||
26th International Conference on Formal Methods in Computer-Aided Design | ||||||
| SYNT 2026 | 1 May 2026closed 104 days ago | 25 Jul 2026 Lisbon 🇵🇹 | — | informalFree access | ||
15th International Workshop on Synthesis | ||||||
| CONCUR 2026 | 27 Apr 2026closed 108 days ago abstract 20 Apr 2026 | 1–4 Sep 2026 Liverpool 🏴 | B | LIPIcsCC BY | ||
37th International Conference on Concurrency Theory
Acceptance rate
2025 43% 36/83
2024 46% 37/80
2023 38% 37/98
2022 36% 32/90
2021 36% 35/96
2016 34% 34/100
| ||||||
| MFCS 2026 | 24 Apr 2026closed 111 days ago | 24–28 Aug 2026 Paris 🇫🇷 | B | LIPIcsCC BY | ||
51st International Symposium on Mathematical Foundations of Computer Science
Acceptance rate
2024 33% 80/239
2023 40% 84/209
2022 35% 78/221
2014 35% 95/270
| ||||||
| ISSRE 2026 | 24 Apr 2026closed 111 days ago was 17 Aprextended | 23–26 Oct 2026 Limassol 🇨🇾 | A | IEEE CPSPaywalled | ||
37th IEEE International Symposium on Software Reliability Engineering Notification8 Jul 2026 Format12 pages IEEE including references (research / experience reports) / 6-10 pages (tools and artifact)
DBLPissre ↗
Includes negative results papers (different submission dates). Early decisions: 15th June. Author Revision Period: June 16 - July 3, 2026. | ||||||
| QEST+FORMATS 2026 | 20 Apr 2026closed 115 days ago was 10 Aprextended | 2–4 Sep 2026 Liverpool 🏴 | — | Springer LNCSPaywalled, for-profit | ||
Third joint event for International Conference on Quantitative Evaluation of SysTems and International Conference on Formal Modeling and Analysis of Timed Systems Notification3 Jun 2026 Format16 pages LNCS + references + appendix (regular) / 7 pages (short) / presentation only
DBLPqestformats ↗
Acceptance rate
2024 58% 19/33
| ||||||
| FMICS 2026 | 17 Apr 2026closed 118 days ago abstract 10 Apr 2026 | 2–4 Sep 2026 Liverpool 🏴 | C | Springer LNCSPaywalled, for-profit | ||
31st International Conference on Formal Methods for Industrial Critical Systems
Acceptance rate
2024 64% 14/22
2023 58% 14/24
2022 59% 13/22
| ||||||
| CMSB 2026 | 10 Apr 2026closed 125 days ago was 3 Aprextended | 24–25 Jul 2026 Lisbon 🇵🇹 | — | Springer LNCS/LNBIPaywalled, for-profit | ||
24th Conference on Computational Methods in Systems Biology Notification2 May 2026 Format15 pages LNCS + references + appendix (regular) / 6 pages (tool)
DBLPcmsb ↗
Acceptance rate
2015 47% 20/43
| ||||||
| ARCH 2026 | 1 Apr 2026closed 134 days ago | 3 Jun 2026 Online | — | EasyChair EPiC seriesFree access | ||
13th International Workshop on Applied Verification for Continuous and Hybrid Systems Notification29 Apr 2026 Format3-8 pages (Benchmark papers, tool presentations, tool executions, experience reports)
DBLParch ↗
Acceptance rate
2021 100% 4/4
2020 86% 6/7
Reports on results of our friendly competition (separate call). Free of charge in 2017. | ||||||
| EMSOFT 2026 | 30 Mar 2026closed 136 days ago abstract 23 Mar 2026 | 4–9 Oct 2026 Barcelona 🇪🇸 | A | IEEE TCADPaywalled | ||
26th International Conference on Embedded Software Notification17 Jul 2026 Format20 pages in ACM Transactions format (25 pages after 1st round acceptance)
DBLPemsoft ↗
Acceptance rate
2024 22% 28/129
2023 23% 21/90
2018 24% 27/111
| ||||||
| PNSE 2026 | 30 Mar 2026closed 136 days ago abstract 23 Mar 2026 | 22 Jun 2026 Hamburg 🇩🇪 | — | CEUR-WS | ||
International Workshop on Petri Nets and Software Engineering Notification30 Apr 2026 Format20 pages LNCS (full) + references / 5-8 pages (short) / 3 (ongoing, poster)
This year we celebrate the 100th birthday of Carl Adam Petri. The conference takes place in Hamburg where Petri held an honorary professorship. | ||||||
| RTCSA 2026 | 25 Mar 2026closed 141 days ago was 13 Marextended | 11–13 Aug 2026 Qingdao 🇨🇳 | B | IEEE XplorePaywalled | ||
32nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications Notification4 May 2026 Format10 pages IEEE 2 columns (full) / 6 pages (short), + 2 pages bibliography
DBLPrtcsa ↗
| ||||||
| TASE 2026 | 7 Mar 2026closed 159 days ago was 21 Febextended | 4–6 Jul 2026 Shanghai 🇨🇳 | — | Springer LNCSPaywalled, for-profit | ||
20th International Symposium on Theoretical Aspects of Software Engineering
Acceptance rate
2022 37%
2020 35%
2019 36%
2018 38%
2017 35%
2016 33%
Ranked "national Chinese conference" by CORE (since 2020). Often in China. | ||||||
| SynCoP 2026 | 4 Mar 2026closed 162 days ago | 12 Apr 2026 Torino 🇮🇹 | — | informal | ||
11th International Workshop on Synthesis of Complex Parameters Informal presentations only (no formal proceedings). | ||||||
| ISORC 2026 | 3 Mar 2026closed 163 days ago was 2 Febextended | 27–29 May 2026 Hamilton 🇨🇦 | C | IEEEPaywalled | ||
29th IEEE International Symposium on Real-Time Distributed Computing Also a doctoral symposium | ||||||
| ECRTS 2026 | 26 Feb 2026closed 168 days ago | 7–10 Jul 2026 Lund 🇸🇪 | B | LIPIcsCC BY | ||
38th Euromicro Conference on Real-Time Systems Shadow TPC evaluation process. | ||||||
| COORDINATION 2026 | 20 Feb 2026closed 174 days ago was 6 Febextended | 8–12 Jun 2026 Urbino 🇮🇹 | C | LNCS-IFIPPaywalled, for-profit | ||
28th International Conference on Coordination Models and Languages Notification27 Mar 2026 Format18 pages + references (regular) / 25 pages (survey) / 15 pages (tool)
DBLPcoordination ↗
| ||||||
| FORTE 2026 | 20 Feb 2026closed 174 days ago was 6 Febextended | 8–12 Jun 2026 Urbino 🇮🇹 | C | Springer LNCS IFIPPaywalled, for-profit | ||
46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems Notification24 Mar 2026 Format15 pages LNCS (regular / tool) + references / 6 (short / tool demo / journal)
DBLPforte ↗
Acceptance rate
2025 57% 13/23
2022 43% 12/28
2020 44% 11/25
2019 43% 18/42
2018 36% 10/28
| ||||||
| ABZ 2026 | 16 Feb 2026closed 178 days ago abstract 9 Feb 2026 | 18–20 May 2026 Tokyo 🇯🇵 | — | SpringerPaywalled, for-profit | ||
12th International Conference on Rigorous State Based Methods Notification13 Mar 2026 Format16 pages LNCS + references (research, case study) / 6 pages (short / work in progress / tool / journal-first) / 8 pages (application in industry)
DBLPzum ↗
| ||||||
| MARS 2026 | 11 Feb 2026closed 183 days ago was 21 Janextended | 12 Apr 2026 Milan 🇮🇹 | — | EPTCSCC BY-ND | ||
7th Workshop on Models for Formal Analysis of Real Systems Notification11 Mar 2026 Format15 pages EPTCS + references
In addition to the workshop proceedings, the formal models presented at the workshop will be archived in the MARS Repository. | ||||||
| ICALP 2026 | 6 Feb 2026closed 188 days ago abstract 3 Feb 2026 | 7–10 Jul 2026 Egham 🏴 | A* | LIPIcsCC BY | → | |
| FSCD 2026 | 30 Jan 2026closed 195 days ago abstract 23 Jan 2026 | 20–23 Jul 2026 Lisbon 🇵🇹 | B | LIPIcsCC BY | ||
10th International Conference on Formal Structures for Computation and Deduction | ||||||
| Petri Nets 2026 | 30 Jan 2026closed 195 days ago was 21 Janextended | 22–26 Jun 2026 Hamburg 🇩🇪 | B | Springer LNCSPaywalled, for-profit | ||
47th International Conference on Application and Theory of Petri Nets and Concurrency Notification8 Mar 2026 Formatregular papers: max 20 pages + references in Springer LNCS-format; tool papers: max 10 pages + ref in Springer LNCS-format
DBLPapn ↗
Acceptance rate
2025 54% 22/41
2024 45% 19/42
2023 45% 21/47
2008 32% 24/75
This year, celebration in honor of the 100th birthday of Carl Adam Petri | ||||||
| ISSTA 2026 | 29 Jan 2026closed 196 days ago | 3–9 Oct 2026 Oakland 🇺🇸 | A | PACMSECC BY | ||
35th International Symposium on Software Testing and Analysis Major revisions. The conference proceedings will be published in the Proceedings of the ACM on Software Engineering (PACMSE), Issue: ISSTA 2026. | ||||||
| CAV 2026 | 28 Jan 2026closed 197 days ago firm no extension | 26–29 Jul 2026 Lisbon 🇵🇹 | A* | Springer LNCSCC BY | ||
38th International Conference on Computer Aided Verification Notification17 Apr 2026 Format18 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (Short Tool Papers/Short Application Papers/Industrial Experience Reports & Case Studies)
DBLPcav ↗
Owing to the increasing number of submissions, CAV has decided to implement a two-stage reviewing process. In the first stage, each paper will get two reviews. Papers with sufficient support by the reviewers will proceed to the next stage, where they will receive two additional reviews; other papers will be rejected early | ||||||
| LiCS 2026 | 22 Jan 2026closed 203 days ago abstract 15 Jan 2026 | 20–23 Jul 2026 Lisbon 🇵🇹 | A* | ACM SIGPLAN ProceedingsACM Digital Library | ||
41st Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)
Acceptance rate
2024 31% 72/236
2023 33% 63/192
2017 40% 89/224
| ||||||
| SPIN 2026 | 22 Jan 2026closed 203 days ago abstract 15 Jan 2026 | 15–16 Apr 2026 Torino 🇮🇹 | — | Springer LNCSPaywalled, for-profit | ||
32nd International Symposium on Model Checking Software Notification5 Mar 2026 Format16 pages + references (full research / tool) / 6 pages (short) + references
DBLPspin ↗
| ||||||
| NFM 2026 | 18 Jan 2026closed 207 days ago was 10 Janextended | 5–7 May 2026 Los Angeles 🇺🇸 | — | Springer LNCSPaywalled, for-profit | ||
18th NASA Formal Methods Symposium Notification10 Mar 2026 Format18 pages LNCS + references (regular) / 6 pages (short/tool/experience report)
DBLPnfm ↗
Acceptance rate
2022 35%
2018 34% 31/92
2015 31% 33/108
2012 39% 36/93
No registration fees. Gen AI mostly allowed. Remote participation allowed. | ||||||
| FM 2026 | 2 Dec 2025closed 254 days ago abstract 25 Nov 2025 | 20–22 May 2026 Tokyo 🇯🇵 | B | Springer LNCSFree access | ||
27th International Symposium on Formal Methods Notification6 Feb 2026 FormatSpringer 15 pages + references (regular / long tool / case study) / 6 pages (short / tool demo)
DBLPfm ↗
Acceptance rate
2018 32% 35/110
2012 27% 35/132
Also a doctoral symposium and industry day. | ||||||
| TAP 2026 | 2 Dec 2025closed 254 days ago abstract 25 Nov 2025 | 18–22 May 2026 Tokyo 🇯🇵 | C | Springer LNCSCC BY | ||
Special Track on TAP (Tests and Proofs) of the 27th International Symposium on Formal Methods (FM 2026) Notification6 Feb 2026 Format15 pages LNCS + references (regular/long tool/case studies) / 6 pages + ref (short)
DBLPtap ↗
Acceptance rate
2021 60% 6/10
2019 53% 10/19
2018 56% 10/18
2017 56% 9/16
| ||||||
| HSCC/ICCPS 2026 | 13 Nov 2025closed 273 days ago abstract 6 Nov 2025 | 11–14 May 2026 Saint-Malo, Bretagne 🇫🇷 | — | ACMFree access | ||
29th ACM International Conference on Hybrid Systems: Computation and Control, and 17th ACM/IEEE International Conference on Cyber-Physical Systems Regular papers and tool/case study papers can both be long or short. The conference itself will consist of parallel tracks and a semi-plenary speaker, continuing traditions established in past HSCC/ICCPS conferences.This “pre-merger” transitional structure will apply to the 2026 version of these conferences (unified submission, review process and multi-track conferences but distinct proceedings) before a planned “full merge” in 2027. The full merge structure will be a combined conference with a single name and proceedings while retaining the three distinct tracks. | ||||||
| RTAS 2026 | 13 Nov 2025closed 273 days ago | 12–14 May 2026 Saint-Malo, Bretagne 🇫🇷 | A | IEEEPaywalled | ||
32nd IEEE Real-Time and Embedded Technology and Applications Symposium Two tracks (Systems and Applications / Applied Methodologies and Foundations). | ||||||
| S&P 2026 | 13 Nov 2025closed 273 days ago abstract 6 Nov 2025 | 18–21 May 2026 San Francisco 🇺🇸 | A | Computer Society’s Digital LibraryFree access, copyright transferred | ||
47th IEEE Symposium on Security and Privacy Two sets of submission periods; early rejection. | ||||||
| FormaliSE 2026 | 6 Nov 2025closed 280 days ago was 23 Octextended | 12–13 Apr 2026 Rio de Janeiro 🇧🇷 | — | IEEE/ACMFree access | ||
14th International Conference on Formal Methods in Software Engineering Notification5 Jan 2026 Format10 pages ACM + references (full papers / case study papers), 4 pages (research ideas / extended abstracts)
DBLPicse-formalise ↗
| ||||||
| 30 Years of UPPAAL 2025 one-off | 18 Oct 2025closed 299 days ago | 1–4 Nov 2025 Rhodes 🇬🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| SAC 2026 | 17 Oct 2025closed 300 days ago was 26 Sepextended | 23–27 Mar 2026 Thessaloniki 🇬🇷 | — | ACMFree access | ||
41st ACM/SIGAPP Symposium On Applied Computing
Acceptance rate
2024 23% 180/773
39 tracks, student abstracts, Student Research Competition, etc. | ||||||
| FASE 2026 | 16 Oct 2025closed 301 days ago | 11–16 Apr 2026 Turin 🇮🇹 | B | Springer ARCoSS LNCSCC BY | ||
29th International Conference on Fundamental Approaches to Software Engineering Notification22 Dec 2025 Format18 pages LNCS + bibliography (research / empirical evaluation) / 8 pages (new ideas and emerging results) / 8+6 pages (tool demo / data showcase)
DBLPfase ↗
Acceptance rate
2021 31% 16/51
| ||||||
| FoSSaCS 2026 | 16 Oct 2025closed 301 days ago | 11–16 Apr 2026 Turin 🇮🇹 | A | Springer ARCoSS LNCSCC BY | ||
29th International Conference on Foundations of Software Science and Computation Structures
Acceptance rate
2023 31% 26/85
2017 32% 32/101
| ||||||
| TACAS 2026 | 16 Oct 2025closed 301 days ago | 11–16 Apr 2026 Turin 🇮🇹 | A | Springer ARCoSS LNCSCC BY | ||
32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems Notification22 Dec 2025 Format16 pages LNCS + bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)
DBLPtacas ↗
| ||||||
| JFLA 2026 | 16 Oct 2025closed 301 days ago firm no extension | 27–30 Jan 2026 Oberbronn 🇫🇷 | — | HALFree access | → | |
| JRWRTC 2025 | 10 Oct 2025closed 307 days ago abstract 3 Oct 2025 | 5–7 Nov 2025 Pisa 🇮🇹 | — | BookletFree access | ||
18th Junior Researcher Workshop on Real-Time Computing Notification20 Oct 2025 Format4 pages IEEE + references
Must be co-authored by at least one junior (i.e., PhD student) researcher. | ||||||
| AAMAS 2026 | 8 Oct 2025closed 309 days ago abstract 1 Oct 2025 | 25–29 May 2026 Paphos 🇨🇾 | A* | ACMFree access, copyright transferred | ||
25th International Conference on Autonomous Agents and Multiagent Systems | ||||||
| STACS 2026 | 25 Sep 2025closed 322 days ago | 10–13 Mar 2026 Grenoble 🇫🇷 | A | LIPIcsCC BY-ND | → | |
| DATE 2026 | 22 Sep 2025closed 325 days ago abstract 15 Sep 2025 | 20–22 Apr 2026 Verona 🇮🇹 | A | IEEEPaywalled | ||
29th Design Automation and Test in Europe Conference Double blind. 4 tracks. | ||||||
| VALUETOOLS 2025 | 17 Sep 2025closed 330 days ago was 15 Augextended | 11–12 Dec 2025 Glasgow 🏴 | — | Springer LNICST seriesPaywalled, for-profit | ||
18th EAI International Conference on Performance Evaluation Methodologies and Tools Notification27 Oct 2025 Format12-15+ pages + references (full) / 6-11 pages (short)
DBLPvaluetools ↗
Acceptance rate
2023 37%
No edition in 2018. | ||||||
| SoICT 2025 | 15 Sep 2025closed 332 days ago abstract 5 Sep 2025 | 12–14 Dec 2025 Nha Trang 🇻🇳 | — | Springer LNCSPaywalled, for-profit | ||
14th International Symposium on Information and Communication Technology | ||||||
| VMCAI 2026 | 15 Sep 2025closed 332 days ago was 10 Sepextended | 12–13 Jan 2026 Rennes, Bretagne 🇫🇷 | B | Springer LNCSPaywalled, for-profit | ||
27th International Conference on Verification, Model Checking, and Abstract Interpretation Notification6 Nov 2025 Format20 pages LNCS + references + appendix (regular / case studies) / 12 pages + references (tool)
DBLPvmcai ↗
Acceptance rate
2025 42% 20/48
2024 41% 30/74
2023 50% 17/34
2018 56% 24/43
2017 45% 27/60
2016 36% 24/67
2015 45% 24/53
| ||||||
| SETTA 2025 | 30 Aug 2025closed 348 days ago was 20 Augextended | 1–3 Dec 2025 Oxford 🏴 | — | Springer LNCSPaywalled, for-profit | → | |
| ReacTS 2025 | 27 Aug 2025closed 351 days ago was 20 Augextended | 10–11 Nov 2025 Toledo 🇪🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| FMAS 2025 | 22 Aug 2025closed 356 days ago | 17–19 Nov 2025 Paris 🇫🇷 | — | EPTCSCC BY | → | |
| SBMF 2025 | 15 Aug 2025closed 363 days ago was 8 Augextended | 3–5 Dec 2025 Recife - Pernambuco 🇧🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| ACOMPA 2025 | 8 Aug 2025closed about a year ago | 27–29 Nov 2025 Hồ-Chí-Minh City 🇻🇳 | — | IEEE CPSPaywalled | ||
19th International Conference on Advanced Computing and Analytics
Acceptance rate
2013 33% 32/96
Named ACOMP until 2021. | ||||||
| VECoS 2025 | 25 Jul 2025closed about a year ago was 23 Junextended | 4–6 Nov 2025 Saclay 🇫🇷 | C | Springer LNCSPaywalled | → | |
| PRDC 2025 | 25 Jul 2025closed about a year ago abstract 11 Jul 2025 | 3–5 Nov 2025 Seoul 🇰🇷 | C | IEEEPaywalled | ||
30th IEEE Pacific Rim International Symposium on Dependable Computing Notification22 Aug 2025 Format10 pages IEEE (regular) / 6 pages (practical experience reports), excluding references
DBLPprdc ↗
Acceptance rate
2017 57% 30/53
2015 39% 44/114
2014 48% 31/64
Also featuring: fast abstract, industry track, poster (different deadlines). | ||||||
| CSF 2026 | 24 Jul 2025closed about a year ago | 26–29 Jul 2026 Lisbon 🇵🇹 | A | IEEEPaywalled | ||
39th IEEE Computer Security Foundations Symposium
Acceptance rate
2018 35% 25/72
2017 34% 32/94
Three submission cycles: summer, fall, winter. | ||||||
| CSL 2026 | 21 Jul 2025closed about a year ago abstract 15 Jul 2025 | 23–28 Feb 2026 Paris 🇫🇷 | B | LIPIcsCC BY | → | |
| ICSE 2026 | 18 Jul 2025closed about a year ago | 12–18 Apr 2026 Rio de Janeiro 🇧🇷 | A* | ACM openFree access | → | |
| MSR 2025 | 18 Jul 2025closed about a year ago was 6 Junextended | 19–21 Nov 2025 Reims 🇫🇷 | — | HALFree access | ||
15e colloque sur la Modélisation des Systèmes Réactifs Notification10 Sep 2025 Format14 pages EasyChair
In French, but English papers accepted. Poster PhD session. | ||||||
| VSTTE 2025 | 18 Jul 2025closed about a year ago abstract 14 Jul 2025 | 6–7 Oct 2025 Menlo Park 🇺🇸 | — | LNCSPaywalled, for-profit | → | |
| APSEC 2025 | 13 Jul 2025closed about a year ago abstract 6 Jul 2025 | 2–5 Dec 2025 Macao 🇲🇴 | C | IEEE CSPaywalled | ||
32nd Asia-Pacific Software Engineering Conference | ||||||
| FSTTCS 2025 | 11 Jul 2025closed about a year ago abstract 4 Jul 2025 | 17–19 Dec 2025 Goa Campus 🇮🇳 | — | LIPIcsCC BY | → | |
| POPL 2026 | 10 Jul 2025closed about a year ago | 11–17 Jan 2026 Rennes, Bretagne 🇫🇷 | A* | PACMPLCC BY | ||
53rd ACM SIGPLAN Symposium on Principles of Programming Languages 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. | ||||||
| ICTAC 2025 | 9 Jul 2025closed about a year ago was 21 Junextended | 24–28 Nov 2025 Marrakech 🇲🇦 | C | Springer LNCSPaywalled, for-profit | → | |
| SynCoP 2025 | 7 Jul 2025closed about a year ago was 30 Junextended | 25 Aug 2025 Aarhus 🇩🇰 | — | informal | → | |
| RP 2025 | 4 Jul 2025closed about a year ago was 27 Junextended | 1–3 Oct 2025 Madrid 🇪🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| ERTS 2026 | 29 Jun 2025closed about a year ago was 8 Junextended | 5–6 Feb 2026 Toulouse 🇫🇷 | — | ? | ||
Embedded Real-Time Systems Congress Notification26 Sep 2025 Format4 pages (extended abstract / short) / 10 pages (full, if abstract accepted)
| ||||||
| RSSRail 2025 | 27 Jun 2025closed about a year ago was 13 Junextended | 26–28 Nov 2025 Pisa 🇮🇹 | — | Springer LNCSPaywalled, for-profit | ||
6th International Conference on Reliability, Safety, and Security of Railway Systems | ||||||
| WST 2025 | 25 Jun 2025closed about a year ago | 3–4 Sep 2025 Leipzig 🇩🇪 | — | Web pageFree access | ||
20th International Workshop on Termination Notification16 Jul 2025 Format5 pages LIPIcs
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. | ||||||
| ICSEA 2025 | 24 Jun 2025closed about a year ago | 28 Sep – 2 Oct 2025 Lisbon 🇵🇹 | C | ThinkMindFree access, copyright transferred | ||
20th International Conference on Software Engineering Advances Notification27 Jul 2025 Format6 pages (regular) / 4 pages (short/work in progress) / 2 pages (ideas/poster)
DBLPicsea ↗
More paper categories (poster, extended abstracts, presentations, demos, doctoral forum…). | ||||||
| SEFM 2025 | 23 Jun 2025closed about a year ago was 20 Junextended | 10–14 Nov 2025 Toledo 🇪🇸 | B | Springer LNCSPaywalled, for-profit | → | |
| FROM 2025 | 22 Jun 2025closed about a year ago was 7 Junextended | 17–19 Sep 2025 Iași 🇷🇴 | — | EPTCSCC BY | → | |
| DaLí 2025 | 20 Jun 2025closed about a year ago was 5 Junextended | 20–21 Oct 2025 Xi’An 🇨🇳 | — | Springer LNCSPaywalled, for-profit | ||
6th Workshop on Dynamic Logic - New trends and applications Notification25 Jul 2025 Format15 pages LNCS (regular) + bibliography / 6-8 pages (short) + 1p bibliography
DBLPdali ↗
| ||||||
| iFM 2025 | 20 Jun 2025closed about a year ago was 6 Junextended | 19–21 Nov 2025 Paris 🇫🇷 | B | Springer LNCSPaywalled, for-profit | ||
20th International Conference on integrated Formal Methods Notification8 Aug 2025 Format16 pages LNCS + references (research / regular / case study) / 6 pages (short)
DBLPifm ↗
Acceptance rate
2013 25%
2012 37%
| ||||||
| ICTSS 2025 | 16 Jun 2025closed about a year ago | 17–19 Sep 2025 Limassol 🇨🇾 | C | Springer LNCSPaywalled, for-profit | ||
37th International Conference on Testing Software and Systems Notification14 Jul 2025 Format15 pages LNCS + references (long / industry) / 6 pages + 1 (short)
DBLPpts ↗
| ||||||
| EUMAS 2025 | 15 Jun 2025closed about a year ago was 16 Mayextended | 3–5 Sep 2025 Bucharest 🇷🇴 | — | Springer LNCS/LNAIPaywalled, for-profit | ||
22nd European Conference on Multi-Agent Systems Notification15 Jul 2025 Formatoriginal (15 pages LNCS + references) / demonstrators (5 pages)
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) | ||||||
| ICFEM 2025 | 15 Jun 2025closed about a year ago was 1 Junextended | 10–13 Nov 2025 Hangzhou 🇨🇳 | C | Springer LNCSPaywalled, for-profit | → | |
| EuroMPI/USA 2025 | 6 Jun 2025closed about a year ago was 23 Mayextended | 1–3 Oct 2025 Charlotte 🇺🇸 | C | Springer LNCSPaywalled, for-profit | ||
EuroMPI Conference
Acceptance rate
2014 46% 18/39
Warning: notification date extended after submission, and without notice (2014). | ||||||
| GandALF 2025 | 6 Jun 2025closed about a year ago was 30 Mayextended | 15–18 Sep 2025 Valletta 🇲🇹 | — | EPTCSCC BY | → | |
| RV 2025 | 6 Jun 2025closed about a year ago was 30 Mayextended | 15–19 Sep 2025 Graz 🇦🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| APLAS 2025 | 31 May 2025closed about a year ago | 27–30 Oct 2025 Bangalore 🇮🇳 | B | Springer LNCSPaywalled, for-profit | ||
23rd Asian Symposium on Programming Languages and Systems Notification18 Jul 2025 Format17 pages LNCS (research) + references
Light double-blind reviewing process. Best paper award. Rebuttal: 7-9 July 2025. | ||||||
| HYPER 2025 | 30 May 2025closed about a year ago | 21 Jul 2025 Zagreb 🇭🇷 | — | informalFree access, copyright transferred | ||
4th Workshop on Hyperproperties: Advances in Theory and Applications Format3 pages LNCS + references
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. | ||||||
| HCVS 2025 | 30 May 2025closed about a year ago was 16 Mayextended | 22 Jul 2025 Zagreb 🇭🇷 | — | EPTCSCC BY | ||
12th Workshop on Horn Clauses for Verification and Synthesis Notification15 Jun 2025 Format12 pages EPTCS + biblio (regular) / 4 pages (tools) / 3 pages (extended abstract)
Co-located with CAV 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. | ||||||
| ASE 2025 | 30 May 2025closed about a year ago | 16–20 Nov 2025 Seoul 🇰🇷 | A | ACMACM Digital Library | ||
40th IEEE/ACM International Conference on Automated Software Engineering Notification14 Aug 2025 Format10 pages ACM + references
Double-blind submissions. Also journal-first, tool demo, industry showcase. | ||||||
| RTNS 2025 | 29 May 2025closed about a year ago | 5–7 Nov 2025 Pisa 🇮🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| Highlights 2025 | 28 May 2025closed about a year ago | 1–5 Sep 2025 Saarbrücken 🇩🇪 | — | informal | → | |
| TIME 2025 | 26 May 2025closed about a year ago was 22 Mayextended | 27–29 Aug 2025 London 🏴 | C | LIPIcsCC BY | → | |
| MEMOCODE 2025 | 23 May 2025closed about a year ago was 3 Mayextended | 2–3 Oct 2025 Taipei 🇹🇼 | C | IEEEPaywalled | → | |
| RTSS 2025 | 22 May 2025closed about a year ago firm no extension | 2–5 Dec 2025 Boston 🇺🇸 | A* | IEEEPaywalled | → | |
| SYNT 2025 | 18 May 2025closed about a year ago | 22 Jul 2025 Zagreb 🇭🇷 | — | informalFree access | → | |
| TABLEAUX 2025 | 18 May 2025closed about a year ago was 14 Mayextended | 27 Sep – 3 Oct 2025 Reykjavik 🇮🇸 | A | Springer LNAI/LNCSCC BY | ||
34th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Notification30 Jun 2025 Format15 pages LNCS + references (research) / 9 pages + references (system descriptions, user experiences, case studies and domain models)
Part of FroCoS/ITP/TABLEAUX’25. | ||||||
| LOPSTR 2025 | 16 May 2025closed about a year ago abstract 9 May 2025 | 9–10 Sep 2025 University of Calabria 🇮🇹 | B | Springer LNCSPaywalled, for-profit | ||
35th International Symposium on Logic-Based Program Synthesis and Transformation Notification27 Jun 2025 Format15 pages Springer + references + appendix / 8 pages + references (short)
Part of ICLP 2025 and co-located with PPDP 2025. 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. | ||||||
| CIAA 2025 | 16 May 2025closed about a year ago was 3 Mayextended | 22–25 Sep 2025 Palermo 🇮🇹 | C | Springer LNCSPaywalled, for-profit | ||
29th International Conference Implementation and Application of Automata | ||||||
| RTSOPS 2025 | 15 May 2025closed about a year ago was 8 Mayextended | 8 Jul 2025 Brussels 🇧🇪 | none? | |||
13th International Real-Time Scheduling Open Problems Seminar Notification5 Jun 2025 Format2 A4 pages + references
| ||||||
| PeNGE 2025 | 13 May 2025closed about a year ago was 29 Aprextended | 24 Jun 2025 Paris 🇫🇷 | — | ACMFree access, copyright transferred | ||
Petri Net games, examples and quizzes for education, contest and fun Notification19 May 2025 Format4-8 pages CEUR
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). | ||||||
| ISSRE 2025 | 12 May 2025closed about a year ago was 5 Mayextended | 21–24 Oct 2025 São Paulo 🇧🇷 | A | IEEEPaywalled | → | |
| Rodin Workshop 2025 | 10 May 2025closed about a year ago | 10 Jun 2025 Düsseldorf 🇩🇪 | — | informalFree access, copyright transferred | ||
12th Rodin User and Developer Workshop Format1-2 pages
Collocated with ABZ 2025 | ||||||
| Sensei 2025 | 10 May 2025closed about a year ago | 9 Sep 2025 Stockholm 🇸🇪 | — | Springer LNCSPaywalled, for-profit | ||
Fourth International Workshop on Security and Safety Interactions Notification30 May 2025 Format12 pages LNCS including references (research) / 6+ pages (short)
| ||||||
| FCT 2025 | 6 May 2025closed about a year ago | 15–17 Sep 2025 Wrocław 🇵🇱 | B | Springer LNCS ARCoSSPaywalled, for-profit | ||
25th International Symposium on Fundamentals of Computation Theory Every two days. | ||||||
| CMSB 2025 | 5 May 2025closed about a year ago abstract 28 Apr 2025 | 10–12 Sep 2025 Lyon 🇫🇷 | — | Springer LNCS/LNBIPaywalled, for-profit | → | |
| FMCAD 2025 | 5 May 2025closed about a year ago was 27 Aprextended | 6–10 Oct 2025 Menlo Park 🇺🇸 | B | TU Wien Academic Press / ACM/IEEECC BY | → | |
| VORTEX 2025 | 2 May 2025closed about a year ago abstract 25 Apr 2025 | 4 Jul 2025 Bergen 🇳🇴 | — | ACMACM Digital Library | ||
8th Workshop on Verification and Monitoring at Runtime Execution Notification16 May 2025 Format12 pages in jot style (long) / 6 pages (short)
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. | ||||||
| ATVA 2025 | 25 Apr 2025closed about a year ago was 18 Aprextended | 27–30 Oct 2025 Bangalore 🇮🇳 | B | Springer LNCSPaywalled, for-profit | → | |
| EPEW 2025 | 25 Apr 2025closed about a year ago was 1 Aprextended | 26 Jun 2025 Catania 🇮🇹 | — | Springer LNCSPaywalled, for-profit | ||
21st European Performance Engineering Workshop Notification15 May 2025 Format15 pages LNCS (including references) / 7-10 pages (short, unpublished)
Co-located with ECMS 2025. Post-proceedings. Best paper presentation award. | ||||||
| PNSE 2025 | 25 Apr 2025closed about a year ago was 28 Marextended | 23–24 Jun 2025 Paris 🇫🇷 | — | CEUR-WS | → | |
| SPLC 2025 | 24 Apr 2025closed about a year ago was 10 Aprextended | 1–5 Sep 2025 Coruña 🇪🇸 | — | ACM digital libraryACM Digital Library | ||
29th ACM International Systems and Software Product Line Conference Notification29 May 2025 Format10 pages ACM + 2 pages references (full) / 5+2 pages (short)
Also journal-first, demo papers, doctoral symposium…. | ||||||
| MFCS 2025 | 18 Apr 2025closed about a year ago | 25–29 Aug 2025 Warsaw 🇵🇱 | A | LIPIcsCC BY | → | |
| QEST+FORMATS 2025 | 18 Apr 2025closed about a year ago was 11 Aprextended | 25–30 Aug 2025 Aarhus 🇩🇰 | — | Springer LNCSPaywalled, for-profit | → | |
| AFADL 2025 | 14 Apr 2025closed about a year ago was 7 Aprextended | 17–18 Jun 2025 Pau 🇫🇷 | — | arXivFree access | ||
24e journées des Approches Formelles dans l’Assistance au Développement de Logiciels Notification20 May 2025 Format8 pages (original) / 4 pages (PhD) / 4 pages (tools) / 4 pages (projects) / 4 pages (long abstract)
In French. | ||||||
| DLT 2025 | 14 Apr 2025closed about a year ago was 31 Marextended | 19–22 Aug 2025 Seoul 🇰🇷 | C | LNCSPaywalled, for-profit | ||
29th International Conference on Developments in Language Theory | ||||||
| FMICS 2025 | 11 Apr 2025closed about a year ago was 4 Aprextended | 25–30 Aug 2025 Aarhus 🇩🇰 | C | Springer LNCSPaywalled, for-profit | → | |
| CONCUR 2025 | 9 Apr 2025closed about a year ago abstract 3 Apr 2025 | 26–29 Aug 2025 Aarhus 🇩🇰 | A | LIPIcsCC BY | → | |
| RTCSA 2025 | 5 Apr 2025closed about a year ago was 31 Marextended | 20–22 Aug 2025 Singapore 🇸🇬 | B | IEEE XplorePaywalled | → | |
| CDC 2025 | 31 Mar 2025closed about a year ago | 9–12 Dec 2025 Rio de Janeiro 🇧🇷 | A | IEEEPaywalled | ||
64th IEEE Conference on Decision and Control 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. | ||||||
| EMSOFT 2025 | 30 Mar 2025closed about a year ago abstract 23 Mar 2025 | 28 Sep – 3 Oct 2025 Taipei 🇹🇼 | A | ACM/IEEEACM Digital Library | → | |
| ATAED 2025 | 28 Mar 2025closed about a year ago abstract 18 Mar 2025 | 24 Jun 2025 Paris 🇫🇷 | — | ? | ||
Algorithms & Theories for the Analysis of Event Data 2025 Notification11 Apr 2025 Format15 pages CEUR (full) / 8 pages (short)
Satellite of Petri Nets 2025 | ||||||
| BPM 2025 | 11 Mar 2025closed about a year ago abstract 4 Mar 2025 | 31 Aug – 5 Sep 2025 Seville 🇪🇸 | A | Springer LNCSPaywalled, for-profit | ||
23rd Business Process Management Conference Notification8 May 2025 Format16 pages LNCS
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. | ||||||
| ABZ 2025 | 2 Mar 2025closed about a year ago was 10 Febextended | 10–13 Jun 2025 Düsseldorf 🇩🇪 | — | SpringerPaywalled, for-profit | → | |
| ECRTS 2025 | 28 Feb 2025closed about a year ago | 8–11 Jul 2025 Brussels 🇧🇪 | B | LIPIcsCC BY | → | |
| FSCD 2025 | 22 Feb 2025closed about a year ago was 17 Febextended | 15–18 Jul 2025 Birmingham 🏴 | A | LIPIcsCC BY | → | |
| TASE 2025 | 21 Feb 2025closed about a year ago was 7 Febextended | 14–16 Jul 2025 Limassol 🇨🇾 | — | Springer LNCSPaywalled, for-profit | → | |
| FORTE 2025 | 21 Feb 2025closed about a year ago was 7 Febextended | 16–20 Jun 2025 Lille 🇫🇷 | C | Springer LNCS IFIPPaywalled, for-profit, embargoed | → | |
| SERA 2025 | 21 Feb 2025closed about a year ago | 29–31 May 2025 Las Vegas 🇺🇸 | C | IEEE CPSPaywalled | ||
23rd IEEE/ACIS International Conference on Software Engineering Research, Management and Applications Notification21 Mar 2025 Format8 pages IEEE (full) / 4 pages (short)
Best Paper Award and Best Student Paper Awards. Conference officers will select outstanding papers for publication in three journals. | ||||||
| COORDINATION 2025 | 21 Feb 2025closed about a year ago was 7 Febextended | 16–20 Jun 2025 Lille 🇫🇷 | C | LNCS-IFIPPaywalled, for-profit, embargoed | → | |
| ICPS 2025 | 17 Feb 2025closed about a year ago | 12–15 May 2025 Emden 🇩🇪 | — | IEEE-XplorePaywalled | ||
8th IEEE Conference on Industrial Cyber-Physical Systems Two-round submission. | ||||||
| SAFECOMP 2025 | 14 Feb 2025closed about a year ago abstract 7 Feb 2025 | 9–12 Sep 2025 Stockholm 🇸🇪 | B | Springer LNCSPaywalled, for-profit | ||
44th International Conference on Computer Safety, Reliability and Security Notification12 Apr 2025 Formatregular (14 pages LNCS) / practical experience reports and tools (8 pages) / position (4 pages)
DBLPsafecomp ↗
Acceptance rate
2021 22% 17/76
Key theme in 2025: "Managing safety in an era of a software-defined computing continuum". | ||||||
| SPIN 2025 | 13 Feb 2025closed about a year ago | 7–8 May 2025 Hamilton 🇨🇦 | — | Springer LNCSPaywalled, for-profit | → | |
| ICECCS 2025 | 11 Feb 2025closed about 2 years ago was 4 Febextended | 2–4 Jul 2025 Hangzhou 🇨🇳 | B | Springer LNCSPaywalled, for-profit | → | |
| ICALP 2025 | 8 Feb 2025closed about 2 years ago firm no extension | 8–11 Jul 2025 Aarhus 🇩🇰 | A | LIPIcsCC BY | → | |
| ISORC 2025 | 2 Feb 2025closed about 2 years ago was 8 Janextended | 26–28 May 2025 Toulouse 🇫🇷 | C | IEEEPaywalled | → | |
| CAV 2025 | 31 Jan 2025closed about 2 years ago | 21–25 Jul 2025 Zagreb 🇭🇷 | A* | Springer LNCSCC BY | → | |
| Petri Nets 2025 | 29 Jan 2025closed about 2 years ago was 22 Janextended | 23–27 Jun 2025 Paris 🇫🇷 | B | Springer LNCSPaywalled, for-profit | → | |
| IJCAI 2025 | 23 Jan 2025closed about 2 years ago abstract 16 Jan 2025 | 16–22 Aug 2025 Montréal 🇨🇦 | A* | AAAI PressFree access, copyright transferred | ||
34th International Joint Conference on Artificial Intelligence Early rejection. Satellite event in Guangzhou. | ||||||
| LiCS 2025 | 23 Jan 2025closed about 2 years ago abstract 16 Jan 2025 | 23–26 Jun 2025 Singapore 🇸🇬 | A* | ACM SIGPLAN ProceedingsACM Digital Library | → | |
| NFM 2025 | 22 Dec 2024closed about 2 years ago was 13 Decextended | 11–13 Jun 2025 Hampton Roads 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| FormaliSE 2025 | 25 Nov 2024closed about 2 years ago was 18 Novextended | 27–28 Apr 2025 Ottawa 🇨🇦 | — | IEEE/ACMACM Digital Library | → | |
| HSCC 2025 discontinued | 14 Nov 2024closed about 2 years ago | 6–9 May 2025 Irvine 🇺🇸 | — | ACMACM Digital Library | → | |
| ICCPS 2025 discontinued | 14 Nov 2024closed about 2 years ago abstract 7 Nov 2024 | 6–9 May 2025 Irvine 🇺🇸 | — | ACMACM Digital Library | → | |
| RTAS 2025 | 14 Nov 2024closed about 2 years ago | 6–9 May 2025 Irvine 🇺🇸 | A | IEEEPaywalled | → | |
| S&P 2025 | 14 Nov 2024closed about 2 years ago | 12–14 May 2025 San Francisco 🇺🇸 | A* | Computer Society’s Digital LibraryFree access, copyright transferred | → | |
| ICPE 2025 | 1 Nov 2024closed about 2 years ago was 25 Octextended | 5–9 May 2025 Toronto 🇨🇦 | B | ACMACM Digital Library | ||
16th ACM/SPEC International Conference on Performance Engineering Double blind. Several other tracks such as: industry, journal-first, artifact, data challenge… | ||||||
| ISSTA 2025 | 31 Oct 2024closed about 2 years ago | 25–28 Jun 2025 Trondheim 🇳🇴 | A | PACMSEACM Digital Library | → | |
| FSEN 2025 | 28 Oct 2024closed about 2 years ago was 14 Octextended | 7–8 Apr 2025 Västerås 🇸🇪 | — | Springer LNCSPaywalled, for-profit | → | |
| AAMAS 2025 | 16 Oct 2024closed about 2 years ago abstract 9 Oct 2024 | 19–23 May 2025 Detroit 🇺🇸 | A* | ACMFree access, copyright transferred | → | |
| OOPSLA 2025 | 15 Oct 2024closed about 2 years ago | 12–18 Oct 2025 Singapore 🇸🇬 | A | PACMPLFree access | ||
OOPSLA issue of the Proceedings of the ACM on Programming Languages (PACMPL) Notification18 Dec 2024 Format23 pages (+ references)
Gold open access, but payment not required (on a volunteer basis). Two rounds of reviewing. | ||||||
| Web Conference 2025 | 14 Oct 2024closed about 2 years ago abstract 7 Oct 2024 | 28 Apr – 2 May 2025 Sydney 🇦🇺 | A* | ACM Digital Library + conference Web siteFree access, copyright transferred | ||
ACM Web Conference
Acceptance rate
2015 14% 131/929
Formerly WWW. | ||||||
| SAC 2025 | 13 Oct 2024closed about 2 years ago was 20 Sepextended | 31 Mar – 4 Apr 2025 Catania 🇮🇹 | B | ACMACM Digital Library | → | |
| TACAS 2025 | 10 Oct 2024closed about 2 years ago | 3–8 May 2025 Hamilton 🇨🇦 | A | Springer ARCoSS LNCSCC BY | → | |
| FoSSaCS 2025 | 10 Oct 2024closed about 2 years ago | 3–8 May 2025 Hamilton 🇨🇦 | A | Springer ARCoSS LNCSCC BY | → | |
| FASE 2025 | 10 Oct 2024closed about 2 years ago | 3–8 May 2025 Hamilton 🇨🇦 | B | Springer ARCoSS LNCSCC BY | → | |
| JRWRTC 2024 | 8 Oct 2024closed about 2 years ago abstract 3 Oct 2024 | 6–8 Nov 2024 Porto 🇵🇹 | — | PDFFree access | → | |
| ICST 2025 | 2 Oct 2024closed about 2 years ago was 25 Sepextended | 31 Mar – 4 Apr 2025 Naples 🇮🇹 | A | IEEEPaywalled | ||
18th IEEE International Conference on Software Testing, Verification and Validation Also journal-first, doctoral symposium, software testing contest, tool demos, industry track papers… | ||||||
| CSF 2025 | 1 Oct 2024closed about 2 years ago | 16–20 Jun 2025 Santa Cruz 🇺🇸 | A | IEEEPaywalled | → | |
| NWPT 2024 | 1 Oct 2024closed about 2 years ago was 24 Sepextended | 6–8 Nov 2024 Copenhagen 🇩🇰 | — | |||
35th Nordic Workshop On Programming Theory Notification15 Oct 2024 Format2-3 pages Easychair
No formal proceedings (PDF on Web page). Work in progress and concurrent submissions allowed. | ||||||
| VMCAI 2025 | 1 Oct 2024closed about 2 years ago was 9 Sepextended | 20–21 Jan 2025 Denver 🇺🇸 | B | Springer LNCSPaywalled, for-profit | → | |
| STACS 2025 | 26 Sep 2024closed about 2 years ago | 4–7 Mar 2025 Jena 🇩🇪 | A | LIPIcsCC BY-ND | → | |
| DATE 2025 | 22 Sep 2024closed about 2 years ago abstract 15 Sep 2024 | 31 Mar – 2 Apr 2025 Lyon 🇫🇷 | B | IEEEPaywalled | → | |
| ICAASE 2024 | 22 Sep 2024closed about 2 years ago abstract 24 Aug 2024 | 9–10 Nov 2024 Constantine 🇩🇿 | — | IEEE CPSPaywalled | ||
6th International Conference on Advanced Aspects of Software Engineering 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. Every two years. | ||||||
| SoICT 2024 | 18 Sep 2024closed about 2 years ago abstract 13 Sep 2024 | 13–15 Dec 2024 Đà Nẵng 🇻🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| VALUETOOLS 2024 | 15 Sep 2024closed about 2 years ago | 12–13 Dec 2024 Milan 🇮🇹 | — | Springer LNICST seriesPaywalled, for-profit | → | |
| FSE 2025 | 12 Sep 2024closed about 2 years ago abstract 5 Sep 2024 | 23–27 Jun 2025 Trondheim 🇳🇴 | A* | ACMACM Digital Library | ||
ACM International Conference on the Foundations of Software Engineering (FSE) Open science policy. Non-binary answer (includes major revision). Also tutorials, doctoral symposium, tool demos and others. | ||||||
| ICLA 2025 | 29 Aug 2024closed about 2 years ago was 15 Augextended | 3–5 Feb 2025 Indian Statistical Institute Kolkata 🇮🇳 | — | FoLLI-LNCSPaywalled, for-profit | ||
9th Indian Conference on Logic and its Applications
Acceptance rate
2019 38% 13/34
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. | ||||||
| SETTA 2024 | 28 Aug 2024closed about 2 years ago was 19 Augextended | 26–28 Nov 2024 Hong Kong 🇭🇰 | — | Springer LNCSPaywalled, for-profit | → | |
| ReacTS 2024 | 27 Aug 2024closed about 2 years ago was 20 Augextended | 5 Nov 2024 Aveiro 🇵🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| SBMF 2024 | 18 Aug 2024closed about 2 years ago was 5 Julextended | 4–6 Dec 2024 Vitória - Espírito Santo 🇧🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| RTNS 2024 | 16 Aug 2024closed about 2 years ago abstract 14 Aug 2024 | 7–8 Nov 2024 Porto 🇵🇹 | — | ACM ICPSACM Digital Library | → | |
| PRDC 2024 | 31 Jul 2024closed about 2 years ago abstract 24 Jul 2024 | 13–15 Nov 2024 Osaka 🇯🇵 | B | IEEEPaywalled | → | |
| KSE 2024 | 30 Jul 2024closed about 2 years ago was 15 Junextended | 5–7 Nov 2024 Kuala Lumpur 🇲🇾 | — | IEEEPaywalled | ||
16th IEEE International Conference on Knowledge and Systems Engineering
Acceptance rate
2014 53% 51/97
Hybrid. Notification extension: 5+4 days in 2015 (with notification on the initial notification date…), 7 days (2016). | ||||||
| VSTTE 2024 | 27 Jul 2024closed about 2 years ago | 14–15 Oct 2024 Prague 🇨🇿 | — | LNCSPaywalled, for-profit | → | |
| CSL 2025 | 23 Jul 2024closed about 2 years ago abstract 18 Jul 2024 | 10–14 Feb 2025 Amsterdam 🇳🇱 | B | LIPIcsCC BY | → | |
| APSEC 2024 | 13 Jul 2024closed about 2 years ago abstract 6 Jul 2024 | 3–6 Dec 2024 Chongqing 🇨🇳 | B | IEEE CSPaywalled | → | |
| FSTTCS 2024 | 12 Jul 2024closed about 2 years ago abstract 5 Jul 2024 | 16–18 Dec 2024 IIT Gandhinagar 🇮🇳 | — | LIPIcsCC BY | → | |
| POPL 2025 | 11 Jul 2024closed about 2 years ago | 19–25 Jan 2025 Denver 🇺🇸 | A* | PACMPLCC BY | → | |
| ICFEM 2024 | 8 Jul 2024closed about 2 years ago was 24 Junextended | 2–6 Dec 2024 Hiroshima 🇯🇵 | C | Springer LNCSPaywalled, for-profit | → | |
| VECoS 2024 | 5 Jul 2024closed about 2 years ago was 13 Mayextended | 16–18 Oct 2024 Djerba 🇹🇳 | C | Springer LNCSPaywalled | → | |
| FROM 2024 | 30 Jun 2024closed about 2 years ago | 16–18 Sep 2024 Timișoara 🇷🇴 | — | EPTCSCC BY | → | |
| ICTAC 2024 | 30 Jun 2024closed about 2 years ago was 21 Junextended | 25–29 Nov 2024 Bangkok - Thailand 🇹🇭 | C | Springer LNCSPaywalled, for-profit | → | |
| SIES 2024 discontinued | 30 Jun 2024closed about 2 years ago was 11 Junextended | 23–25 Oct 2024 Chengdu 🇨🇳 | — | IEEE eXplorePaywalled | → | |
| SEFM 2024 | 28 Jun 2024closed about 2 years ago was 14 Junextended | 4–8 Nov 2024 Aveiro 🇵🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| RP 2024 | 26 Jun 2024closed about 2 years ago was 30 Mayextended | 25–27 Sep 2024 Vienna 🇦🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| TIME 2024 | 21 Jun 2024closed about 2 years ago | 28–30 Oct 2024 Montpellier 🇫🇷 | C | LIPIcsCC BY | → | |
| Highlights 2024 | 17 Jun 2024closed about 2 years ago | 16–20 Sep 2024 Bordeaux 🇫🇷 | — | informal | → | |
| iFM 2024 | 17 Jun 2024closed about 2 years ago was 10 Junextended | 13–15 Nov 2024 Manchester 🏴 | B | Springer LNCSPaywalled, for-profit | → | |
| TAP 2024 | 14 Jun 2024closed about 2 years ago was 15 Mayextended | 9–10 Sep 2024 Milan 🇮🇹 | C | Springer LNCSPaywalled, for-profit | → | |
| ASE 2024 | 7 Jun 2024closed about 2 years ago abstract 31 May 2024 | 27 Oct – 1 Nov 2024 Sacramento 🇺🇸 | A | ACMACM Digital Library | → | |
| EUMAS 2024 | 7 Jun 2024closed about 2 years ago was 15 Mayextended | 26–28 Aug 2024 Dublin 🇮🇪 | — | Springer LNCS/LNAIPaywalled, for-profit | → | |
| FACS 2024 | 30 May 2024closed about 2 years ago was 15 Mayextended | 9–10 Sep 2024 Milan 🇮🇹 | — | Springer LNCSPaywalled, for-profit | ||
20th International Conference Formal Aspects of Component Software Notification3 Jul 2024 Format16 pages LNCS format + references (research / applications / survey) / 6 (tool) + ref / 4 pages (journal-first)
DBLPfacs2 ↗
| ||||||
| RV 2024 | 28 May 2024closed about 2 years ago was 14 Mayextended | 15–18 Oct 2024 İstanbul 🇹🇷 | B | Springer LNCSPaywalled, for-profit | → | |
| MEMOCODE 2024 | 27 May 2024closed about 2 years ago was 20 Mayextended | 3–4 Oct 2024 Raleigh 🇺🇸 | C | IEEEPaywalled | → | |
| RTSS 2024 | 23 May 2024closed about 2 years ago firm no extension | 10–13 Dec 2024 York 🏴 | A* | IEEEPaywalled | → | |
| LOPSTR 2024 | 19 May 2024closed about 2 years ago was 10 Mayextended | 9–11 Sep 2024 Milan 🇮🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| APLAS 2024 | 17 May 2024closed about 2 years ago | 22–25 Oct 2024 Kyoto 🇯🇵 | B | Springer LNCSPaywalled, for-profit | → | |
| WCET 2024 | 16 May 2024closed about 2 years ago was 9 Mayextended | 9 Jul 2024 Lille 🇫🇷 | — | OASIcsCC BY | ||
22nd International Workshop on Worst-Case Execution Time Analysis | ||||||
| ISSRE 2024 | 15 May 2024closed about 2 years ago was 10 Mayextended | 28–31 Oct 2024 Tsukuba 🇯🇵 | A | IEEEPaywalled | → | |
| FMCAD 2024 | 12 May 2024closed about 2 years ago was 5 Mayextended | 15–18 Oct 2024 Prague 🇨🇿 | B | TU Wien Academic Press / ACM/IEEECC BY | → | |
| FMICS 2024 | 8 May 2024closed about 2 years ago was 1 Mayextended | 9–11 Sep 2024 Milan 🇮🇹 | C | Springer LNCSPaywalled, for-profit | → | |
| CMSB 2024 | 5 May 2024closed about 2 years ago was 21 Aprextended | 16–18 Sep 2024 Pisa 🇮🇹 | — | Springer LNCS/LNBIPaywalled, for-profit | → | |
| PNSE 2024 | 30 Apr 2024closed about 2 years ago was 31 Marextended | 24–25 Jun 2024 Geneva 🇨🇭 | — | CEUR-WS | → | |
| CONCUR 2024 | 26 Apr 2024closed about 2 years ago | 9–13 Sep 2024 Calgary 🇨🇦 | A | LIPIcsCC BY | → | |
| MFCS 2024 | 26 Apr 2024closed about 2 years ago | 26–30 Aug 2024 Bratislava 🇸🇰 | A | LIPIcsCC BY | → | |
| ATVA 2024 | 25 Apr 2024closed about 2 years ago was 19 Aprextended | 21–24 Oct 2024 Kyoto 🇯🇵 | B | Springer LNCSPaywalled, for-profit | → | |
| HYPER 2024 | 25 Apr 2024closed about 2 years ago | 23 Jul 2024 Montréal 🇨🇦 | — | informalFree access, copyright transferred | → | |
| AFADL 2024 | 19 Apr 2024closed about 2 years ago abstract 5 Apr 2024 | 3–6 Jun 2024 Strasbourg 🇫🇷 | — | arXivFree access | → | |
| FM 2024 | 19 Apr 2024closed about 2 years ago abstract 15 Apr 2024 | 9–13 Sep 2024 Milan 🇮🇹 | A | Springer LNCSFree access | → | |
| SPLC 2024 | 18 Apr 2024closed about 2 years ago abstract 11 Apr 2024 | 2–6 Sep 2024 Parc Alvisse Hotel 🇱🇺 | — | ACM digital libraryACM Digital Library | → | |
| QEST+FORMATS 2024 | 15 Apr 2024closed about 2 years ago abstract 10 Apr 2024 | 9–13 Sep 2024 Calgary 🇨🇦 | — | Springer LNCSPaywalled, for-profit | → | |
| GandALF 2024 | 10 Apr 2024closed about 2 years ago abstract 7 Apr 2024 | 19–21 Jun 2024 Reykjavik 🇮🇸 | — | EPTCSCC BY | → | |
| EPEW 2024 | 7 Apr 2024closed about 2 years ago | 14 Jun 2024 Venice 🇮🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| OOPSLA 2024 | 5 Apr 2024closed about 2 years ago | 20–25 Oct 2024 Pasadena 🇺🇸 | A | PACMPLFree access | → | |
| RTCSA 2024 | 5 Apr 2024closed about 2 years ago abstract 29 Mar 2024 | 21–23 Aug 2024 Sokcho 🇰🇷 | B | IEEE XplorePaywalled | → | |
| EMSOFT 2024 | 31 Mar 2024closed about 2 years ago abstract 24 Mar 2024 | 29 Sep – 4 Oct 2024 Raleigh 🇺🇸 | A | ACM/IEEEACM Digital Library | → | |
| CDC 2024 | 22 Mar 2024closed about 2 years ago was 15 Marextended | 16–19 Dec 2024 Milan 🇮🇹 | A | IEEEPaywalled | → | |
| ICSE 2025 | 22 Mar 2024closed about 2 years ago abstract 15 Mar 2024 | 26 Apr – 4 May 2025 Ottawa 🇨🇦 | A* | ACMPaywalled | → | |
| SERA 2024 | 22 Mar 2024closed about 2 years ago was 26 Febextended | 30 May – 1 Jun 2024 Honolulu 🇺🇸 | C | IEEE CPSPaywalled | → | |
| BPM 2024 | 8 Mar 2024closed about 2 years ago abstract 1 Mar 2024 | 1–6 Sep 2024 Kraków 🇵🇱 | A | Springer LNCSPaywalled, for-profit | → | |
| TASE 2024 | 5 Mar 2024closed about 2 years ago was 24 Febextended | 29 Jul – 1 Aug 2024 Guiyang City 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| SynCoP 2024 | 25 Feb 2024closed about 2 years ago was 4 Febextended | 6–7 Apr 2024 Luxembourg 🇱🇺 | — | informal | → | |
| ABZ 2024 | 24 Feb 2024closed about 2 years ago was 10 Febextended | 25–28 Jun 2024 Bergamo 🇮🇹 | — | SpringerPaywalled, for-profit | → | |
| FORTE 2024 | 23 Feb 2024closed about 2 years ago was 9 Febextended | 17–21 Jun 2024 Groningen 🇳🇱 | C | Springer LNCS IFIPPaywalled, for-profit | → | |
| LPAR 2024 | 23 Feb 2024closed about 2 years ago abstract 16 Feb 2024 | 26–31 May 2024 Mauritius 🇲🇺 | B | EPiC Series in ComputingFree access | → | |
| SAFECOMP 2024 | 18 Feb 2024closed about 2 years ago was 11 Febextended | 17–20 Sep 2024 Florence 🇮🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| ICALP 2024 | 14 Feb 2024closed about 2 years ago firm no extension | 8–12 Jul 2024 Tallinn 🇪🇪 | A | LIPIcsCC BY | → | |
| IJCAR 2024 | 5 Feb 2024closed about 3 years ago abstract 29 Jan 2024 | 1–6 Jul 2024 Nancy 🇫🇷 | A | Springer LNAI/LNCSCC BY | ||
12th International Joint Conference on Automated Reasoning Notification28 Mar 2024 Format15 pages + references (full) / 7 pages + references (system descriptions)
DBLPijcar ↗
| ||||||
| ISORC 2024 | 4 Feb 2024closed about 3 years ago was 7 Janextended | 22–25 May 2024 Carthage 🇹🇳 | C | IEEEPaywalled | → | |
| HCVS 2024 | 2 Feb 2024closed about 3 years ago | 7 Apr 2024 Luxembourg 🇱🇺 | — | EPTCSCC BY | → | |
| WISTP 2024 | 30 Jan 2024closed about 3 years ago | 29 Feb – 1 Mar 2024 Paris 🇫🇷 | C | Springer LNCSPaywalled, for-profit | ||
14th WISTP International Conference on Information Security Theory and Practice | ||||||
| Petri Nets 2024 | 29 Jan 2024closed about 3 years ago was 22 Janextended | 26–28 Jun 2024 Geneva 🇨🇭 | B | Springer LNCSPaywalled, for-profit | → | |
| CAV 2024 | 26 Jan 2024closed about 3 years ago was 19 Janextended | 24–27 Jul 2024 Montreal 🇨🇦 | A* | Springer LNCSCC BY | → | |
| LiCS 2024 | 26 Jan 2024closed about 3 years ago abstract 21 Jan 2024 | 8–12 Jul 2024 Tallinn 🇪🇪 | A* | ACM SIGPLAN ProceedingsACM Digital Library | → | |
| MARS 2024 | 25 Jan 2024closed about 3 years ago was 15 Janextended | 6 Apr 2024 Luxembourg City 🇱🇺 | — | EPTCSCC BY-ND | → | |
| SPIN 2024 | 22 Jan 2024closed about 3 years ago was 15 Janextended | 6–11 Apr 2024 Luxembourg City 🇱🇺 | — | Springer LNCSPaywalled, for-profit | → | |
| WODES 2024 | 7 Jan 2024closed about 3 years ago | 29 Apr – 1 May 2024 Rio de Janeiro 🇧🇷 | — | ScienceDirect (Elsevier)Paywalled, for-profit | ||
17th IFAC Workshop on Discrete Event Systems | ||||||
| ICECCS 2024 | 5 Jan 2024closed about 3 years ago was 15 Decextended | 19–21 Jun 2024 St. Raphael Resort and Marina 🇨🇾 | B | IEEE Conference Publishing ServicesPaywalled | → | |
| ADHS 2024 | 22 Dec 2023closed about 3 years ago | 1–3 Jul 2024 Boulder 🇺🇸 | — | Science DirectCC BY | ||
8th IFAC Conference on Analysis and Design of Hybrid Systems
Acceptance rate
2018 69% 50/72
| ||||||
| ISSTA 2024 | 15 Dec 2023closed about 3 years ago | 16–20 Sep 2024 Vienna 🇦🇹 | A | ACMACM Digital Library | → | |
| NFM 2024 | 15 Dec 2023closed about 3 years ago was 8 Decextended | 4–6 Jun 2024 Moffett Field 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| FormaliSE 2024 | 8 Dec 2023closed about 3 years ago abstract 1 Dec 2023 | 14–15 Apr 2024 Lisbon 🇵🇹 | — | IEEE/ACMACM Digital Library | → | |
| ICPE 2024 | 17 Nov 2023closed about 3 years ago was 3 Novextended | 7–11 May 2024 London 🏴 | — | ACMACM Digital Library | → | |
| HSCC 2024 discontinued | 31 Oct 2023closed about 3 years ago | 13–16 May 2024 Hong Kong 🇭🇰 | — | ACMACM Digital Library | → | |
| ICCPS 2024 discontinued | 31 Oct 2023closed about 3 years ago abstract 24 Oct 2023 | 13–16 May 2024 Hong Kong 🇭🇰 | — | ACMACM Digital Library | → | |
| RTAS 2024 | 31 Oct 2023closed about 3 years ago | 13–16 May 2024 Hong Kong 🇭🇰 | A | IEEEPaywalled | → | |
| ICST 2024 | 25 Oct 2023closed about 3 years ago abstract 18 Oct 2023 | 27–31 May 2024 Toronto 🇨🇦 | C | IEEEPaywalled | → | |
| ERTS 2024 | 15 Oct 2023closed about 3 years ago | 11–12 Jun 2024 Toulouse 🇫🇷 | — | ? | → | |
| SAC 2024 | 13 Oct 2023closed about 3 years ago was 15 Sepextended | 8–12 Apr 2024 Ávila 🇪🇸 | B | ACMACM Digital Library | → | |
| NWPT 2023 | 13 Oct 2023closed about 3 years ago was 22 Sepextended | 22–23 Nov 2023 Västerås 🇸🇪 | — | → | ||
| FASE 2024 | 12 Oct 2023closed about 3 years ago | 8–11 Apr 2024 Luxembourg City 🇱🇺 | B | Springer ARCoSS LNCSCC BY | → | |
| FoSSaCS 2024 | 12 Oct 2023closed about 3 years ago | 8–11 Apr 2024 Luxembourg City 🇱🇺 | A | Springer ARCoSS LNCSCC BY | → | |
| TACAS 2024 | 12 Oct 2023closed about 3 years ago | 8–11 Apr 2024 Luxembourg City 🇱🇺 | A | Springer ARCoSS LNCSCC BY | → | |
| CSF 2024 | 30 Sep 2023closed about 3 years ago | 8–12 Jul 2024 Enschede 🇳🇱 | A | IEEEPaywalled | → | |
| STACS 2024 | 28 Sep 2023closed about 3 years ago | 12–14 Mar 2024 Clermont-Ferrand 🇫🇷 | A | LIPIcsCC BY-ND | → | |
| FSE 2024 | 23 Sep 2023closed about 3 years ago abstract 21 Sep 2023 | 15–19 Jul 2024 Porto de Galinhas 🇧🇷 | A | ACMACM Digital Library | → | |
| VMCAI 2024 | 31 Aug 2023closed about 3 years ago | 15–16 Jan 2024 London 🏴 | B | Springer LNCSPaywalled, for-profit | → | |
| SETTA 2023 | 24 Aug 2023closed about 3 years ago abstract 17 Aug 2023 | 27–29 Nov 2023 Nanjing 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| SBMF 2023 | 11 Aug 2023closed about 3 years ago was 28 Julextended | 4–8 Dec 2023 Manaus 🇧🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| FROM 2023 | 4 Aug 2023closed about 3 years ago was 25 Julextended | 21–22 Sep 2023 Bucharest 🇷🇴 | — | EPTCSCC BY | → | |
| VSTTE 2023 | 4 Aug 2023closed about 3 years ago was 28 Julextended | 23 Oct 2023 Ames 🇺🇸 | — | LNCSPaywalled, for-profit | → | |
| CSL 2024 | 31 Jul 2023closed about 3 years ago abstract 24 Jul 2023 | 19–23 Feb 2024 Naples 🇮🇹 | B | LIPIcsCC BY | → | |
| FTSCS 2023 discontinued | 21 Jul 2023closed about 3 years ago was 12 Julextended | 22 Oct 2023 Cascais 🇵🇹 | — | ACM Digital LibraryPaywalled | → | |
| PRDC 2023 | 21 Jul 2023closed about 3 years ago was 4 Mayextended | 24–27 Oct 2023 Singapore (+ virtual options) 🇸🇬 | B | IEEEPaywalled | → | |
| FSTTCS 2023 | 19 Jul 2023closed about 3 years ago abstract 12 Jul 2023 | 18–20 Dec 2023 IIT Hyderabad 🇮🇳 | — | LIPIcsCC BY | → | |
| FACS 2023 | 17 Jul 2023closed about 3 years ago was 10 Julextended | 19–20 Oct 2023 Online | — | Springer LNCSPaywalled, for-profit | → | |
| APSEC 2023 | 14 Jul 2023closed about 3 years ago was 7 Julextended | 4–7 Dec 2023 Seoul 🇰🇷 | B | IEEE CPSPaywalled | → | |
| POPL 2024 | 11 Jul 2023closed about 3 years ago | 17–19 Jan 2024 London 🏴 | A* | PACMPLCC BY | → | |
| RP 2023 | 4 Jul 2023closed about 3 years ago was 26 Junextended | 11–13 Oct 2023 Nice 🇫🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| YR-CONCUR 2023 | 4 Jul 2023closed about 3 years ago | 23 Sep 2023 Antwerp 🇧🇪 | — | informal | → | |
| ICTAC 2023 | 2 Jul 2023closed about 3 years ago was 16 Junextended | 4–8 Dec 2023 Lima 🇵🇪 | C | Springer LNCSPaywalled, for-profit | → | |
| GandALF 2023 | 30 Jun 2023closed about 3 years ago abstract 23 Jun 2023 | 18–20 Sep 2023 Udine 🇮🇹 | — | EPTCSCC BY | → | |
| MSR 2023 | 28 Jun 2023closed about 3 years ago was 7 Junextended | 22–24 Nov 2023 Toulouse 🇫🇷 | — | HALFree access | → | |
| VALUETOOLS 2023 | 21 Jun 2023closed about 3 years ago | 6–8 Sep 2023 Crete 🇬🇷 | — | ACMACM Digital Library | → | |
| APLAS 2023 | 18 Jun 2023closed about 3 years ago was 15 Junextended | 26–29 Nov 2023 Taipei 🇹🇼 | B | Springer LNCSPaywalled, for-profit | → | |
| iFM 2023 | 15 Jun 2023closed about 3 years ago abstract 10 Jun 2023 | 13–15 Nov 2023 Leiden 🇳🇱 | B | Springer LNCSPaywalled, for-profit | → | |
| LOPSTR 2023 | 9 Jun 2023closed about 3 years ago was 26 Mayextended | 23–24 Oct 2023 Cascais 🇵🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| SEFM 2023 | 9 Jun 2023closed about 3 years ago abstract 2 Jun 2023 | 8–10 Nov 2023 Eindhoven 🇳🇱 | B | Springer LNCSPaywalled, for-profit | → | |
| ISSRE 2023 | 7 Jun 2023closed about 3 years ago was 1 Junextended | 9–12 Oct 2023 Florence 🇮🇹 | A | IEEE (?)Paywalled | → | |
| RV 2023 | 4 Jun 2023closed about 3 years ago was 15 Mayextended | 4–6 Oct 2023 Thessaloniki 🇬🇷 | B | Springer LNCSPaywalled, for-profit | → | |
| WST 2023 | 1 Jun 2023closed about 3 years ago | 24–25 Aug 2023 Obergurgl 🇦🇹 | — | Web pageFree access | → | |
| EUMAS 2023 | 29 May 2023closed about 3 years ago extended from an unrecorded date | 14–15 Sep 2023 Naples 🇮🇹 | — | Springer LNCS/LNAIPaywalled, for-profit | → | |
| VECoS 2023 | 29 May 2023closed about 3 years ago was 15 Mayextended | 18–20 Oct 2023 Marrakech 🇲🇦 | C | Springer LNCSPaywalled | → | |
| FMICS 2023 | 28 May 2023closed about 3 years ago was 15 Mayextended | 20–22 Sep 2023 Antwerp 🇧🇪 | C | Springer LNCSPaywalled, for-profit | → | |
| ICFEM 2023 | 28 May 2023closed about 3 years ago was 21 Mayextended | 22–24 Nov 2023 Brisbane 🇦🇺 | C | Springer LNCSPaywalled, for-profit | → | |
| FMCAD 2023 | 22 May 2023closed about 3 years ago was 15 Mayextended | 23–27 Oct 2023 Ames 🇺🇸 | B | TU Wien Academic Press / ACM/IEEECC BY | → | |
| QEST 2023 discontinued | 17 May 2023closed about 3 years ago was 7 Mayextended | 20–22 Sep 2023 Antwerp 🇧🇪 | — | Springer LNCSPaywalled, for-profit | → | |
| EuroMPI 2023 | 15 May 2023closed about 3 years ago was 29 Aprextended | 11–13 Sep 2023 Bristol 🏴 | C | ACMACM Digital Library | → | |
| RSSRail 2023 | 12 May 2023closed about 3 years ago was 5 Mayextended | 10–12 Oct 2023 Berlin 🇩🇪 | — | Springer LNCSPaywalled, for-profit | → | |
| ATVA 2023 | 11 May 2023closed about 3 years ago was 4 Mayextended | 24–27 Oct 2023 Singapore 🇸🇬 | B | Springer LNCSPaywalled, for-profit | → | |
| FORMATS 2023 discontinued | 8 May 2023closed about 3 years ago was 28 Aprextended | 19–21 Sep 2023 Antwerp 🇧🇪 | — | Springer LNCSPaywalled, for-profit | → | |
| ASE 2023 | 5 May 2023closed about 3 years ago abstract 28 Apr 2023 | 11–15 Sep 2023 Kirchberg 🇱🇺 | A | ACMACM Digital Library | → | |
| TIME 2023 | 5 May 2023closed about 3 years ago abstract 28 Apr 2023 | 25–26 Sep 2023 Athens 🇬🇷 | B | LIPIcsCC BY | → | |
| CONCUR 2023 | 2 May 2023closed about 3 years ago abstract 24 Apr 2023 | 17–22 Sep 2023 Antwerp 🇧🇪 | A | LIPIcsCC BY | → | |
| CMSB 2023 | 30 Apr 2023closed about 3 years ago was 23 Aprextended | 13–15 Sep 2023 Luxembourg 🇱🇺 | — | Springer LNCS/LNBIPaywalled, for-profit | → | |
| MFCS 2023 | 28 Apr 2023closed about 3 years ago abstract 24 Apr 2023 | 28 Aug – 1 Sep 2023 Bordeaux 🇫🇷 | A | LIPIcsCC BY | → | |
| Highlights 2023 | 25 Apr 2023closed about 3 years ago | 24–28 Jul 2023 Kassel 🇩🇪 | — | informal | → | |
| SPLC 2023 | 20 Apr 2023closed about 3 years ago abstract 13 Apr 2023 | 29 Aug – 1 Sep 2023 Tokyo 🇯🇵 | — | ACM digital libraryACM Digital Library | → | |
| AFADL 2023 | 17 Apr 2023closed about 3 years ago was 3 Aprextended | 5–8 Jun 2023 Rennes, Bretagne 🇫🇷 | — | arXivFree access | → | |
| OOPSLA 2023 | 14 Apr 2023closed about 3 years ago | 23–27 Oct 2023 Lisbon 🇵🇹 | A | PACMPLFree access | → | |
| ICOST 2023 discontinued | 10 Apr 2023closed about 3 years ago was 24 Marextended | 7–8 Jul 2023 Wonju 🇰🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| PNSE 2023 | 3 Apr 2023closed about 3 years ago was 22 Marextended | 25–26 Jun 2023 Lisbon 🇵🇹 | — | CEUR-WS | → | |
| TAP 2023 | 24 Mar 2023closed about 3 years ago was 17 Marextended | 18–19 Jul 2023 Leicester 🏴 | C | Springer LNCSPaywalled, for-profit | → | |
| EMSOFT 2023 | 23 Mar 2023closed about 3 years ago abstract 16 Mar 2023 | 17–22 Sep 2023 Hamburg 🇩🇪 | A | ACM/IEEEACM Digital Library | → | |
| BPM 2023 | 22 Mar 2023closed about 3 years ago abstract 15 Mar 2023 | 11–15 Sep 2023 Utrecht 🇳🇱 | A | Springer LNCSPaywalled, for-profit | → | |
| FORTE 2023 | 4 Mar 2023closed about 3 years ago was 18 Febextended | 19–23 Jun 2023 Lisbon 🇵🇹 | — | Springer LNCS IFIPPaywalled, for-profit | → | |
| TiCSA 2023 discontinued | 3 Mar 2023closed about 3 years ago was 16 Febextended | 23 Apr 2023 Paris 🇫🇷 | — | informalFree access, copyright transferred | → | |
| SynCoP 2023 | 24 Feb 2023closed about 3 years ago | 22–23 Apr 2023 Paris 🇫🇷 | — | informal | → | |
| TASE 2023 | 24 Feb 2023closed about 3 years ago was 10 Febextended | 4–6 Jul 2023 Bristol 🏴 | — | Springer LNCSPaywalled, for-profit | → | |
| SAFECOMP 2023 | 20 Feb 2023closed about 3 years ago was 13 Febextended | 20–22 Sep 2023 Toulouse 🇫🇷 | B | Springer LNCSPaywalled, for-profit | → | |
| ISORC 2023 | 18 Feb 2023closed about 3 years ago was 28 Janextended | 23–25 May 2023 Nashville 🇺🇸 | C | IEEEPaywalled | → | |
| CCE 2023 discontinued | 12 Feb 2023closed about 3 years ago | 24–27 Apr 2023 Baku 🇦🇿 | — | LNCSPaywalled, for-profit | → | |
| ICALP 2023 | 11 Feb 2023closed about 4 years ago firm no extension | 10–14 Jul 2023 Paderborn 🇩🇪 | A | LIPIcsCC BY | → | |
| CAV 2023 | 3 Feb 2023closed about 4 years ago | 17–22 Jul 2023 Paris 🇫🇷 | A* | Springer LNCSCC BY | → | |
| ABZ 2023 | 30 Jan 2023closed about 4 years ago was 23 Janextended | 30 May – 2 Jun 2023 Nancy 🇫🇷 | — | SpringerPaywalled, for-profit | → | |
| Petri Nets 2023 | 27 Jan 2023closed about 4 years ago was 20 Janextended | 25–30 Jun 2023 Lisbon 🇵🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| FormaliSE 2023 | 27 Jan 2023closed about 4 years ago was 16 Janextended | 14–15 May 2023 Pittsburgh 🇺🇸 | — | IEEE/ACMACM Digital Library | → | |
| RTNS 2023 | 25 Jan 2023closed about 4 years ago abstract 23 Jan 2023 | 7–8 Jun 2023 Dortmund 🇩🇪 | — | ACM ICPSACM Digital Library | → | |
| LiCS 2023 | 23 Jan 2023closed about 4 years ago abstract 18 Jan 2023 | 26–29 Jun 2023 Boston 🇺🇸 | A* | ACM SIGPLAN ProceedingsACM Digital Library | → | |
| ICECCS 2023 | 16 Jan 2023closed about 4 years ago was 15 Decextended | 12–16 Jun 2023 Toulouse 🇫🇷 | B | IEEE Conference Publishing ServicesPaywalled | → | |
| SPIN 2023 | 16 Jan 2023closed about 4 years ago abstract 9 Jan 2023 | 26–27 Apr 2023 Paris 🇫🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| NFM 2023 | 6 Jan 2023closed about 4 years ago was 16 Decextended | 16–18 May 2023 Houston 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| DaLí 2023 | 1 Jan 2023closed about 4 years ago | 15–16 Sep 2023 Tbilisi 🇬🇪 | — | Springer LNCSPaywalled, for-profit | → | |
| ISSTA 2023 | 10 Nov 2022closed about 4 years ago | 17–21 Jul 2023 Seattle 🇺🇸 | A | ACMACM Digital Library | → | |
| FSEN 2023 | 4 Nov 2022closed about 4 years ago was 14 Octextended | 3–5 May 2023 Hybrid (Tehran 🇮🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| ICCPS 2023 discontinued | 31 Oct 2022closed about 4 years ago abstract 24 Oct 2022 | 9–12 May 2023 San Antonio 🇺🇸 | — | ACMACM Digital Library | → | |
| RTAS 2023 | 31 Oct 2022closed about 4 years ago | 9–12 May 2023 San Antonio 🇺🇸 | A | IEEEPaywalled | → | |
| AAMAS 2023 | 28 Oct 2022closed about 4 years ago abstract 21 Oct 2022 | 29 May – 2 Jun 2023 London 🏴 | A* | ACMFree access, copyright transferred | → | |
| SAC 2023 | 24 Oct 2022closed about 4 years ago was 1 Octextended | 27–31 Mar 2023 Tallinn 🇪🇪 | B | ACMACM Digital Library | → | |
| ICPE 2023 | 21 Oct 2022closed about 4 years ago abstract 14 Oct 2022 | 15–19 Apr 2023 Coimbra 🇵🇹 | — | ACMACM Digital Library | → | |
| ICST 2023 | 20 Oct 2022closed about 4 years ago | 16–20 Apr 2023 Dublin 🇮🇪 | C | IEEEPaywalled | → | |
| FASE 2023 | 13 Oct 2022closed about 4 years ago | 22–27 Apr 2023 Paris 🇫🇷 | B | Springer ARCoSS LNCSCC BY | → | |
| FoSSaCS 2023 | 13 Oct 2022closed about 4 years ago | 22–27 Apr 2023 Paris 🇫🇷 | A | Springer ARCoSS LNCSCC BY | → | |
| TACAS 2023 | 13 Oct 2022closed about 4 years ago | 22–27 Apr 2023 Paris 🇫🇷 | A | Springer ARCoSS LNCSCC BY | → | |
| CERTS 2022 discontinued | 3 Oct 2022closed about 4 years ago | 5 Dec 2022 Houston 🇺🇸 | — | ? | → | |
| NWPT 2022 | 2 Oct 2022closed about 4 years ago | 2–4 Nov 2022 Bergen 🇳🇴 | — | → | ||
| STACS 2023 | 25 Sep 2022closed about 4 years ago | 7–10 Mar 2023 Hamburg 🇩🇪 | A | LIPIcsCC BY-ND | → | |
| FM 2023 | 11 Sep 2022closed about 4 years ago abstract 4 Sep 2022 | 6–10 Mar 2023 Lübeck 🇩🇪 | A | Springer LNCSPaywalled, for-profit | → | |
| FTSCS 2022 discontinued | 8 Sep 2022closed about 4 years ago was 1 Sepextended | 7 Dec 2022 Auckland 🇳🇿 | — | ACM Digital LibraryPaywalled | → | |
| VMCAI 2023 | 8 Sep 2022closed about 4 years ago | 15–17 Jan 2023 Boston 🇺🇸 | B | Springer LNCSPaywalled, for-profit | → | |
| SoICT 2022 | 15 Aug 2022closed about 4 years ago | 1–2 Dec 2022 Hà Nội 🇻🇳 | — | ACM ICPSACM Digital Library | → | |
| PRDC 2022 | 1 Aug 2022closed about 4 years ago was 18 Julextended | 28 Nov – 1 Dec 2022 Beijing 🇨🇳 | B | IEEEPaywalled | → | |
| SETTA 2022 | 30 Jul 2022closed about 4 years ago abstract 23 Jul 2022 | 27–29 Oct 2022 Beijing 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| VSTTE 2022 | 29 Jul 2022closed about 4 years ago was 22 Julextended | 17–18 Oct 2022 Trento 🇮🇹 | — | LNCSPaywalled, for-profit | → | |
| FROM 2022 | 25 Jul 2022closed about 4 years ago was 15 Julextended | 19–20 Sep 2022 Iasi 🇷🇴 | — | ? | → | |
| SNR 2022 discontinued | 22 Jul 2022closed about 4 years ago | 12 Sep 2022 Warsaw 🇵🇱 | — | EPTCSFree access | → | |
| FACS 2022 | 18 Jul 2022closed about 4 years ago was 4 Julextended | 10–11 Nov 2022 Online | — | Springer LNCSPaywalled, for-profit | → | |
| CSL 2023 | 16 Jul 2022closed about 4 years ago abstract 9 Jul 2022 | 13–16 Feb 2023 Warsaw 🇵🇱 | B | LIPIcsCC BY | → | |
| FSTTCS 2022 | 14 Jul 2022closed about 4 years ago | 18–20 Dec 2022 IIT Madras 🇮🇳 | — | LIPIcsCC BY | → | |
| RP 2022 | 14 Jul 2022closed about 4 years ago was 28 Junextended | 17–19 Oct 2022 Kaiserslautern 🇩🇪 | — | Springer LNCSPaywalled, for-profit | → | |
| APSEC 2022 | 6 Jul 2022closed about 4 years ago abstract 29 Jun 2022 | 6–9 Dec 2022 Online | B | IEEE CPSPaywalled | → | |
| YR-CONCUR 2022 | 6 Jul 2022closed about 4 years ago was 1 Julextended | 12 Sep 2022 Warsaw 🇵🇱 | — | informal | → | |
| TIME 2022 | 3 Jul 2022closed about 4 years ago was 26 Junextended | 7–9 Nov 2022 Online | B | LIPIcsCC BY | → | |
| SEFM 2022 | 26 Jun 2022closed about 4 years ago abstract 20 Jun 2022 | 28–30 Sep 2022 Berlin 🇩🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| SERENE 2022 discontinued | 13 Jun 2022closed about 4 years ago was 6 Junextended | 12–15 Sep 2022 Zaragoza 🇪🇸 | — | Springer CCISPaywalled, for-profit | → | |
| GandALF 2022 | 10 Jun 2022closed about 4 years ago was 3 Junextended | 21–23 Sep 2022 Madrid 🇪🇸 | — | EPTCSCC BY | → | |
| MEMOCODE 2022 | 3 Jun 2022closed about 4 years ago abstract 27 May 2022 | 13–14 Oct 2022 Shanghai 🇨🇳 | C | IEEEPaywalled | → | |
| NSV 2022 discontinued | 31 May 2022closed about 4 years ago was 10 Mayextended | 11 Aug 2022 Haifa 🇮🇱 | — | Springer LNCSPaywalled, for-profit | → | |
| ICTAC 2022 | 28 May 2022closed about 4 years ago abstract 21 May 2022 | 27–29 Sep 2022 Tbilisi 🇬🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| FMICS 2022 | 26 May 2022closed about 4 years ago was 12 Mayextended | 14–16 Sep 2022 Warsaw 🇵🇱 | C | Springer LNCSPaywalled, for-profit | → | |
| RTSS 2022 | 26 May 2022closed about 4 years ago firm no extension | 5–8 Dec 2022 Houston 🇺🇸 | A* | IEEEPaywalled | → | |
| ISSRE 2022 | 20 May 2022closed about 4 years ago abstract 13 May 2022 | 24–27 Oct 2022 Charlotte 🇺🇸 | A | IEEE (?)Paywalled | → | |
| RV 2022 | 19 May 2022closed about 4 years ago was 5 Mayextended | 28–30 Sep 2022 Tbilisi 🇬🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| CMSB 2022 | 15 May 2022closed about 4 years ago was 4 Mayextended | 14–16 Sep 2022 Bucharest 🇷🇴 | — | Springer LNCS/LNBIPaywalled, for-profit | → | |
| FMCAD 2022 | 15 May 2022closed about 4 years ago abstract 8 May 2022 | 19–21 Oct 2022 Trento 🇮🇹 | B | TU Wien Academic Press / ACM/IEEECC BY | → | |
| SYNT 2022 | 10 May 2022closed about 4 years ago | 11 Aug 2022 Haifa 🇮🇱 | — | informalFree access | → | |
| WST 2022 | 10 May 2022closed about 4 years ago was 3 Mayextended | 11–12 Aug 2022 Haifa 🇮🇱 | — | Web pageFree access | → | |
| LOPSTR 2022 | 9 May 2022closed about 4 years ago abstract 2 May 2022 | 21–23 Sep 2022 Tbilisi 🇬🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| ATVA 2022 | 8 May 2022closed about 4 years ago abstract 1 May 2022 | 25–28 Oct 2022 Beijing 🇨🇳 | B | Springer LNCSPaywalled, for-profit | → | |
| ICFEM 2022 | 7 May 2022closed about 4 years ago was 17 Aprextended | 24–27 Oct 2022 Madrid 🇪🇸 | B | Springer LNCSPaywalled, for-profit | → | |
| FORMATS 2022 discontinued | 6 May 2022closed about 4 years ago was 22 Aprextended | 12–17 Sep 2022 Warsaw 🇵🇱 | — | Springer LNCSPaywalled, for-profit | → | |
| MFCS 2022 | 27 Apr 2022closed about 4 years ago abstract 22 Apr 2022 | 22–26 Aug 2022 Vienna 🇦🇹 | A | LIPIcsCC BY | → | |
| RTSOPS 2022 | 27 Apr 2022closed about 4 years ago was 21 Aprextended | 5 Jul 2022 Modena 🇮🇹 | none? | → | ||
| CONCUR 2022 | 25 Apr 2022closed about 4 years ago abstract 18 Apr 2022 | 13–16 Sep 2022 Warsaw 🇵🇱 | A | LIPIcsCC BY | → | |
| QEST 2022 discontinued | 25 Apr 2022closed about 4 years ago abstract 18 Apr 2022 | 12–16 Sep 2022 Warsaw 🇵🇱 | — | Springer LNCSPaywalled, for-profit | → | |
| AFADL 2022 | 22 Apr 2022closed about 4 years ago was 15 Aprextended | 8–10 Jun 2022 Vannes 🇫🇷 | — | arXivFree access | → | |
| SPLC 2022 | 21 Apr 2022closed about 4 years ago abstract 8 Apr 2022 | 12–16 Sep 2022 Graz 🇦🇹 | — | ACM digital libraryACM Digital Library | → | |
| RTCSA 2022 | 15 Apr 2022closed about 4 years ago abstract 8 Apr 2022 | 23–25 Aug 2022 Taipei 🇹🇼 | B | IEEE XplorePaywalled | → | |
| EMSOFT 2022 | 7 Apr 2022closed about 4 years ago abstract 31 Mar 2022 | 7–14 Oct 2022 Shanghai 🇨🇳 | A | ACM/IEEEACM Digital Library | → | |
| ICTSS 2022 | 3 Apr 2022closed about 4 years ago abstract 27 Mar 2022 | 27–29 Sep 2022 Almería 🇪🇸 | C | Springer LNCSPaywalled, for-profit | → | |
| PNSE 2022 | 29 Mar 2022closed about 4 years ago abstract 15 Mar 2022 | 21 Jun 2022 Bergen 🇳🇴 | — | CEUR-WS | → | |
| SPIN 2022 | 25 Mar 2022closed about 4 years ago | 21–22 May 2022 Chicago 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| TAP 2022 | 23 Mar 2022closed about 4 years ago was 15 Marextended | 4–8 Jul 2022 Nantes 🇫🇷 | C | Springer LNCSPaywalled, for-profit | → | |
| Highlights 2022 | 18 Mar 2022closed about 4 years ago | 28 Jun – 1 Jul 2022 Paris 🇫🇷 | — | informal | → | |
| BPM 2022 | 16 Mar 2022closed about 4 years ago | 13–15 Sep 2022 Münster 🇩🇪 | A | Springer LNCSPaywalled, for-profit | → | |
| ICOST 2022 discontinued | 11 Mar 2022closed about 4 years ago was 22 Febextended | 27–30 Jun 2022 Paris 🇫🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| RTNS 2022 | 9 Mar 2022closed about 4 years ago was 24 Febextended | 7–8 Jun 2022 Paris 🇫🇷 | — | ACM ICPSACM Digital Library | → | |
| SERA 2022 | 7 Mar 2022closed about 4 years ago was 21 Febextended | 25–27 May 2022 Las Vegas 🇺🇸 | C | IEEE CPSPaywalled | → | |
| TASE 2022 | 27 Feb 2022closed about 4 years ago was 13 Febextended | 8–10 Jul 2022 Cluj-Napoca 🇷🇴 | — | Springer LNCSPaywalled, for-profit | → | |
| CSCML 2022 | 18 Feb 2022closed about 4 years ago was 7 Febextended | 30 Jun – 1 Jul 2022 Virtual | — | Springer LNCSPaywalled, for-profit | ||
6th International Symposium for Cyber Security, Cryptology and Machine Learning Notification14 Mar 2022 Format15 pages LNCS (+ references)
| ||||||
| FORTE 2022 | 18 Feb 2022closed about 4 years ago was 4 Febextended | 13–17 Jun 2022 Lucca 🇮🇹 | — | Springer LNCS IFIPPaywalled, for-profit | → | |
| IJCAR 2022 | 18 Feb 2022closed about 4 years ago was 11 Febextended | 7–12 Aug 2022 Haifa 🇮🇱 | A* | Springer LNCSPaywalled, for-profit | → | |
| SAFECOMP 2022 | 14 Feb 2022closed about 4 years ago abstract 7 Feb 2022 | 6–9 Sep 2022 Munich 🇩🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| ISORC 2022 | 12 Feb 2022closed about 4 years ago was 23 Janextended | 17–19 May 2022 Västerås 🇸🇪 | C | IEEEPaywalled | → | |
| iFM 2022 | 11 Feb 2022closed about 5 years ago was 21 Janextended | 7–10 Jun 2022 Lugano 🇨🇭 | B | Springer LNCSPaywalled, for-profit | → | |
| ICALP 2022 | 10 Feb 2022closed about 5 years ago firm no extension | 4–8 Jul 2022 Paris 🇫🇷 | A | LIPIcsCC BY | → | |
| HCVS 2022 | 31 Jan 2022closed about 5 years ago | 3 Apr 2022 Online | — | EPTCSCC BY | → | |
| VPT 2022 discontinued | 31 Jan 2022closed about 5 years ago was 17 Janextended | 2 Apr 2022 Munich 🇩🇪 | — | EPTCSCC BY | → | |
| ISSTA 2022 | 28 Jan 2022closed about 5 years ago | 18–22 Jul 2022 Daejeon 🇰🇷 | A | ACMACM Digital Library | → | |
| FormaliSE 2022 | 27 Jan 2022closed about 5 years ago was 20 Janextended | 22–23 May 2022 Pittsburgh 🇺🇸 | — | IEEE/ACMACM Digital Library | → | |
| Petri Nets 2022 | 27 Jan 2022closed about 5 years ago was 20 Janextended | 19–24 Jun 2022 Bergen 🇳🇴 | B | Springer LNCSPaywalled, for-profit | → | |
| MARS 2022 | 24 Jan 2022closed about 5 years ago was 10 Janextended | 2–3 Apr 2022 Munich 🇩🇪 | — | EPTCSCC BY-ND | → | |
| CAV 2022 | 21 Jan 2022closed about 5 years ago | 7–10 Aug 2022 Haifa 🇮🇱 | A* | Springer LNCSCC BY | → | |
| LiCS 2022 | 21 Jan 2022closed about 5 years ago abstract 17 Jan 2022 | 2–5 Aug 2022 Haifa 🇮🇱 | A* | ACM SIGPLAN ProceedingsACM Digital Library | → | |
| PETRA 2022 | 17 Jan 2022closed about 5 years ago | 29 Jun – 1 Jul 2022 Corfu 🇬🇷 | — | ACM Digital LibraryPaywalled | ||
15th International Conference on PErvasive Technologies Related to Assistive Environments Format10 pages ACM (incl. references)
MDPI special issue | ||||||
| NFM 2022 | 10 Jan 2022closed about 5 years ago was 10 Decextended | 24–27 May 2022 Pasadena 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| RSSRail 2022 | 2 Dec 2021closed about 5 years ago abstract 25 Nov 2021 | 1–2 Jun 2022 Paris 🇫🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| SAC 2022 | 31 Oct 2021closed about 5 years ago was 15 Octextended | 25–29 Apr 2022 Brno 🇨🇿 | B | ACMACM Digital Library | → | |
| HSCC 2022 discontinued | 29 Oct 2021closed about 5 years ago | 4–6 May 2022 Milan 🇮🇹 | — | ACMACM Digital Library | → | |
| ICCPS 2022 discontinued | 29 Oct 2021closed about 5 years ago abstract 22 Oct 2021 | 4–6 May 2022 Milan 🇮🇹 | — | ACMACM Digital Library | → | |
| FASE 2022 | 24 Oct 2021closed about 5 years ago was 14 Octextended | 2–7 Apr 2022 Munich 🇩🇪 | B | Springer ARCoSS LNCSCC BY | → | |
| FoSSaCS 2022 | 14 Oct 2021closed about 5 years ago | 2–7 Apr 2022 Munich 🇩🇪 | A | Springer ARCoSS LNCSCC BY | → | |
| TACAS 2022 | 14 Oct 2021closed about 5 years ago | 2–7 Apr 2022 Munich 🇩🇪 | A | Springer ARCoSS LNCSCC BY | → | |
| NWPT 2021 | 10 Oct 2021closed about 5 years ago | 4–6 Nov 2021 Reykjavík 🇮🇸 | — | → | ||
| ICST 2022 | 4 Oct 2021closed about 5 years ago was 27 Sepextended | 4–13 Apr 2022 Online | C | IEEEPaywalled | → | |
| ERTS 2022 | 3 Oct 2021closed about 5 years ago was 5 Sepextended | 30–31 Mar 2022 Toulouse 🇫🇷 | — | ? | → | |
| STACS 2022 | 1 Oct 2021closed about 5 years ago | 15–18 Mar 2022 Marseille 🇫🇷 | A | LIPIcsCC BY-ND | → | |
| DATE 2022 | 19 Sep 2021closed about 5 years ago abstract 12 Sep 2021 | 14–23 Mar 2022 Antwerp 🇧🇪 | B | IEEEPaywalled | → | |
| ICSE 2022 | 3 Sep 2021closed about 5 years ago abstract 27 Aug 2021 | 21–29 May 2022 Pittsburgh 🇺🇸 | A* | ACMPaywalled | → | |
| VMCAI 2022 | 2 Sep 2021closed about 5 years ago | 16–18 Jan 2022 Philadelphia 🇺🇸 | B | Springer LNCSPaywalled, for-profit | → | |
| SBMF 2021 | 6 Aug 2021closed about 5 years ago was 30 Julextended | 6–10 Dec 2021 Online | — | Springer LNCSPaywalled, for-profit | → | |
| PRDC 2021 | 1 Aug 2021closed about 5 years ago was 18 Julextended | 1–4 Dec 2021 Perth 🇦🇺 | B | IEEEPaywalled | → | |
| SEFM 2021 | 23 Jul 2021closed about 5 years ago abstract 19 Jul 2021 | 6–10 Dec 2021 Online | B | Springer LNCSPaywalled, for-profit | → | |
| APSEC 2021 | 22 Jul 2021closed about 5 years ago was 8 Julextended | 6–9 Dec 2021 Online | B | IEEE CPSPaywalled | → | |
| VECoS 2021 | 20 Jul 2021closed about 5 years ago was 21 Junextended | 22–23 Nov 2021 Online | C | Springer LNCSPaywalled | → | |
| FSTTCS 2021 | 19 Jul 2021closed about 5 years ago | 15–18 Dec 2021 Online | — | LIPIcsCC BY | → | |
| MSR 2021 | 19 Jul 2021closed about 5 years ago was 31 Mayextended | 8–10 Nov 2021 Paris 🇫🇷 | — | HALFree access | → | |
| FACS 2021 | 16 Jul 2021closed about 5 years ago was 2 Julextended | 28–29 Oct 2021 Online | — | Springer LNCSPaywalled, for-profit | → | |
| RP 2021 | 15 Jul 2021closed about 5 years ago was 8 Julextended | 25–27 Oct 2021 Liverpool 🏴 | — | Springer LNCSPaywalled, for-profit | → | |
| CSL 2022 | 12 Jul 2021closed about 5 years ago abstract 5 Jul 2021 | 14–19 Feb 2022 Göttingen 🇩🇪 | B | LIPIcsCC BY | → | |
| POPL 2022 | 8 Jul 2021closed about 5 years ago | 16–22 Jan 2022 Philadelphia 🇺🇸 | A* | PACMPLCC BY | → | |
| ETR 2021 discontinued | 2 Jul 2021closed about 5 years ago was 25 Junextended | 20–24 Sep 2021 Poitiers 🇫🇷 | — | Given to participantsFree access | → | |
| GandALF 2021 | 30 Jun 2021closed about 5 years ago abstract 23 Jun 2021 | 20–22 Sep 2021 Padua 🇮🇹 | — | EPTCSCC BY | → | |
| LOPSTR 2021 | 25 Jun 2021closed about 5 years ago was 15 Mayextended | 7–9 Sep 2021 Tallinn 🇪🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| Highlights 2021 | 4 Jun 2021closed about 5 years ago | 15–17 Sep 2021 Online | — | informal | → | |
| RV 2021 | 31 May 2021closed about 5 years ago was 20 Mayextended | 11–14 Oct 2021 Online | B | Springer LNCSPaywalled, for-profit | → | |
| FCT 2021 | 23 May 2021closed about 5 years ago was 16 Mayextended | 12–15 Sep 2021 Athens 🇬🇷 | A | Springer LNCS ARCoSSPaywalled, for-profit | → | |
| RSSRail 2021 | 23 May 2021closed about 5 years ago abstract 16 May 2021 | 15–16 Nov 2021 Paris 🇫🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| ICTAC 2021 | 14 May 2021closed about 5 years ago was 7 Mayextended | 6–10 Sep 2021 Online | B | Springer LNCSPaywalled, for-profit | → | |
| FMICS 2021 | 14 May 2021closed about 5 years ago abstract 7 May 2021 | 23–27 Aug 2021 Online | C | Springer LNCSPaywalled, for-profit | → | |
| FMCAD 2021 | 14 May 2021closed about 5 years ago abstract 7 May 2021 | 19–22 Oct 2021 Yale University 🇺🇸 | — | TU Wien Academic Press / ACM/IEEECC BY | → | |
| FORMATS 2021 discontinued | 10 May 2021closed about 5 years ago was 13 Aprextended | 23–27 Aug 2021 Online | — | Springer LNCSPaywalled, for-profit | → | |
| CIEL 2021 discontinued | 8 May 2021closed about 5 years ago abstract 1 May 2021 | 14–18 Jun 2021 Online | — | ? | → | |
| FM 2021 | 6 May 2021closed about 5 years ago abstract 30 Apr 2021 | 20–26 Nov 2021 Online | A | Springer LNCSPaywalled, for-profit | → | |
| ARCH 2021 | 30 Apr 2021closed about 5 years ago | 9 Jul 2021 Brussels 🇧🇪 | — | EasyChair EPiC seriesFree access | → | |
| CONCUR 2021 | 30 Apr 2021closed about 5 years ago abstract 23 Apr 2021 | 23–27 Aug 2021 Online | A | LIPIcsCC BY | → | |
| QEST 2021 discontinued | 30 Apr 2021closed about 5 years ago was 15 Aprextended | 23–27 Aug 2021 Online | — | Springer LNCSPaywalled, for-profit | → | |
| TIME 2021 | 30 Apr 2021closed about 5 years ago abstract 23 Apr 2021 | 27–29 Sep 2021 Klagenfurt 🇦🇹 | B | LIPIcsCC BY | → | |
| WST 2021 | 25 Apr 2021closed about 5 years ago | 16 Jul 2021 Online | — | Web pageFree access | → | |
| SPLC 2021 | 23 Apr 2021closed about 5 years ago abstract 16 Apr 2021 | 6–11 Sep 2021 Online | — | ACM digital libraryACM Digital Library | → | |
| ASE 2021 | 23 Apr 2021closed about 5 years ago abstract 16 Apr 2021 | 15–19 Sep 2021 Melbourne 🇦🇺 | A | ACMACM Digital Library | → | |
| DLT 2021 | 23 Apr 2021closed about 5 years ago was 11 Aprextended | 16–20 Aug 2021 Porto 🇵🇹 | B | LNCSPaywalled, for-profit | → | |
| ATVA 2021 | 23 Apr 2021closed about 5 years ago was 9 Aprextended | 18–22 Oct 2021 Online | B | Springer LNCSPaywalled, for-profit | → | |
| SPIN 2021 | 20 Apr 2021closed about 5 years ago was 1 Marextended | 12–13 Jul 2021 Online | — | Springer LNCSPaywalled, for-profit | → | |
| AFADL 2021 | 19 Apr 2021closed about 5 years ago was 12 Aprextended | 16–18 Jun 2021 Online | — | IRIT research reportFree access | → | |
| CMSB 2021 | 12 Apr 2021closed about 5 years ago | 22–24 Sep 2021 Bordeaux 🇫🇷 | — | Springer LNCS/LNBIPaywalled, for-profit | → | |
| EMSOFT 2021 | 9 Apr 2021closed about 5 years ago abstract 2 Apr 2021 | 10–15 Oct 2021 Online | A | ACM/IEEEACM Digital Library | → | |
| PNSE 2021 | 29 Mar 2021closed about 5 years ago was 15 Marextended | 21 Jun 2021 Online | — | CEUR-WS | → | |
| TASE 2021 | 21 Mar 2021closed about 5 years ago was 7 Marextended | 25–27 Aug 2021 Online | — | IEEE Computer Society PressPaywalled | → | |
| MT-CPS 2021 discontinued | 18 Mar 2021closed about 5 years ago | 18 May 2021 Online | — | PDFFree access | → | |
| TAP 2021 | 8 Mar 2021closed about 5 years ago was 31 Janextended | 21–25 Jun 2021 Online | C | Springer LNCSPaywalled, for-profit | → | |
| ECRTS 2021 | 3 Mar 2021closed about 5 years ago | 7–9 Jul 2021 Online | A | LIPIcsCC BY | → | |
| ABZ 2021 | 1 Mar 2021closed about 5 years ago was 22 Febextended | 7–11 Jun 2021 Online | — | SpringerPaywalled, for-profit | → | |
| ESEC/FSE 2021 | 25 Feb 2021closed about 5 years ago | 23–27 Aug 2021 Athens 🇬🇷 | A | ACMACM Digital Library | ||
28th (?) ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021) Notification21 May 2021 Format10 ACM SIG (+ 2 pages references)
Open science policy. Double-blind. Also tutorials, doctoral symposium, tool demos and others. Author response period: 27-30 April 2021. | ||||||
| FORTE 2021 | 19 Feb 2021closed about 5 years ago was 5 Febextended | 14–18 Jun 2021 Valletta 🇲🇹 | — | Springer LNCS IFIPPaywalled, for-profit | → | |
| SAFECOMP 2021 | 15 Feb 2021closed about 5 years ago abstract 1 Feb 2021 | 7–10 Sep 2021 York 🏴 | B | Springer LNCSPaywalled, for-profit | → | |
| ICALP 2021 | 12 Feb 2021closed about 5 years ago firm no extension | 12–16 Jul 2021 Online | A | LIPIcsCC BY | → | |
| ISORC 2021 | 5 Feb 2021closed about 6 years ago was 15 Janextended | 1–3 Jun 2021 Online | C | IEEEPaywalled | → | |
| Petri Nets 2021 | 3 Feb 2021closed about 6 years ago was 20 Janextended | 23–25 Jun 2021 Online | B | Springer LNCSPaywalled, for-profit | → | |
| ISSTA 2021 | 29 Jan 2021closed about 6 years ago | 18–22 Jul 2021 Online | A | ACMACM Digital Library | → | |
| CAV 2021 | 28 Jan 2021closed about 6 years ago | 18–23 Jul 2021 Online | A* | Springer LNCSCC BY | → | |
| HCVS 2021 | 28 Jan 2021closed about 6 years ago | 27 Mar 2021 Online | — | EPTCSCC BY | → | |
| LiCS 2021 | 25 Jan 2021closed about 6 years ago abstract 20 Jan 2021 | 29 Jun – 2 Jul 2021 Online | A* | ACM SIGPLAN Proceedings (?)ACM Digital Library | → | |
| VPT 2021 discontinued | 24 Jan 2021closed about 6 years ago | 27–28 Apr 2021 Online | — | EPTCSCC BY | → | |
| ICLA 2021 | 15 Jan 2021closed about 6 years ago | 4–7 Mar 2021 Online | — | Springer LNCSPaywalled, for-profit | → | |
| FormaliSE 2021 | 12 Jan 2021closed about 6 years ago abstract 5 Jan 2021 | 17–21 May 2021 Online | — | IEEE/ACMACM Digital Library | → | |
| ADHS 2021 | 8 Jan 2021closed about 6 years ago was 23 Decextended | 7–9 Jul 2021 Online | — | Science DirectFree access, copyright transferred | → | |
| NFM 2021 | 14 Dec 2020closed about 6 years ago was 4 Decextended | 24–28 May 2021 Online | — | Springer LNCSPaywalled, for-profit | → | |
| RTNS 2021 | 7 Dec 2020closed about 6 years ago was 27 Novextended | 7–9 Apr 2021 Online | — | ACM ICPSACM Digital Library | → | |
| FSEN 2021 | 15 Nov 2020closed about 6 years ago was 1 Novextended | 19–21 May 2021 Online | — | Springer LNCSPaywalled, for-profit | → | |
| HSCC 2021 discontinued | 26 Oct 2020closed about 6 years ago | 19–21 May 2021 Online | — | ACMACM Digital Library | → | |
| ICCPS 2021 discontinued | 26 Oct 2020closed about 6 years ago | 19–21 May 2021 Online | — | ACMACM Digital Library | → | |
| RTAS 2021 | 26 Oct 2020closed about 6 years ago | 18–21 May 2021 Online | A | IEEEPaywalled | → | |
| LATA 2021 discontinued | 19 Oct 2020closed about 6 years ago | 20–24 Sep 2021 Milan 🇮🇹 | C | Springer LNCSPaywalled, for-profit | → | |
| ICPE 2021 | 16 Oct 2020closed about 6 years ago abstract 6 Oct 2020 | 17–23 Apr 2021 Online | — | ACM Digital LibraryACM Digital Library | → | |
| TACAS 2021 | 15 Oct 2020closed about 6 years ago | 27 Mar – 1 Apr 2021 Online | A | Springer ARCoSS LNCSCC BY | → | |
| FoSSaCS 2021 | 15 Oct 2020closed about 6 years ago | 27 Mar – 1 Apr 2021 Online | A | Springer ARCoSS LNCSCC BY | → | |
| FASE 2021 | 15 Oct 2020closed about 6 years ago | 27 Mar – 1 Apr 2021 Online | B | Springer ARCoSS LNCSCC BY | → | |
| ICST 2021 | 12 Oct 2020closed about 6 years ago abstract 5 Oct 2020 | 12–16 Apr 2021 Online | C | IEEEPaywalled | → | |
| SAC 2021 | 12 Oct 2020closed about 6 years ago was 15 Sepextended | 22–26 Mar 2021 Online | B | ACMACM Digital Library | → | |
| VMCAI 2021 | 11 Oct 2020closed about 6 years ago was 5 Octextended | 17–19 Jan 2021 Online | B | Springer LNCSPaywalled, for-profit | → | |
| AAMAS 2021 | 9 Oct 2020closed about 6 years ago abstract 2 Oct 2020 | 3–7 May 2021 Online | A* | ACMFree access, copyright transferred | → | |
| S&P 2021 | 3 Sep 2020closed about 6 years ago | 23–27 May 2021 San Francisco 🇺🇸 | A* | IEEEFree access, copyright transferred | → | |
| ICSE 2021 | 28 Aug 2020closed about 6 years ago | 23–29 May 2021 Madrid 🇪🇸 | A* | ACMPaywalled | → | |
| SERA 2020 | 21 Aug 2020closed about 6 years ago | 30 Nov – 2 Dec 2020 Kanazawa 🇯🇵 | C | IEEE CPSPaywalled | → | |
| VECoS 2020 | 26 Jul 2020closed about 6 years ago was 18 Mayextended | 24–25 Sep 2020 Xi’An 🇨🇳 | — | Springer LNCSPaywalled | → | |
| APSEC 2020 | 24 Jul 2020closed about 6 years ago was 10 Julextended | 1–4 Dec 2020 Online | B | IEEE CPSPaywalled | → | |
| MEMOCODE 2020 | 24 Jul 2020closed about 6 years ago was 10 Julextended | 2–4 Dec 2020 Jaipur 🇮🇳 | — | IEEEPaywalled | → | |
| FSTTCS 2020 | 17 Jul 2020closed about 6 years ago | 15–17 Dec 2020 Goa 🇮🇳 | — | LIPIcsCC BY | → | |
| ICTAC 2020 | 17 Jul 2020closed about 6 years ago was 26 Junextended | 30 Nov – 4 Dec 2020 Macao 🇲🇴 | B | Springer LNCSPaywalled, for-profit | → | |
| RP 2020 | 17 Jul 2020closed about 6 years ago was 3 Julextended | 19–21 Oct 2020 Paris 🇫🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| SBMF 2020 | 17 Jul 2020closed about 6 years ago abstract 10 Jul 2020 | 25–27 Nov 2020 Online | — | Springer LNCSPaywalled, for-profit | → | |
| ICAASE 2020 | 15 Jul 2020closed about 6 years ago | 28–30 Nov 2020 Constantine 🇩🇿 | — | CEUR-WSFree access | → | |
| ICSEA 2020 | 13 Jul 2020closed about 6 years ago | 18–22 Oct 2020 Porto 🇵🇹 | C | ThinkMindFree access, copyright transferred | → | |
| POPL 2021 | 9 Jul 2020closed about 6 years ago | 17–22 Jan 2021 Online | A* | PACMPLCC BY | → | |
| CSL 2021 | 8 Jul 2020closed about 6 years ago was 1 Julextended | 25–28 Jan 2021 Online | B | LIPIcsCC BY | → | |
| APLAS 2020 | 6 Jul 2020closed about 6 years ago abstract 3 Jul 2020 | 1–4 Dec 2020 Fukuoka 🇯🇵 | B | Springer LNCSPaywalled, for-profit | → | |
| GandALF 2020 | 5 Jul 2020closed about 6 years ago was 15 Junextended | 23–24 Sep 2020 Online | — | EPTCSCC BY | → | |
| SETTA 2020 | 4 Jul 2020closed about 6 years ago | 24–27 Nov 2020 Guangzhou 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| RTSS 2020 | 2 Jul 2020closed about 6 years ago firm no extension | 1–4 Dec 2020 Houston 🇺🇸 | A* | IEEEPaywalled | → | |
| SNR 2020 discontinued | 28 Jun 2020closed about 6 years ago was 15 Junextended | 31 Aug 2020 Online | — | EPTCSFree access | → | |
| iFM 2020 | 22 Jun 2020closed about 6 years ago abstract 15 Jun 2020 | 16–20 Nov 2020 Virtual (Lugano 🇨🇭 | B | Springer LNCSPaywalled, for-profit | → | |
| LOPSTR 2020 | 19 Jun 2020closed about 6 years ago was 12 Junextended | 7–9 Sep 2020 Online | B | Springer LNCSPaywalled, for-profit | → | |
| RV 2020 | 15 Jun 2020closed about 6 years ago was 25 Mayextended | 6–9 Oct 2020 Los Angeles 🇺🇸 | C | Springer LNCSPaywalled, for-profit | → | |
| ICECCS 2020 | 10 Jun 2020closed about 6 years ago was 29 Mayextended | 28–31 Oct 2020 Online | A | IEEE Conference Publishing ServicesPaywalled | → | |
| ISSRE 2020 | 2 Jun 2020closed about 6 years ago was 25 Mayextended | 12–15 Oct 2020 Coimbra 🇵🇹 | A | IEEE (?)Paywalled | → | |
| SEFM 2020 | 31 May 2020closed about 6 years ago was 4 Mayextended | 14–18 Sep 2020 Online | B | Springer LNCSPaywalled, for-profit | → | |
| FMICS 2020 | 29 May 2020closed about 6 years ago was 15 Mayextended | 2–3 Sep 2020 Virtual (Vienna 🇦🇹 | C | Springer LNCSPaywalled, for-profit | → | |
| TIME 2020 | 24 May 2020closed about 6 years ago | 23–25 Sep 2020 Bozen-Bolzano 🇮🇹 | B | LIPIcsCC BY | → | |
| EuroMPI/USA 2020 | 20 May 2020closed about 6 years ago was 22 Aprextended | 21–24 Sep 2020 Austin 🇺🇸 | C | ACMPaywalled | → | |
| ARCH 2020 | 18 May 2020closed about 6 years ago | 12 Jul 2020 Berlin 🇩🇪 | — | EasyChair EPiC seriesFree access | → | |
| ICFEM 2020 | 17 May 2020closed about 6 years ago was 1 Mayextended | 2–6 Nov 2020 Singapore 🇸🇬 | B | Springer LNCSPaywalled, for-profit | → | |
| ATVA 2020 | 12 May 2020closed about 6 years ago was 3 Mayextended | 19–23 Oct 2020 Online | A | Springer LNCSPaywalled, for-profit | → | |
| ASE 2020 | 8 May 2020closed about 6 years ago was 24 Aprextended | 21–25 Sep 2020 Melbourne 🇦🇺 | A | ACMACM Digital Library | → | |
| CIEL 2020 discontinued | 8 May 2020closed about 6 years ago abstract 1 May 2020 | 18–19 Jun 2020 Vannes 🇫🇷 | — | ? | → | |
| FORMATS 2020 discontinued | 7 May 2020closed about 6 years ago was 13 Aprextended | 1–3 Sep 2020 Virtual (Vienna 🇦🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| CONCUR 2020 | 6 May 2020closed about 6 years ago was 22 Aprextended | 1–4 Sep 2020 Online | A | LIPIcsCC BY | → | |
| GraMSec 2020 discontinued | 4 May 2020closed about 6 years ago was 1 Aprextended | 22 Jun 2020 Online (Boston 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| CMSB 2020 | 30 Apr 2020closed about 6 years ago was 15 Aprextended | 23–25 Sep 2020 Virtual (Konstanz 🇩🇪 | — | Springer LNCS/LNBIPaywalled, for-profit | → | |
| QEST 2020 discontinued | 30 Apr 2020closed about 6 years ago was 3 Aprextended | 1–3 Sep 2020 Online (Vienna 🇦🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| NSV 2020 discontinued | 20 Apr 2020closed about 6 years ago | 19 Jul 2020 Los Angeles 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| VSTTE 2020 | 20 Apr 2020closed about 6 years ago abstract 14 Apr 2020 | 19–20 Jul 2020 Los Angeles 🇺🇸 | — | LNCSPaywalled, for-profit | → | |
| EMSOFT 2020 | 17 Apr 2020closed about 6 years ago was 10 Aprextended | 20–25 Sep 2020 Hamburg 🇩🇪 | A | ACM/IEEEACM Digital Library | → | |
| SPIN 2020 | 17 Apr 2020closed about 6 years ago | 24–25 Jul 2020 Chicago 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| SPLC 2020 | 16 Apr 2020closed about 6 years ago abstract 9 Apr 2020 | 19–23 Oct 2020 Montréal 🇨🇦 | — | ACM digital libraryACM Digital Library | → | |
| CERTS 2020 discontinued | 16 Apr 2020closed about 6 years ago | 7 Jul 2020 Modena 🇮🇹 | — | ? | → | |
| RTSOPS 2020 | 16 Apr 2020closed about 6 years ago | 7 Jul 2020 Modena 🇮🇹 | none? | → | ||
| FMCAD 2020 | 16 Apr 2020closed about 6 years ago abstract 9 Apr 2020 | 21–24 Sep 2020 Online | — | ACM/IEEE (+ Web page)Free access | → | |
| RTCSA 2020 | 14 Apr 2020closed about 6 years ago was 31 Marextended | 19–21 Aug 2020 Gangneung 🇰🇷 | B | IEEE XplorePaywalled | → | |
| WST 2020 | 12 Apr 2020closed about 6 years ago | 29–30 Jun 2020 Paris 🇫🇷 | — | Web pageFree access | → | |
| JRWRTC 2020 | 9 Apr 2020closed about 6 years ago | 9–10 Jun 2020 Paris 🇫🇷 | — | → | ||
| PNSE 2020 | 31 Mar 2020closed about 6 years ago was 16 Marextended | 22–23 Jun 2020 Online | — | CEUR-WS | → | |
| AFADL 2020 | 30 Mar 2020closed about 6 years ago was 16 Marextended | 16–19 Jun 2020 Vannes 🇫🇷 | — | IRIT research reportFree access | → | |
| CDC 2020 | 17 Mar 2020closed about 6 years ago firm no extension | 8–11 Dec 2020 Jeju Island 🇰🇷 | A | IEEEPaywalled | → | |
| BPM 2020 | 16 Mar 2020closed about 6 years ago | 13–18 Sep 2020 Sevilla 🇪🇸 | A | Springer LNCSPaywalled, for-profit | → | |
| SAFECOMP 2020 | 2 Mar 2020closed about 6 years ago was 14 Febextended | 15–18 Sep 2020 Lisbon 🇵🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| TTCS 2020 discontinued | 29 Feb 2020closed about 6 years ago extended from an unrecorded date | 1–3 Jul 2020 Tehran 🇮🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| FORTE 2020 | 28 Feb 2020closed about 6 years ago was 14 Febextended | 15–19 Jun 2020 Valletta 🇲🇹 | B | Springer LNCS IFIPPaywalled, for-profit | → | |
| HCVS 2020 | 26 Feb 2020closed about 6 years ago | 26 Apr 2020 Online | — | EPTCSCC BY | → | |
| LPAR 2020 | 22 Feb 2020closed about 6 years ago was 15 Febextended | 22–27 May 2020 Alicante 🇪🇸 | A | EPiC Series in ComputingFree access | → | |
| ICOST 2020 discontinued | 21 Feb 2020closed about 6 years ago was 10 Febextended | 24–26 Jun 2020 Hammamet 🇹🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| ICALP 2020 | 18 Feb 2020closed about 6 years ago was 12 Febextended | 8–11 Jul 2020 Online | A | LIPIcsCC BY | → | |
| ICPS 2020 | 18 Feb 2020closed about 6 years ago | 9–12 Jun 2020 Tampere 🇫🇮 | — | IEEE-XplorePaywalled | → | |
| MT-CPS 2020 discontinued | 16 Feb 2020closed about 6 years ago | 21 Apr 2020 Online | — | PDFFree access | → | |
| EUMAS 2020 | 12 Feb 2020closed about 6 years ago was 4 Febextended | 22–23 Apr 2020 Thessaloniki 🇬🇷 | — | Springer LNCS/LNAIPaywalled, for-profit | → | |
| FSCD 2020 | 9 Feb 2020closed about 7 years ago abstract 6 Feb 2020 | 29 Jun – 5 Jul 2020 Paris 🇫🇷 | A | LIPIcsCC BY | → | |
| ECRTS 2020 | 6 Feb 2020closed about 7 years ago | 7–10 Jul 2020 Modena 🇮🇹 | A | LIPIcsCC BY | → | |
| TAP 2020 | 2 Feb 2020closed about 7 years ago was 22 Janextended | 22–26 Jun 2020 Bergen 🇳🇴 | B | Springer LNCSPaywalled, for-profit | → | |
| TASE 2020 | 31 Jan 2020closed about 7 years ago was 12 Janextended | 15–17 Jul 2020 Hangzhou 🇨🇳 | — | IEEE Computer Society PressPaywalled | → | |
| CAV 2020 | 28 Jan 2020closed about 7 years ago | 21–24 Jul 2020 Los Angeles 🇺🇸 | A* | Springer LNCSCC BY | → | |
| Petri Nets 2020 | 28 Jan 2020closed about 7 years ago was 21 Janextended | 24–25 Jun 2020 Online | B | Springer LNCSPaywalled, for-profit | → | |
| ISSTA 2020 | 27 Jan 2020closed about 7 years ago | 18–22 Jul 2020 Los Angeles 🇺🇸 | A | ACMACM Digital Library | → | |
| TABLEAUX 2020 | 23 Jan 2020closed about 7 years ago abstract 16 Jan 2020 | 1–4 Jul 2020 Paris 🇫🇷 | A | Springer LNCSPaywalled, for-profit | → | |
| IJCAR 2020 | 23 Jan 2020closed about 7 years ago abstract 16 Jan 2020 | 29 Jun – 5 Jul 2020 Online | A* | Springer LNAI/LNCSPaywalled, for-profit | → | |
| FormaliSE 2020 | 23 Jan 2020closed about 7 years ago was 16 Janextended | 25–26 May 2020 Seoul 🇰🇷 | — | IEEE/ACMACM Digital Library | → | |
| ABZ 2020 | 20 Jan 2020closed about 7 years ago abstract 13 Jan 2020 | 27–29 May 2020 Ulm 🇩🇪 | — | SpringerPaywalled, for-profit | → | |
| MARS 2020 | 20 Jan 2020closed about 7 years ago was 12 Janextended | 26 Apr 2020 Dublin 🇮🇪 | — | EPTCSCC BY | → | |
| VPT 2020 discontinued | 20 Jan 2020closed about 7 years ago abstract 13 Jan 2020 | 25–26 Apr 2020 Dublin 🇮🇪 | — | EPTCSCC BY | → | |
| ISORC 2020 | 17 Jan 2020closed about 7 years ago | 19–21 May 2020 Nashville 🇺🇸 | C | IEEEPaywalled | → | |
| DUHDe 2020 discontinued | 12 Jan 2020closed about 7 years ago | 13 Mar 2020 Grenoble 🇫🇷 | — | informal proceedings | → | |
| LiCS 2020 | 10 Jan 2020closed about 7 years ago abstract 6 Jan 2020 | 8–12 Jul 2020 Beijing 🇨🇳 | A* | ACM SIGPLAN Proceedings (?)ACM Digital Library | → | |
| WODES 2020 | 5 Jan 2020closed about 7 years ago was 23 Decextended | 13–15 May 2020 Rio de Janeiro 🇧🇷 | — | ScienceDirect (Elsevier)Paywalled, for-profit | → | |
| NFM 2020 | 30 Dec 2019closed about 7 years ago was 19 Decextended | 11–15 May 2020 Moffett Field 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| RTNS 2020 | 18 Dec 2019closed about 7 years ago | 10 Jun 2020 Online | — | ACM ICPSACM Digital Library | → | |
| HSB 2020 discontinued | 13 Dec 2019closed about 7 years ago | 15–16 Apr 2020 Vienna 🇦🇹 | — | Springer LNCS/LNBIPaywalled, for-profit | → | |
| VALUETOOLS 2020 | 29 Nov 2019closed about 7 years ago | 18–20 May 2020 Tsukuba 🇯🇵 | — | ACMACM Digital Library | → | |
| AAMAS 2020 | 15 Nov 2019closed about 7 years ago | 11–13 May 2020 Online | A* | ACMFree access, copyright transferred | → | |
| WISTP 2019 | 27 Oct 2019closed about 7 years ago | 10–11 Dec 2019 Paris 🇫🇷 | C | Springer LNCSPaywalled, for-profit | → | |
| FASE 2020 | 24 Oct 2019closed about 7 years ago | 25 Apr – 1 May 2020 Dublin 🇮🇪 | B | Springer ARCoSS LNCSCC BY | → | |
| FoSSaCS 2020 | 24 Oct 2019closed about 7 years ago | 25 Apr – 1 May 2020 Dublin 🇮🇪 | A | Springer ARCoSS LNCSCC BY | → | |
| TACAS 2020 | 24 Oct 2019closed about 7 years ago | 25 Apr – 1 May 2020 Dublin 🇮🇪 | A | Springer ARCoSS LNCSCC BY | → | |
| RTAS 2020 | 23 Oct 2019closed about 7 years ago | 21–24 Apr 2020 Sydney 🇦🇺 | A | IEEEPaywalled | → | |
| ICCPS 2020 discontinued | 23 Oct 2019closed about 7 years ago | 22–24 Apr 2020 Sydney 🇦🇺 | — | ACMACM Digital Library | → | |
| HSCC 2020 discontinued | 23 Oct 2019closed about 7 years ago | 21–24 Apr 2020 Sydney Australia 🇦🇺 | — | ACMACM Digital Library | → | |
| ICPE 2020 | 18 Oct 2019closed about 7 years ago was 11 Octextended | 20–24 Apr 2020 Edmonton 🇨🇦 | — | ACM Digital LibraryACM Digital Library | → | |
| LATA 2020 discontinued | 18 Oct 2019closed about 7 years ago | 2–6 Mar 2020 Milan 🇮🇹 | C | Springer LNCSPaywalled, for-profit | → | |
| ERTS 2020 | 15 Oct 2019closed about 7 years ago abstract 9 Jun 2019 | 29–31 Jan 2020 Toulouse 🇫🇷 | — | ? | → | |
| ICST 2020 | 14 Oct 2019closed about 7 years ago | 23–27 Mar 2020 Porto 🇵🇹 | C | IEEEPaywalled | → | |
| WWW 2020 | 14 Oct 2019closed about 7 years ago abstract 7 Oct 2019 | 20–24 Apr 2020 Taipei 🇹🇼 | A* | ACM Digital Library + conference Web siteFree access, copyright transferred | ||
29th International World Wide Web Conference (The Web conference 2018) Notification10 Jan 2020 Format6 pages (short) / 10 pages (long) + references + appendix
Many different calls (posters, demos, PhD symposium, workshops, tutorials…). Deadlines all Hawaii Standard Time. Double-blind. | ||||||
| UTP 2019 discontinued | 8 Oct 2019closed about 7 years ago | 8 Oct 2019 Porto 🇵🇹 | — | SpringerPaywalled, for-profit | → | |
| VMCAI 2020 | 6 Oct 2019closed about 7 years ago was 1 Octextended | 19–21 Jan 2020 New Orleans 🇺🇸 | B | Springer LNCSPaywalled, for-profit | → | |
| STACS 2020 | 30 Sep 2019closed about 7 years ago | 10–13 Mar 2020 Montpellier 🇫🇷 | A | LIPIcsCC BY-ND | → | |
| DATE 2020 | 29 Sep 2019closed about 7 years ago was 9 Sepextended | 9–13 Mar 2020 Grenoble 🇫🇷 | B | IEEEPaywalled | → | |
| EPEW 2019 | 26 Sep 2019closed about 7 years ago abstract 23 Sep 2019 | 28–29 Nov 2019 Milano 🇮🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| MACIS 2019 discontinued | 22 Sep 2019closed about 7 years ago abstract 15 Sep 2019 | 13–15 Nov 2019 Gebze 🇹🇷 | C | Springer LNCSPaywalled, for-profit | → | |
| NWPT 2019 | 16 Sep 2019closed about 7 years ago | 13–15 Nov 2019 Tallinn 🇪🇪 | — | → | ||
| SAC 2020 | 15 Sep 2019closed about 7 years ago | 30 Mar – 3 Apr 2020 Brno 🇨🇿 | B | ACMACM Digital Library | → | |
| JRWRTC 2019 | 10 Sep 2019closed about 7 years ago was 1 Sepextended | 6–8 Nov 2019 Toulouse 🇫🇷 | — | → | ||
| FTSCS 2019 discontinued | 3 Sep 2019closed about 7 years ago | 11 Nov 2019 Shenzhen 🇨🇳 | — | Springer CCISPaywalled, for-profit | → | |
| ICSE 2020 | 23 Aug 2019closed about 7 years ago | 23–29 May 2020 Seoul 🇰🇷 | A* | ACMPaywalled | → | |
| CyPhy 2019 discontinued | 16 Aug 2019closed about 7 years ago abstract 12 Aug 2019 | 17–18 Oct 2019 New York City 🇺🇸 | Springer LNCSPaywalled, for-profit | → | ||
| SoICT 2019 | 14 Aug 2019closed about 7 years ago | 4–6 Dec 2019 Hà Nội 🇻🇳 | — | ACM ICPSACM Digital Library | → | |
| SBMF 2019 | 2 Aug 2019closed about 7 years ago extended from an unrecorded date | 26–28 Nov 2019 São Paulo 🇧🇷 | — | Science of Computer Programming, ElsevierPaywalled, for-profit | → | |
| ICSEA 2019 | 28 Jul 2019closed about 7 years ago | 24–28 Nov 2019 Valencia 🇫🇷 | C | ThinkMindFree access, copyright transferred | → | |
| FSTTCS 2019 | 17 Jul 2019closed about 7 years ago | 11–13 Dec 2019 Mumbai 🇮🇳 | — | LIPIcsCC BY | → | |
| PRDC 2019 | 15 Jul 2019closed about 7 years ago | 1–3 Dec 2019 Kyoto 🇯🇵 | B | IEEEPaywalled | → | |
| APSEC 2019 | 12 Jul 2019closed about 7 years ago | 2–5 Dec 2019 Putrajaya 🇲🇾 | B | IEEE CPSPaywalled | → | |
| FACS 2019 | 12 Jul 2019closed about 7 years ago was 28 Junextended | 23–25 Oct 2019 Amsterdam 🇳🇱 | — | Springer LNCSPaywalled, for-profit | → | |
| POPL 2020 | 10 Jul 2019closed about 7 years ago | 19–25 Jan 2020 New Orleans 🇺🇸 | A* | PACMPLCC BY | → | |
| iFM 2019 | 5 Jul 2019closed about 7 years ago was 28 Junextended | 4–6 Dec 2019 Bergen 🇳🇴 | B | Springer LNCSPaywalled, for-profit | → | |
| SETTA 2019 | 5 Jul 2019closed about 7 years ago was 21 Junextended | 27–29 Nov 2019 Shanghai 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| CSL 2020 | 4 Jul 2019closed about 7 years ago | 13–16 Jan 2020 Barcelona 🇪🇸 | B | LIPIcsCC BY | → | |
| LOPSTR 2019 | 30 Jun 2019closed about 7 years ago was 24 Junextended | 8–10 Oct 2019 Porto 🇵🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| DaLí 2019 | 28 Jun 2019closed about 7 years ago | 9 Oct 2019 Porto 🇵🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| MSR 2019 | 28 Jun 2019closed about 7 years ago was 14 Mayextended | 13–15 Nov 2019 Angers 🇫🇷 | — | HALFree access | → | |
| YR-CONCUR 2019 | 28 Jun 2019closed about 7 years ago was 21 Junextended | 31 Aug 2019 Amsterdam 🇳🇱 | — | informal | → | |
| FORTRESS 2019 discontinued | 24 Jun 2019closed about 7 years ago was 13 Mayextended | 10–13 Sep 2019 Zaragoza 🇪🇸 | — | ? | → | |
| APLAS 2019 | 23 Jun 2019closed about 7 years ago was 14 Junextended | 1–4 Dec 2019 Nusa Dua 🇮🇩 | B | Springer LNCSPaywalled, for-profit | → | |
| TIME 2019 | 23 Jun 2019closed about 7 years ago was 7 Junextended | 16–19 Oct 2019 Málaga 🇪🇸 | B | LIPIcsCC BY | → | |
| MEMOCODE 2019 | 21 Jun 2019closed about 7 years ago was 7 Junextended | 9–11 Oct 2019 San Diego 🇺🇸 | — | IEEEPaywalled | → | |
| ICFEM 2019 | 18 Jun 2019closed about 7 years ago was 21 Mayextended | 5–9 Nov 2019 Shenzhen 🇨🇳 | B | Springer LNCSPaywalled, for-profit | → | |
| ICOST 2019 discontinued | 17 Jun 2019closed about 7 years ago was 3 Junextended | 14–16 Oct 2019 New York 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| RP 2019 | 17 Jun 2019closed about 7 years ago was 7 Junextended | 11–13 Sep 2019 Brussels 🇧🇪 | — | Springer LNCSPaywalled, for-profit | → | |
| AVoCS 2019 discontinued | 16 Jun 2019closed about 7 years ago was 2 Junextended | 30 Sep – 1 Oct 2019 Grenoble 🇫🇷 | — | EASSTFree access | → | |
| KSE 2019 | 15 Jun 2019closed about 7 years ago was 15 Mayextended | 24–26 Oct 2019 Đà Nẵng 🇻🇳 | — | IEEEPaywalled | → | |
| ICECCS 2019 | 14 Jun 2019closed about 7 years ago was 31 Mayextended | 10–13 Nov 2019 Hong Kong 🇭🇰 | A | IEEE Conference Publishing ServicesPaywalled | → | |
| SERENE 2019 discontinued | 14 Jun 2019closed about 7 years ago was 7 Junextended | 17 Sep 2019 Naples 🇮🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| Highlights 2019 | 10 Jun 2019closed about 7 years ago | 17–20 Sep 2019 Warsaw 🇵🇱 | — | informal | → | |
| CIBB 2019 | 9 Jun 2019closed about 7 years ago was 1 Mayextended | 4–6 Sep 2019 Bergamo 🇮🇹 | — | PDFFree access | ||
16th International Conference on Autonomous Agents and Multiagent Systems Notification4 Jul 2019 Format4-6 pages
Authors of accepted papers will be invited to submit an extended version of their work to a post-conference monograph. We plan to invite all papers for a volume in the Springer series of Lecture Notes in Bioinformatics (LNBI). Continuing the tradition of CIBB, we also plan to invite the best papers, as an alternative to the publication on LNBI, to a special issue of an international scientific journal (such as BMC Bioinformatics, as in the latest editions). | ||||||
| GandALF 2019 | 2 Jun 2019closed about 7 years ago was 19 Mayextended | 2–4 Sep 2019 Bordeaux 🇫🇷 | — | EPTCSCC BY | → | |
| ICTAC 2019 | 26 May 2019closed about 7 years ago was 12 Mayextended | 30 Oct – 4 Nov 2019 Hammamet 🇹🇳 | B | Springer LNCSPaywalled, for-profit | → | |
| TIPS 2019 discontinued | 26 May 2019closed about 7 years ago was 10 Mayextended | 31 Aug 2019 Amsterdam 🇳🇱 | — | None (?) | → | |
| RV 2019 | 21 May 2019closed about 7 years ago was 30 Aprextended | 8–11 Oct 2019 Porto 🇵🇹 | C | Springer LNCSPaywalled, for-profit | → | |
| FORMATS 2019 discontinued | 20 May 2019closed about 7 years ago was 13 Mayextended | 27–29 Aug 2019 Amsterdam 🇳🇱 | — | Springer LNCSPaywalled, for-profit | → | |
| SEFM 2019 | 20 May 2019closed about 7 years ago was 10 Mayextended | 16–20 Sep 2019 Oslo 🇳🇴 | B | Springer LNCSPaywalled, for-profit | → | |
| VECoS 2019 | 19 May 2019closed about 7 years ago was 8 Mayextended | 7–9 Oct 2019 Porto 🇵🇹 | — | Springer LNCSPaywalled | → | |
| FMi 2019 discontinued | 18 May 2019closed about 7 years ago was 2 Mayextended | 30 Jul – 1 Aug 2019 Los Angeles 🇺🇸 | — | IEEEPaywalled | → | |
| CIEL 2019 discontinued | 15 May 2019closed about 7 years ago abstract 30 Apr 2019 | 13–14 Jun 2019 Toulouse 🇫🇷 | — | ? | → | |
| KMOTS 2019 discontinued | 15 May 2019closed about 7 years ago | 1 Aug 2019 Guilin 🇨🇳 | — | ? | → | |
| WATERS 2019 discontinued | 14 May 2019closed about 7 years ago was 23 Aprextended | 9 Jul 2019 Stuttgart 🇩🇪 | — | No formal proceedings?Free access | → | |
| ASE 2019 | 13 May 2019closed about 7 years ago abstract 6 May 2019 | 11–15 Nov 2019 San Diego 🇺🇸 | A | ACMACM Digital Library | → | |
| FT4DAS 2019 discontinued | 13 May 2019closed about 7 years ago | 10 Sep 2019 Turku 🇫🇮 | — | Springer LNCSPaywalled, for-profit | → | |
| SYNT 2019 | 10 May 2019closed about 7 years ago was 3 Mayextended | 14 Jul 2019 New York 🇺🇸 | — | informalFree access | → | |
| ATVA 2019 | 3 May 2019closed about 7 years ago abstract 26 Apr 2019 | 28–31 Oct 2019 Taipei 🇹🇼 | A | Springer LNCSPaywalled, for-profit | → | |
| FMICS 2019 | 3 May 2019closed about 7 years ago was 26 Aprextended | 30–31 Aug 2019 Amsterdam 🇳🇱 | C | Springer LNCSPaywalled, for-profit | → | |
| RTNS 2019 | 30 Apr 2019closed about 7 years ago | 6–8 Nov 2019 Toulouse 🇫🇷 | — | ACM ICPSACM Digital Library | → | |
| VSTTE 2019 | 29 Apr 2019closed about 7 years ago abstract 23 Apr 2019 | 18–19 Jul 2019 New York City 🇺🇸 | — | LNCSPaywalled, for-profit | → | |
| TAP 2019 | 25 Apr 2019closed about 7 years ago was 11 Aprextended | 9–11 Oct 2019 Porto 🇵🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| NSV 2019 discontinued | 24 Apr 2019closed about 7 years ago | 13–14 Jul 2019 New York 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| CMSB 2019 | 24 Apr 2019closed about 7 years ago was 10 Aprextended | 18–20 Sep 2019 Trieste 🇮🇹 | — | Springer LNCS/LNBIPaywalled, for-profit | → | |
| CONCUR 2019 | 22 Apr 2019closed about 7 years ago abstract 15 Apr 2019 | 27–30 Aug 2019 Amsterdam 🇳🇱 | A | LIPIcsCC BY | → | |
| MFCS 2019 | 22 Apr 2019closed about 7 years ago | 26–30 Aug 2019 Aachen 🇩🇪 | A | LIPIcsCC BY | → | |
| QEST 2019 discontinued | 18 Apr 2019closed about 7 years ago was 5 Aprextended | 9–12 Sep 2019 Glasgow 🏴 | — | Springer LNCSPaywalled, for-profit | → | |
| RTN 2019 discontinued | 16 Apr 2019closed about 7 years ago | 9 Jul 2019 Stuttgart 🇩🇪 | — | ACM SIGBED ReviewACM Digital Library | → | |
| WCET 2019 | 16 Apr 2019closed about 7 years ago | 9 Jul 2019 Stuttgart 🇩🇪 | — | OASIcsCC BY | → | |
| EMSOFT 2019 | 12 Apr 2019closed about 7 years ago abstract 5 Apr 2019 | 13–18 Oct 2019 New York City 🇺🇸 | A | ACM/IEEEACM Digital Library | → | |
| FM 2019 | 11 Apr 2019closed about 7 years ago abstract 28 Mar 2019 | 7–11 Oct 2019 Porto 🇵🇹 | A | Springer LNCSPaywalled, for-profit | → | |
| FCT 2019 | 7 Apr 2019closed about 7 years ago abstract 31 Mar 2019 | 11–14 Aug 2019 Copenhagen 🇩🇰 | A | Springer LNCS ARCoSSPaywalled, for-profit | → | |
| GraMSec 2019 discontinued | 5 Apr 2019closed about 7 years ago | 24 Jun 2019 Hoboken 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| SPIN 2019 | 5 Apr 2019closed about 7 years ago | 15–19 Jul 2019 Beijing 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| AFADL 2019 | 1 Apr 2019closed about 7 years ago was 18 Marextended | 12–13 Jun 2019 Toulouse 🇫🇷 | — | IEEE Xplore Digital LibraryPaywalled | → | |
| PNSE 2019 | 30 Mar 2019closed about 7 years ago | 24–25 Jun 2019 Aachen 🇩🇪 | — | CEUR-WS | → | |
| SPLC 2019 | 19 Mar 2019closed about 7 years ago abstract 12 Mar 2019 | 9–13 Sep 2019 Paris 🇫🇷 | — | ACM digital libraryACM Digital Library | → | |
| ICMT 2019 discontinued | 15 Mar 2019closed about 7 years ago abstract 8 Mar 2019 | 15–19 Jul 2019 Eindhoven 🇳🇱 | B | The Journal of Object TechnologyFree access, copyright transferred | → | |
| FVSBS 2019 discontinued | 12 Mar 2019closed about 7 years ago was 20 Febextended | 12–14 Jun 2019 Napoly 🇮🇹 | — | ? | → | |
| TAPEMS 2019 discontinued | 6 Mar 2019closed about 7 years ago extended from an unrecorded date | 14 May 2019 Larnaca 🇨🇾 | — | IEEE XplorePaywalled | → | |
| SAFECOMP 2019 | 27 Feb 2019closed about 7 years ago was 17 Febextended | 10–13 Sep 2019 Turku 🇫🇮 | B | Springer LNCSPaywalled, for-profit | → | |
| CSF 2019 | 26 Feb 2019closed about 7 years ago abstract 22 Feb 2019 | 25–28 Jun 2019 Hoboken 🇺🇸 | A | IEEEPaywalled | → | |
| IJCAI 2019 | 25 Feb 2019closed about 7 years ago | 10–16 Aug 2019 Macao 🇲🇴 | A* | AAAI PressFree access, copyright transferred | → | |
| ARCH 2019 | 24 Feb 2019closed about 7 years ago | 15 Apr 2019 Montréal 🇨🇦 | — | EasyChair EPiC seriesFree access | → | |
| MT-CPS 2019 discontinued | 24 Feb 2019closed about 7 years ago | 15 Apr 2019 Montréal 🇨🇦 | — | PDFFree access | → | |
| FORTE 2019 | 22 Feb 2019closed about 7 years ago was 8 Febextended | 18–21 Jun 2019 Lyngby 🇩🇰 | B | Springer LNCS IFIPPaywalled, for-profit | → | |
| ESEC/FSE 2019 | 20 Feb 2019closed about 7 years ago | 26–30 Aug 2019 Tallinn 🇪🇪 | A | ACMACM Digital Library | → | |
| ICALP 2019 | 18 Feb 2019closed about 7 years ago firm no extension | 8–12 Jul 2019 Patras 🇬🇷 | A | LIPIcsCC BY | → | |
| SynCoP 2019 | 15 Feb 2019closed about 7 years ago was 14 Janextended | 6–7 Apr 2019 Prague 🇨🇿 | — | informal | → | |
| ACSD 2019 discontinued | 10 Feb 2019closed about 8 years ago was 22 Janextended | 23–28 Jun 2019 Aachen 🇩🇪 | B | IEEE Xplore Digital LibraryPaywalled | → | |
| QAPL 2019 discontinued | 10 Feb 2019closed about 8 years ago | 6–7 Apr 2019 Prague 🇨🇿 | — | EPTCSCC BY | → | |
| ECRTS 2019 | 7 Feb 2019closed about 8 years ago | 9–12 Jul 2019 Stuttgart 🇩🇪 | A | LIPIcsCC BY | → | |
| CAV 2019 | 7 Feb 2019closed about 8 years ago | 15–18 Jul 2019 New York City 🇺🇸 | A* | Springer LNCSCC BY | → | |
| Petri Nets 2019 | 1 Feb 2019closed about 8 years ago was 22 Janextended | 26–28 Jun 2019 Aachen 🇩🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| TASE 2019 | 28 Jan 2019closed about 8 years ago was 11 Janextended | 29–31 Jul 2019 Guilin 🇨🇳 | C | IEEE Computer Society PressPaywalled | → | |
| SNR 2019 discontinued | 26 Jan 2019closed about 8 years ago | 15 Apr 2019 Montréal 🇨🇦 | — | ACM / IEEE explorePaywalled | → | |
| FormaliSE 2019 | 25 Jan 2019closed about 8 years ago was 18 Janextended | 27 May 2019 Montréal 🇨🇦 | — | IEEE/ACMACM Digital Library | → | |
| ISORC 2019 | 25 Jan 2019closed about 8 years ago was 15 Janextended | 7–9 May 2019 Valencia 🇪🇸 | C | IEEEPaywalled | → | |
| LiCS 2019 | 11 Jan 2019closed about 8 years ago abstract 4 Jan 2019 | 24–27 Jun 2019 Vancouver 🇨🇦 | A* | ACM SIGPLAN Proceedings (?)ACM Digital Library | → | |
| RSSRail 2019 | 11 Jan 2019closed about 8 years ago abstract 5 Jan 2019 | 4–6 Jun 2019 Lille 🇫🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| HSB 2019 discontinued | 4 Jan 2019closed about 8 years ago was 16 Decextended | 6–7 Apr 2019 Prague 🇨🇿 | — | Springer LNCS/LNBIPaywalled, for-profit | → | |
| DUHDe 2019 discontinued | 17 Dec 2018closed about 8 years ago extended from an unrecorded date | 29 Mar 2019 Florence 🇮🇹 | — | informal proceedings | → | |
| NFM 2019 | 17 Dec 2018closed about 8 years ago was 14 Decextended | 7–9 May 2019 Rice University 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| LATA 2019 discontinued | 18 Nov 2018closed about 8 years ago was 11 Novextended | 25–29 Mar 2019 Saint Petersburg 🇷🇺 | C | Springer LNCSPaywalled, for-profit | → | |
| AAMAS 2019 | 16 Nov 2018closed about 8 years ago abstract 12 Nov 2018 | 15–17 May 2019 Montréal 🇨🇦 | A* | ACMFree access, copyright transferred | → | |
| FASE 2019 | 16 Nov 2018closed about 8 years ago abstract 9 Nov 2018 | 8–11 Apr 2019 Prag 🇨🇿 | B | Springer ARCoSS LNCSCC BY | → | |
| FoSSaCS 2019 | 16 Nov 2018closed about 8 years ago abstract 9 Nov 2018 | 8–11 Apr 2019 Prag 🇨🇿 | A | Springer ARCoSS LNCSCC BY | → | |
| POST 2019 discontinued | 16 Nov 2018closed about 8 years ago abstract 9 Nov 2018 | 8–11 Apr 2019 Prag 🇨🇿 | — | Springer ARCoSS LNCSCC BY | → | |
| TACAS 2019 | 16 Nov 2018closed about 8 years ago abstract 9 Nov 2018 | 8–11 Apr 2019 Prag 🇨🇿 | A | Springer ARCoSS LNCSCC BY | → | |
| WWW 2019 | 5 Nov 2018closed about 8 years ago abstract 29 Oct 2018 | 13–17 May 2019 San Francisco 🇺🇸 | A* | ACM Digital Library + conference Web siteFree access, copyright transferred | → | |
| VALUETOOLS 2019 | 28 Oct 2018closed about 8 years ago was 5 Octextended | 13–15 Mar 2019 Palma de Mallorca 🇪🇸 | — | ACMACM Digital Library | → | |
| FSEN 2019 | 28 Oct 2018closed about 8 years ago abstract 19 Oct 2018 | 1–3 May 2019 Tehran 🇮🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| HSCC 2019 discontinued | 17 Oct 2018closed about 8 years ago abstract 10 Oct 2018 | 16–19 Apr 2019 Montréal 🇨🇦 | — | ACMACM Digital Library | → | |
| ICCPS 2019 discontinued | 17 Oct 2018closed about 8 years ago | 16–18 Apr 2019 Montréal 🇨🇦 | — | ACMACM Digital Library | → | |
| RTAS 2019 | 17 Oct 2018closed about 8 years ago | 16–18 Apr 2019 Montréal 🇨🇦 | A | IEEEPaywalled | → | |
| ICPE 2019 | 15 Oct 2018closed about 8 years ago abstract 13 Oct 2018 | 7–11 Apr 2019 Mumbai 🇮🇳 | — | ACM Digital LibraryACM Digital Library | → | |
| ICST 2019 | 14 Oct 2018closed about 8 years ago was 12 Octextended | 24–26 Apr 2019 Xi’An 🇨🇳 | C | IEEEPaywalled | → | |
| VMCAI 2019 | 14 Oct 2018closed about 8 years ago was 4 Octextended | 13–15 Jan 2019 Lisbon 🇵🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| WISTP 2018 | 14 Oct 2018closed about 8 years ago | 10–11 Dec 2018 Brussels 🇧🇪 | C | Springer LNCSPaywalled, for-profit | → | |
| STACS 2019 | 1 Oct 2018closed about 8 years ago | 13–16 Mar 2019 Berlin 🇩🇪 | A | LIPIcsCC BY-ND | → | |
| MLCSB 2018 discontinued | 25 Sep 2018closed about 8 years ago was 15 Sepextended | 17–18 Dec 2018 Santiago 🇨🇱 | — | Springer LNCSPaywalled, for-profit | → | |
| SAC 2019 | 24 Sep 2018closed about 8 years ago was 10 Sepextended | 8–12 Apr 2019 Limassol 🇨🇾 | B | ACMACM Digital Library | → | |
| ICAASE 2018 | 23 Sep 2018closed about 8 years ago | 1–2 Dec 2018 Constantine 🇩🇿 | — | CEUR-WSFree access | → | |
| DATE 2019 | 16 Sep 2018closed about 8 years ago abstract 9 Sep 2018 | 25–29 Mar 2019 Florence 🇮🇹 | B | IEEEPaywalled | → | |
| FTSCS 2018 discontinued | 11 Sep 2018closed about 8 years ago was 4 Sepextended | 16 Nov 2018 Gold Coast 🇦🇺 | — | Springer CCISPaywalled, for-profit | → | |
| JRWRTC 2018 | 10 Sep 2018closed about 8 years ago was 27 Augextended | 10–12 Oct 2018 Poitiers/Futuroscope 🇫🇷 | — | → | ||
| NWPT 2018 | 10 Sep 2018closed about 8 years ago was 1 Sepextended | 24–26 Oct 2018 Oslo 🇳🇴 | — | → | ||
| SoICT 2018 | 1 Sep 2018closed about 8 years ago was 14 Augextended | 6–7 Dec 2018 Đà Nẵng 🇻🇳 | — | ACM ICPSACM Digital Library | → | |
| ICSE 2019 | 24 Aug 2018closed about 8 years ago | 25–31 May 2019 Montréal 🇨🇦 | A* | ACMPaywalled | → | |
| LPAR 2018 | 13 Aug 2018closed about 8 years ago abstract 6 Aug 2018 | 16–21 Nov 2018 Awassa 🇪🇹 | A | EPiC Series in ComputingFree access | → | |
| FSTTCS 2018 | 31 Jul 2018closed about 8 years ago abstract 24 Jul 2018 | 10–14 Dec 2018 Ahmedabad University 🇮🇳 | — | LIPIcsCC BY | → | |
| ICSEA 2018 | 28 Jul 2018closed about 8 years ago was 28 Junextended | 14–18 Oct 2018 Nice 🇫🇷 | C | ThinkMindFree access, copyright transferred | → | |
| SBMF 2018 | 20 Jul 2018closed about 8 years ago was 13 Julextended | 26–30 Nov 2018 Salvador-BA 🇧🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| PRDC 2018 | 15 Jul 2018closed about 8 years ago was 1 Junextended | 4–7 Dec 2018 Taipei 🇹🇼 | B | IEEEPaywalled | → | |
| POPL 2019 | 11 Jul 2018closed about 8 years ago | 13–19 Jan 2019 Cascais/Lisbon 🇵🇹 | A* | PACMPLCC BY | → | |
| ACOMP 2018 | 10 Jul 2018closed about 8 years ago | 28–30 Nov 2018 Hồ Chí Minh City 🇻🇳 | — | IEEE CPSPaywalled | ||
12th International Conference on Advanced Computing and Applications Notification25 Aug 2018 Format8 pages IEEE
5 tracks. | ||||||
| RTNS 2018 | 10 Jul 2018closed about 8 years ago was 26 Junextended | 10–12 Oct 2018 Poitiers 🇫🇷 | — | ACM ICPSACM Digital Library | → | |
| RV 2018 | 8 Jul 2018closed about 8 years ago was 25 Junextended | 10–13 Oct 2018 Limassol 🇨🇾 | C | Springer LNCSPaywalled, for-profit | → | |
| APSEC 2018 | 6 Jul 2018closed about 8 years ago abstract 29 Jun 2018 | 4–7 Dec 2018 Nara 🇯🇵 | B | IEEE CPSPaywalled | → | |
| EPEW 2018 | 1 Jul 2018closed about 8 years ago was 10 Junextended | 29–30 Oct 2018 Paris 🇫🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| ICECCS 2018 | 1 Jul 2018closed about 8 years ago was 22 Junextended | 12–14 Dec 2018 Melbourne 🇦🇺 | A | IEEE Conference Publishing ServicesPaywalled | → | |
| LOPSTR 2018 | 30 Jun 2018closed about 8 years ago was 1 Aprextended | 4–6 Oct 2018 Frankfurt 🇩🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| FACS 2018 | 25 Jun 2018closed about 8 years ago was 15 Junextended | 10–12 Oct 2018 Pohang 🇰🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| GandALF 2018 | 22 Jun 2018closed about 8 years ago was 15 Junextended | 26–28 Sep 2018 Saarbrücken 🇩🇪 | — | EPTCSCC BY | → | |
| YR-CONCUR 2018 | 17 Jun 2018closed about 8 years ago was 8 Junextended | 3 Sep 2018 Beijing 🇨🇳 | — | informal | → | |
| APLAS 2018 | 15 Jun 2018closed about 8 years ago abstract 12 Jun 2018 | 3–5 Dec 2018 Wellington 🇳🇿 | B | Springer LNCSPaywalled, for-profit | → | |
| RP 2018 | 15 Jun 2018closed about 8 years ago was 7 Junextended | 24–26 Sep 2018 Marseille 🇫🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| SERENE 2018 discontinued | 15 Jun 2018closed about 8 years ago abstract 1 Jun 2018 | 10–11 Sep 2018 Iași 🇷🇴 | — | Springer LNCSPaywalled, for-profit | → | |
| WAMCA 2018 | 15 Jun 2018closed about 8 years ago | 24–27 Sep 2018 Lyon 🇫🇷 | — | IEEE XplorePaywalled | ||
9th Workshop on Applications for Multi-Core Architectures Notification10 Jul 2018 Format8 pages IEEE
In conjunction with SBAC-PAD 2018. Selected papers will be considered for a publication in the International Journal of High Performance Computing and Networking (IJHPCN). | ||||||
| Highlights 2018 | 13 Jun 2018closed about 8 years ago | 18–21 Sep 2018 Berlin 🇩🇪 | — | informal | → | |
| MEMOCODE 2018 | 8 Jun 2018closed about 8 years ago was 1 Junextended | 15–18 Oct 2018 Beijing 🇨🇳 | — | IEEEPaywalled | → | |
| RTSS 2018 | 31 May 2018closed about 8 years ago firm no extension | 11–14 Dec 2018 Nashville 🇺🇸 | A* | IEEEPaywalled | → | |
| FMCAD 2018 | 25 May 2018closed about 8 years ago was 18 Mayextended | 30 Oct – 2 Nov 2018 Austin 🇺🇸 | — | ACM/IEEE (+ Web page)Free access | → | |
| EuroMPI 2018 | 22 May 2018closed about 8 years ago was 1 Mayextended | 23–26 Sep 2018 Barcelona 🇪🇸 | C | ACMACM Digital Library | → | |
| ICFEM 2018 | 21 May 2018closed about 8 years ago was 14 Mayextended | 12–16 Nov 2018 Gold Coast 🇦🇺 | B | Springer LNCSPaywalled, for-profit | → | |
| TIME 2018 | 21 May 2018closed about 8 years ago was 11 Mayextended | 15–17 Oct 2018 Warsaw 🇵🇱 | B | LIPIcsCC BY | → | |
| TIPS 2018 discontinued | 11 May 2018closed about 8 years ago | 8 Sep 2018 Beijing 🇨🇳 | — | None (?) | → | |
| NSV 2018 discontinued | 11 May 2018closed about 8 years ago was 15 Aprextended | 19 Jul 2018 Oxford 🏴 | — | Elsevier ENTCSPaywalled, for-profit | → | |
| ICTAC 2018 | 11 May 2018closed about 8 years ago abstract 4 May 2018 | 16–19 Oct 2018 Stellenbosch 🇿🇦 | B | Springer LNCSPaywalled, for-profit | → | |
| FMICS 2018 | 11 May 2018closed about 8 years ago was 27 Aprextended | 3–4 Sep 2018 Maynooth University 🇮🇪 | C | Springer LNCSPaywalled, for-profit | → | |
| ATVA 2018 | 11 May 2018closed about 8 years ago was 4 Mayextended | 7–10 Oct 2018 Los Angeles 🇺🇸 | A | Springer LNCSPaywalled, for-profit | → | |
| VECoS 2018 | 8 May 2018closed about 8 years ago was 30 Aprextended | 26–28 Sep 2018 Grenoble 🇫🇷 | — | Springer LNCSPaywalled | → | |
| SETTA 2018 | 7 May 2018closed about 8 years ago was 30 Marextended | 4–6 Sep 2018 Beijing 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| ISSRE 2018 | 5 May 2018closed about 8 years ago abstract 1 May 2018 | 15–18 Oct 2018 Memphis 🇺🇸 | A | IEEE (?)Paywalled | → | |
| iFM 2018 | 2 May 2018closed about 8 years ago was 20 Aprextended | 5–7 Sep 2018 Maynooth 🇮🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| SYNT 2018 | 1 May 2018closed about 8 years ago | 18 Jul 2018 Oxford 🏴 | — | EPTCSCC BY | → | |
| CIEL 2018 discontinued | 30 Apr 2018closed about 8 years ago | 12–15 Jun 2018 Grenoble 🇫🇷 | — | ? | → | |
| VSTTE 2018 | 29 Apr 2018closed about 8 years ago was 22 Aprextended | 18–19 Jul 2018 Oxford 🏴 | — | LNCSPaywalled, for-profit | → | |
| CMSB 2018 | 27 Apr 2018closed about 8 years ago abstract 20 Apr 2018 | 12–14 Sep 2018 Brno (Czech Republic) 🇨🇿 | — | Springer LNCS/LNBIPaywalled, for-profit | → | |
| ASE 2018 | 26 Apr 2018closed about 8 years ago abstract 19 Apr 2018 | 3–7 Sep 2018 Montpellier 🇫🇷 | A | ACMACM Digital Library | → | |
| MFCS 2018 | 24 Apr 2018closed about 8 years ago abstract 20 Apr 2018 | 27–31 Aug 2018 Liverpool 🏴 | A | LIPIcsCC BY | → | |
| RTN 2018 discontinued | 24 Apr 2018closed about 8 years ago was 17 Aprextended | 3 Jul 2018 Barcelona 🇪🇸 | — | SIGBED ReviewACM Digital Library | → | |
| RTSOPS 2018 | 24 Apr 2018closed about 8 years ago was 17 Aprextended | 3 Jul 2018 Barcelona 🇪🇸 | none? | → | ||
| WATERS 2018 discontinued | 24 Apr 2018closed about 8 years ago was 17 Aprextended | 3 Jul 2018 Dubrovnik 🇭🇷 | — | No formal proceedings?Free access | → | |
| WCET 2018 | 24 Apr 2018closed about 8 years ago was 17 Aprextended | 3 Jul 2018 Barcelona 🇪🇸 | — | OASIcsCC BY | → | |
| CONCUR 2018 | 23 Apr 2018closed about 8 years ago abstract 17 Apr 2018 | 4–7 Sep 2018 Beijing 🇨🇳 | A | LIPIcsCC BY | → | |
| PNSE 2018 | 22 Apr 2018closed about 8 years ago was 5 Aprextended | 25–26 Jun 2018 Bratislava 🇸🇰 | — | CEUR-WS | → | |
| AVoCS 2018 discontinued | 20 Apr 2018closed about 8 years ago was 15 Aprextended | 18–19 Jul 2018 Oxford 🏴 | — | EASSTFree access | → | |
| RTCSA 2018 | 20 Apr 2018closed about 8 years ago | 28–31 Aug 2018 Hokkaido 🇯🇵 | B | IEEE XplorePaywalled | → | |
| FORMATS 2018 discontinued | 18 Apr 2018closed about 8 years ago was 30 Marextended | 4–6 Sep 2018 Beijing 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| HCVS 2018 | 15 Apr 2018closed about 8 years ago | 13 Jul 2018 Oxford 🏴 | — | EPTCSCC BY | → | |
| QAPL 2018 discontinued | 15 Apr 2018closed about 8 years ago abstract 10 Apr 2018 | 14 Jul 2018 Oxford 🏴 | — | EPTCSCC BY | → | |
| WST 2018 | 15 Apr 2018closed about 8 years ago | 18–19 Jul 2018 Oxford 🏴 | — | Web pageFree access | → | |
| QEST 2018 discontinued | 4 Apr 2018closed about 8 years ago was 25 Marextended | 4–7 Sep 2018 Beijing 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| EMSOFT 2018 | 3 Apr 2018closed about 8 years ago abstract 27 Mar 2018 | 30 Sep – 5 Oct 2018 Torino 🇮🇹 | A | ACM/IEEEACM Digital Library | → | |
| SPIN 2018 | 3 Apr 2018closed about 8 years ago was 18 Febextended | 20–22 Jun 2018 Málaga 🇪🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| ICOST 2018 discontinued | 30 Mar 2018closed about 8 years ago was 1 Marextended | 9–11 Jul 2018 Singapore 🇸🇬 | — | Springer LNCSPaywalled, for-profit | → | |
| CDC 2018 | 20 Mar 2018closed about 8 years ago | 17–19 Dec 2018 Miami Beach 🇺🇸 | A | IEEEPaywalled | → | |
| SAFECOMP 2018 | 12 Mar 2018closed about 8 years ago was 28 Febextended | 19–21 Sep 2018 Västerås 🇸🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| SIES 2018 discontinued | 11 Mar 2018closed about 8 years ago was 25 Febextended | 6–8 Jun 2018 Graz 🇦🇹 | — | IEEE eXplorePaywalled | → | |
| TAP 2018 | 11 Mar 2018closed about 8 years ago was 2 Marextended | 27–29 Jun 2018 Toulouse 🇫🇷 | B | Springer LNCSPaywalled, for-profit | → | |
| ESEC/FSE 2018 | 9 Mar 2018closed about 8 years ago | 4–9 Nov 2018 Orlando 🇺🇸 | A | ACMACM Digital Library | → | |
| SEFM 2018 | 9 Mar 2018closed about 8 years ago was 2 Marextended | 27–29 Jun 2018 Toulouse 🇫🇷 | B | Springer LNCSPaywalled, for-profit | → | |
| AFADL 2018 | 2 Mar 2018closed about 8 years ago | 13–15 Jun 2018 Grenoble 🇫🇷 | — | IEEE Xplore Digital LibraryPaywalled | → | |
| TASE 2018 | 2 Mar 2018closed about 8 years ago abstract 23 Feb 2018 | 29–31 Aug 2018 Guangzhou 🇨🇳 | C | IEEE Computer Society PressPaywalled | → | |
| FVSBS 2018 discontinued | 28 Feb 2018closed about 8 years ago | 27–29 Jun 2018 Paris 🇫🇷 | — | ? | → | |
| FORTE 2018 | 23 Feb 2018closed about 8 years ago was 9 Febextended | 18–21 Jun 2018 Madrid 🇪🇸 | A | Springer LNCSPaywalled, for-profit | → | |
| ICALP 2018 | 16 Feb 2018closed about 8 years ago firm no extension | 10–13 Jul 2018 Prague 🇨🇿 | A | LIPIcsCC BY | → | |
| ACSD 2018 discontinued | 15 Feb 2018closed about 8 years ago was 25 Janextended | 24–29 Jun 2018 Bratislava 🇸🇰 | B | IEEE Xplore Digital LibraryPaywalled | → | |
| ISORC 2018 | 14 Feb 2018closed about 8 years ago was 2 Febextended | 29–31 May 2018 Singapore 🇸🇬 | C | IEEEPaywalled | → | |
| SynCoP 2018 | 12 Feb 2018closed about 8 years ago was 15 Janextended | 14–15 Apr 2018 Thessaloniki 🇬🇷 | — | informal | → | |
| ABZ 2018 | 5 Feb 2018closed about 9 years ago was 29 Janextended | 5–8 Jun 2018 Southampton 🏴 | — | SpringerPaywalled, for-profit | → | |
| TABLEAUX 2018 | 4 Feb 2018closed about 9 years ago was 29 Janextended | 14–17 Jul 2018 Oxford 🏴 | A | Springer LNCSPaywalled, for-profit | → | |
| IJCAI 2018 | 2 Feb 2018closed about 9 years ago was 31 Janextended | 13–19 Jul 2018 Stockholm 🇸🇪 | A* | AAAI PressFree access, copyright transferred | → | |
| ECRTS 2018 | 1 Feb 2018closed about 9 years ago | 3–6 Jul 2018 Barcelona 🇪🇸 | A | LIPIcsCC BY | → | |
| LiCS 2018 | 31 Jan 2018closed about 9 years ago abstract 24 Jan 2018 | 9–12 Jul 2018 Oxford 🏴 | A* | ACM SIGPLAN ProceedingsACM Digital Library | → | |
| CSF 2018 | 31 Jan 2018closed about 9 years ago abstract 30 Jan 2018 | 9–12 Jul 2018 Oxford 🏴 | A | IEEEPaywalled | → | |
| CAV 2018 | 31 Jan 2018closed about 9 years ago | 14–17 Jul 2018 Oxford 🏴 | A* | Springer LNCSPaywalled, for-profit | → | |
| FormaliSE 2018 | 29 Jan 2018closed about 9 years ago abstract 24 Jan 2018 | 2 Jun 2018 Gothenburg 🇸🇪 | — | IEEE/ACMACM Digital Library | → | |
| IJCAR 2018 | 29 Jan 2018closed about 9 years ago abstract 22 Jan 2018 | 14–17 Jul 2018 Oxford 🏴 | A* | Springer LNAI/LNCSPaywalled, for-profit | → | |
| FM 2018 | 22 Jan 2018closed about 9 years ago abstract 8 Jan 2018 | 15–17 Jul 2018 Oxford 🏴 | A | Springer LNCSPaywalled, for-profit | → | |
| Petri Nets 2018 | 22 Jan 2018closed about 9 years ago was 15 Janextended | 24–29 Jun 2018 Bratislava 🇸🇰 | B | Springer LNCSPaywalled, for-profit | → | |
| MARS 2018 | 21 Jan 2018closed about 9 years ago was 12 Janextended | 20 Apr 2018 Thessaloniki 🇬🇷 | — | EPTCSCC BY | → | |
| ADHS 2018 | 6 Jan 2018closed about 9 years ago was 8 Decextended | 11–13 Jul 2018 Oxford 🏴 | — | Science DirectFree access, copyright transferred | → | |
| ICPS 2018 | 22 Dec 2017closed about 9 years ago | 15–18 May 2018 Saint Petersburg 🇷🇺 | — | IEEE-XplorePaywalled | → | |
| WODES 2018 | 15 Dec 2017closed about 9 years ago was 4 Decextended | 30 May – 1 Jun 2018 Sorrento Coast 🇮🇹 | — | ScienceDirect (Elsevier)Paywalled, for-profit | → | |
| NFM 2018 | 11 Dec 2017closed about 9 years ago was 20 Novextended | 17–19 Apr 2018 Newport News 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| POST 2018 discontinued | 24 Nov 2017closed about 9 years ago abstract 22 Nov 2017 | 14–21 Apr 2018 Thessaloniki 🇬🇷 | — | Springer LNCS / ARCoSSCC BY | → | |
| LATA 2018 discontinued | 17 Nov 2017closed about 9 years ago | 8–12 Apr 2018 Bar-Ilan 🇮🇱 | C | Springer LNCSPaywalled, for-profit | → | |
| AAMAS 2018 | 14 Nov 2017closed about 9 years ago abstract 10 Nov 2017 | 10–15 Jul 2018 Stockholm 🇸🇪 | A* | ACMFree access, copyright transferred | → | |
| AI4Health 2018 discontinued | 7 Nov 2017closed about 9 years ago | 19–21 Jan 2018 Funchal 🇵🇹 | — | SCITEPRESS Digital LibraryPaywalled, for-profit | → | |
| AMARETTO 2018 discontinued | 7 Nov 2017closed about 9 years ago | 22–24 Jan 2018 Funchal 🇵🇹 | — | SCITEPRESS Digital Library | → | |
| WWW 2018 | 31 Oct 2017closed about 9 years ago abstract 26 Oct 2017 | 23–27 Apr 2018 Lyon 🇫🇷 | A* | ACM Digital Library + conference Web siteFree access, copyright transferred | → | |
| ERTS 2018 | 27 Oct 2017closed about 9 years ago abstract 9 Jul 2017 | 31 Jan – 2 Feb 2018 Toulouse 🇫🇷 | — | ? | → | |
| ICPE 2018 | 25 Oct 2017closed about 9 years ago was 18 Octextended | 9–13 Apr 2018 Berlin 🇩🇪 | — | ACM Digital LibraryACM Digital Library | → | |
| FoSSaCS 2018 | 20 Oct 2017closed about 9 years ago abstract 13 Oct 2017 | 14–21 Apr 2018 Thessaloniki 🇬🇷 | A | Springer ARCoSS LNCSCC BY | → | |
| TACAS 2018 | 20 Oct 2017closed about 9 years ago abstract 13 Oct 2017 | 14–21 Apr 2018 Thessaloniki 🇬🇷 | A | Springer ARCoSS LNCSCC BY | → | |
| ICST 2018 | 16 Oct 2017closed about 9 years ago was 12 Octextended | 9–13 Apr 2018 Västerås 🇸🇪 | C | IEEEPaywalled | → | |
| CRTS 2017 discontinued | 15 Oct 2017closed about 9 years ago was 17 Sepextended | 5 Dec 2017 Paris 🇫🇷 | — | Special issue of ACM SIGBED ReviewACM Digital Library | → | |
| VMCAI 2018 | 8 Oct 2017closed about 9 years ago was 6 Octextended | 7–9 Jan 2018 Los Angeles 🇺🇸 | B | Springer LNCSPaywalled, for-profit | → | |
| HSCC 2018 discontinued | 6 Oct 2017closed about 9 years ago | 11–13 Apr 2018 Porto 🇵🇹 | — | ACMACM Digital Library | → | |
| ICCPS 2018 discontinued | 6 Oct 2017closed about 9 years ago abstract 29 Sep 2017 | 9–12 Apr 2018 Porto 🇵🇹 | — | ACMACM Digital Library | → | |
| RTAS 2018 | 6 Oct 2017closed about 9 years ago | 11–13 Apr 2018 Porto 🇵🇹 | A | IEEEPaywalled | → | |
| CERTS 2017 discontinued | 1 Oct 2017closed about 9 years ago | 22–24 Jan 2018 Funchal 🇵🇹 | — | ? | → | |
| SAC 2018 | 25 Sep 2017closed about 9 years ago was 15 Sepextended | 9–13 Apr 2018 Pau 🇫🇷 | B | ACMACM Digital Library | → | |
| STACS 2018 | 25 Sep 2017closed about 9 years ago | 28 Feb – 3 Mar 2018 Caen 🇫🇷 | B | LIPIcsCC BY-ND | → | |
| EUMAS 2017 | 24 Sep 2017closed about 9 years ago was 17 Sepextended | 14–15 Dec 2017 Evry 🇫🇷 | — | Springer LNCS/LNAIPaywalled, for-profit | → | |
| NWPT 2017 | 21 Sep 2017closed about 9 years ago was 17 Sepextended | 1–3 Nov 2017 Turku 🇫🇮 | — | → | ||
| DATE 2018 | 10 Sep 2017closed about 9 years ago | 19–23 Mar 2018 Dresden 🇩🇪 | B | IEEEPaywalled | → | |
| JRWRTC 2017 | 8 Sep 2017closed about 9 years ago was 24 Augextended | 4–6 Oct 2017 Grenoble 🇫🇷 | — | → | ||
| ICSE 2018 | 25 Aug 2017closed about 9 years ago | 27 May – 3 Jun 2018 Gothenburg 🇸🇪 | A* | ACMPaywalled | → | |
| SoICT 2017 | 14 Aug 2017closed about 9 years ago | 7–8 Dec 2017 Nha Trang 🇻🇳 | — | ACM ICPSACM Digital Library | → | |
| SBMF 2017 | 2 Aug 2017closed about 9 years ago was 21 Julextended | 27 Nov – 1 Dec 2017 Recife 🇧🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| VALUETOOLS 2017 | 31 Jul 2017closed about 9 years ago was 17 Julextended | 5–7 Dec 2017 Taormina 🇮🇹 | — | ACMACM Digital Library | → | |
| FSTTCS 2017 | 31 Jul 2017closed about 9 years ago was 24 Julextended | 11–15 Dec 2017 Kanpur 🇮🇳 | — | LIPIcsCC BY | → | |
| HVC 2017 discontinued | 28 Jul 2017closed about 9 years ago was 21 Julextended | 13–15 Nov 2017 Haifa 🇮🇱 | — | SpringerPaywalled, for-profit | → | |
| RTNS 2017 | 17 Jul 2017closed about 9 years ago | 4–6 Oct 2017 Grenoble 🇫🇷 | — | ACM ICPSACM Digital Library | → | |
| ACIS 2017 discontinued | 10 Jul 2017closed about 9 years ago was 10 Junextended | 12–14 Dec 2017 Phnom Penh 🇰🇭 | — | IEEJ | → | |
| APSEC 2017 | 7 Jul 2017closed about 9 years ago abstract 30 Jun 2017 | Nanjing 🇨🇳 | B | IEEE CPSPaywalled | → | |
| POPL 2018 | 7 Jul 2017closed about 9 years ago | 8–13 Jan 2018 Los Angeles 🇺🇸 | A* | PACMPLCC BY | → | |
| ETR 2017 discontinued | 3 Jul 2017closed about 9 years ago was 13 Junextended | 28 Aug – 1 Sep 2017 Paris 🇫🇷 | — | Given to participantsFree access | → | |
| ICECCS 2017 | 3 Jul 2017closed about 9 years ago was 19 Junextended | 5–8 Nov 2017 Fukuoka 🇯🇵 | A | IEEE Conference Publishing ServicesPaywalled | → | |
| ACOMP 2017 | 30 Jun 2017closed about 9 years ago | 29 Nov – 1 Dec 2017 Hồ Chí Minh City 🇻🇳 | — | IEEE CPSPaywalled | → | |
| YR-CONCUR 2017 | 25 Jun 2017closed about 9 years ago | 4 Sep 2017 Berlin 🇩🇪 | — | informal | → | |
| LOPSTR 2017 | 25 Jun 2017closed about 9 years ago was 13 Junextended | 10–12 Oct 2017 Namur 🇧🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| SETTA 2017 | 25 Jun 2017closed about 9 years ago was 28 Aprextended | 23–25 Oct 2017 Changsha 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| FDSE 2017 | 20 Jun 2017closed about 9 years ago | 29 Nov – 1 Dec 2017 Hồ-Chí-Minh-City 🇻🇳 | — | Springer LNCSPaywalled, for-profit | ||
4th International Conference on Future Data and Security Engineering Notification25 Aug 2017 Format20 pages LNCS
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. | ||||||
| RP 2017 | 19 Jun 2017closed about 9 years ago was 10 Mayextended | 7–9 Sep 2017 London 🏴 | — | Springer LNCSPaywalled, for-profit | → | |
| FORTRESS 2017 discontinued | 18 Jun 2017closed about 9 years ago was 31 Mayextended | 16–18 Aug 2017 Hsinchu 🇹🇼 | — | ? | → | |
| HCVS 2017 | 18 Jun 2017closed about 9 years ago was 11 Junextended | 7 Aug 2017 Gothenburg 🇸🇪 | — | EPTCSCC BY | → | |
| GandALF 2017 | 15 Jun 2017closed about 9 years ago was 26 Mayextended | 20–22 Sep 2017 Rome 🇮🇹 | — | EPTCSCC BY | → | |
| KSE 2017 | 15 Jun 2017closed about 9 years ago | 19–21 Oct 2017 Huế 🇻🇳 | — | IEEEPaywalled | → | |
| V2CPS 2017 discontinued | 9 Jun 2017closed about 9 years ago | 19 Sep 2017 Torino 🇮🇹 | — | EPTCSCC BY | → | |
| RSSRail 2017 | 8 Jun 2017closed about 9 years ago abstract 1 Jun 2017 | 14–16 Nov 2017 Pistoia 🇮🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| DaLí 2017 | 2 Jun 2017closed about 9 years ago abstract 26 May 2017 | 24 Sep 2017 Brasília 🇧🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| Highlights 2017 | 2 Jun 2017closed about 9 years ago | 12–15 Sep 2017 London 🏴 | — | informal | → | |
| EuroMPI/USA 2017 | 29 May 2017closed about 9 years ago was 1 Mayextended | 25–28 Sep 2017 Chicago 🇺🇸 | C | ACMACM Digital Library | → | |
| FEVER 2017 discontinued | 29 May 2017closed about 9 years ago was 22 Mayextended | 23 Jul 2017 Heidelberg 🇩🇪 | — | No proceedings | → | |
| MSR 2017 | 29 May 2017closed about 9 years ago was 14 Mayextended | 15–17 Nov 2017 Marseille 🇫🇷 | — | HALFree access | → | |
| FMICS-AVoCS 2017 discontinued | 28 May 2017closed about 9 years ago was 21 Mayextended | 18–20 Sep 2017 Torino 🇮🇹 | C | Springer LNCSPaywalled, for-profit | → | |
| FACS 2017 | 26 May 2017closed about 9 years ago abstract 19 May 2017 | 10–13 Oct 2017 Braga 🇵🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| MEMOCODE 2017 | 26 May 2017closed about 9 years ago was 19 Mayextended | 29 Sep – 2 Oct 2017 Vienna 🇦🇹 | — | IEEEPaywalled | → | |
| TIME 2017 | 21 May 2017closed about 9 years ago was 12 Mayextended | 16–18 Oct 2017 Mons 🇧🇪 | B | LIPIcsCC BY | → | |
| ICSEA 2017 | 20 May 2017closed about 9 years ago | 8–12 Oct 2017 Athens 🇬🇷 | C | ThinkMindFree access, copyright transferred | → | |
| TTCS 2017 discontinued | 19 May 2017closed about 9 years ago was 8 Mayextended | 12–14 Sep 2017 Tehran 🇮🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| VBSP 2017 discontinued | 15 May 2017closed about 9 years ago was 5 Mayextended | 5 Jul 2017 Paris 🇫🇷 | — | None? | → | |
| ICFEM 2017 | 14 May 2017closed about 9 years ago was 7 Mayextended | 13–17 Nov 2017 Xi’An 🇨🇳 | B | Springer LNCSPaywalled, for-profit | → | |
| ASE 2017 | 12 May 2017closed about 9 years ago abstract 5 May 2017 | 30 Oct – 3 Nov 2017 Urbana-Champaign 🇺🇸 | A | ACMACM Digital Library | → | |
| ISSRE 2017 | 12 May 2017closed about 9 years ago was 5 Mayextended | 23–26 Oct 2017 Ottawa 🇨🇦 | A | IEEE (?)Paywalled | → | |
| FMCAD 2017 | 8 May 2017closed about 9 years ago abstract 1 May 2017 | 2–6 Oct 2017 Vienna 🇦🇹 | — | ACM/IEEEACM Digital Library | → | |
| RV 2017 | 8 May 2017closed about 9 years ago was 1 Mayextended | 13–16 Sep 2017 Seattle 🇺🇸 | C | Springer LNCSPaywalled, for-profit | → | |
| VECoS 2017 | 8 May 2017closed about 9 years ago was 24 Aprextended | 24–25 Aug 2017 Montréal 🇨🇦 | — | Springer LNCSPaywalled | → | |
| VSTTE 2017 | 8 May 2017closed about 9 years ago was 1 Mayextended | 19 Sep 2017 Heidelberg 🇩🇪 | — | LNCSPaywalled, for-profit | → | |
| FCT 2017 | 6 May 2017closed about 9 years ago abstract 1 May 2017 | 11–13 Sep 2017 Bordeaux 🇫🇷 | A | Springer LNCS ARCoSSPaywalled, for-profit | → | |
| FORMATS 2017 discontinued | 5 May 2017closed about 9 years ago was 28 Aprextended | 5–7 Sep 2017 Berlin 🇩🇪 | — | Springer LNCSPaywalled, for-profit | → | |
| FMi 2017 discontinued | 1 May 2017closed about 9 years ago was 25 Marextended | 4–6 Aug 2017 San Diego 🇺🇸 | — | IEEEPaywalled | → | |
| NSV 2017 discontinued | 1 May 2017closed about 9 years ago was 22 Aprextended | 22–23 Jul 2017 Heidelberg 🇩🇪 | — | Springer LNCSPaywalled, for-profit | → | |
| RTSS 2017 | 1 May 2017closed about 9 years ago firm no extension | 5–8 Dec 2017 Paris 🇫🇷 | A* | IEEEPaywalled | → | |
| SYNT 2017 | 1 May 2017closed about 9 years ago | 22 Jul 2017 Heidelberg 🇩🇪 | — | EPTCSCC BY | → | |
| TABLEAUX 2017 | 28 Apr 2017closed about 9 years ago was 25 Aprextended | 25–28 Sep 2017 Brasília 🇧🇷 | A | Springer LNCSPaywalled, for-profit | → | |
| CMSB 2017 | 28 Apr 2017closed about 9 years ago was 14 Aprextended | 27–29 Sep 2017 Darmstadt 🇩🇪 | — | Springer LNCS/LNBIPaywalled, for-profit | → | |
| ATVA 2017 | 28 Apr 2017closed about 9 years ago was 21 Aprextended | 4–6 Oct 2017 Pune 🇮🇳 | A | Springer LNCSPaywalled, for-profit | → | |
| iFM 2017 | 27 Apr 2017closed about 9 years ago was 4 Aprextended | 20–22 Sep 2017 Turin 🇮🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| MFCS 2017 | 24 Apr 2017closed about 9 years ago abstract 20 Apr 2017 | 21–25 Aug 2017 Aalborg 🇩🇰 | A | LIPIcsCC BY | → | |
| RTCSA 2017 | 23 Apr 2017closed about 9 years ago was 14 Aprextended | 16–18 Aug 2017 Hsinchu 🇹🇼 | B | IEEE XplorePaywalled | → | |
| ICTAC 2017 | 22 Apr 2017closed about 9 years ago was 12 Aprextended | 23–27 Oct 2017 Hà Nội 🇻🇳 | B | Springer LNCSPaywalled, for-profit | → | |
| ICOST 2017 discontinued | 21 Apr 2017closed about 9 years ago was 15 Marextended | 29–31 Aug 2017 Paris 🇫🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| CIEL 2017 discontinued | 14 Apr 2017closed about 9 years ago | 15–16 Jun 2017 Montpellier 🇫🇷 | — | ? | → | |
| WATERS 2017 discontinued | 14 Apr 2017closed about 9 years ago was 31 Marextended | 27 Jun 2017 Dubrovnik 🇭🇷 | — | No formal proceedings?Free access | → | |
| WCET 2017 | 14 Apr 2017closed about 9 years ago was 31 Marextended | 27 Jun 2017 Dubrovnik 🇭🇷 | — | OASIcsCC BY | → | |
| SEFM 2017 | 13 Apr 2017closed about 9 years ago was 31 Marextended | 6–10 Sep 2017 Trento 🇮🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| QEST 2017 discontinued | 9 Apr 2017closed about 9 years ago was 31 Marextended | 5–7 Sep 2017 Berlin 🇩🇪 | — | Springer LNCSPaywalled, for-profit | → | |
| EMSOFT 2017 | 7 Apr 2017closed about 9 years ago abstract 31 Mar 2017 | 15–20 Oct 2017 Seoul 🇰🇷 | A | ACM/IEEEACM Digital Library | → | |
| PNSE 2017 | 6 Apr 2017closed about 9 years ago was 23 Marextended | 26–27 Jun 2017 Zaragoza 🇪🇸 | — | CEUR-WSFree access | → | |
| AFM 2017 discontinued | 3 Apr 2017closed about 9 years ago was 27 Marextended | 19–20 May 2017 Menlo Park 🇺🇸 | — | None? | → | |
| TASE 2017 | 2 Apr 2017closed about 9 years ago was 19 Marextended | 13–15 Sep 2017 Sophia Antipolis 🇫🇷 | C | IEEE Computer Society PressPaywalled | → | |
| CSL 2017 | 31 Mar 2017closed about 9 years ago abstract 24 Mar 2017 | 20–24 Aug 2017 Stockholm 🇸🇪 | B | LIPIcsCC BY | → | |
| CDC 2017 | 20 Mar 2017closed about 9 years ago | 12–15 Dec 2017 Melbourne 🇦🇺 | A | IEEEPaywalled | → | |
| SIES 2017 discontinued | 19 Mar 2017closed about 9 years ago was 3 Marextended | 7–9 Jun 2017 Toulouse 🇫🇷 | — | IEEEPaywalled | → | |
| FVSBS 2017 discontinued | 15 Mar 2017closed about 9 years ago was 15 Febextended | 21–23 Jun 2017 Poznań 🇵🇱 | — | ? | → | |
| AFADL 2017 | 13 Mar 2017closed about 9 years ago was 3 Marextended | 13–14 Jun 2017 Montpellier 🇫🇷 | — | IEEE Xplore Digital LibraryPaywalled | → | |
| BPM 2017 | 13 Mar 2017closed about 9 years ago abstract 6 Mar 2017 | 10–15 Sep 2017 Barcelona 🇪🇸 | A | Springer LNCSPaywalled, for-profit | → | |
| SAFECOMP 2017 | 10 Mar 2017closed about 9 years ago was 28 Febextended | 13–15 Sep 2017 Trento 🇮🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| ARCH 2017 | 6 Mar 2017closed about 9 years ago was 15 Febextended | 17 Apr 2017 Pittsburgh 🇺🇸 | — | EasyChair EPiC seriesFree access | → | |
| SERA 2017 | 5 Mar 2017closed about 9 years ago | 7–9 Jun 2017 Greenwich 🏴 | C | IEEE CPSPaywalled | → | |
| TAP 2017 | 5 Mar 2017closed about 9 years ago was 24 Febextended | 19–20 Jul 2017 Marburg 🇩🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| CIAA 2017 | 1 Mar 2017closed about 9 years ago | 27–30 Jun 2017 Marne-la-Vallée 🇫🇷 | B | Springer LNCSPaywalled, for-profit | → | |
| ESEC/FSE 2017 | 27 Feb 2017closed about 9 years ago abstract 17 Feb 2017 | 6–8 Sep 2017 Paderborn 🇩🇪 | A | ACMACM Digital Library | → | |
| FORTE 2017 | 24 Feb 2017closed about 9 years ago was 10 Febextended | 19–22 Jun 2017 Neuchâtel 🇨🇭 | A | Springer LNCSPaywalled, for-profit | → | |
| ICMT 2017 discontinued | 24 Feb 2017closed about 9 years ago abstract 17 Feb 2017 | 17–18 Jul 2017 Marburg 🇩🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| IJCAI 2017 | 19 Feb 2017closed about 9 years ago | 19–25 Aug 2017 Melbourne 🇦🇺 | A* | AAAI PressFree access, copyright transferred | → | |
| SNR 2017 discontinued | 17 Feb 2017closed about 9 years ago was 3 Febextended | 22 Apr 2017 Uppsala 🇸🇪 | — | EPTCSCC BY | → | |
| SPIN 2017 | 17 Feb 2017closed about 9 years ago was 10 Febextended | 13–14 Jul 2017 Santa Barbara 🇺🇸 | — | ACMACM Digital Library | → | |
| ICALP 2017 | 17 Feb 2017closed about 9 years ago firm no extension | 10–14 Jul 2017 Warsaw 🇵🇱 | A | LIPIcsCC BY | → | |
| VPT 2017 discontinued | 16 Feb 2017closed about 9 years ago was 6 Febextended | 29 Apr 2017 Uppsala 🇸🇪 | — | EPTCSCC BY | → | |
| QAPL 2017 discontinued | 12 Feb 2017closed about 9 years ago was 5 Febextended | 23 Apr 2017 Uppsala 🇸🇪 | — | EPTCSCC BY | → | |
| ISSTA 2017 | 3 Feb 2017closed about 10 years ago | 10–14 Jul 2017 Santa Barbara 🇺🇸 | A | ACMACM Digital Library | → | |
| FESCA 2017 discontinued | 3 Feb 2017closed about 10 years ago was 25 Janextended | 22 Apr 2017 Uppsala 🇸🇪 | — | EPTCSCC BY | → | |
| ACSD 2017 discontinued | 3 Feb 2017closed about 10 years ago was 20 Janextended | 26–30 Jun 2017 Zaragoza 🇪🇸 | B | IEEE Xplore Digital LibraryPaywalled | → | |
| ECRTS 2017 | 30 Jan 2017closed about 10 years ago | 27–30 Jun 2017 Dubrovnik 🇭🇷 | A | LIPIcsCC BY | → | |
| FormaliSE 2017 | 27 Jan 2017closed about 10 years ago was 20 Janextended | 27 May 2017 Buenos Aires 🇦🇷 | — | IEEE/ACMACM Digital Library | → | |
| CAV 2017 | 24 Jan 2017closed about 10 years ago | 24–28 Jul 2017 Heidelberg Germany 🇩🇪 | A* | Springer LNCSPaywalled, for-profit | → | |
| LPAR 2017 | 22 Jan 2017closed about 10 years ago was 16 Janextended | 8–12 May 2017 Maun 🇧🇼 | A | EPiC Series in ComputingFree access | → | |
| Petri Nets 2017 | 22 Jan 2017closed about 10 years ago was 15 Janextended | 25–30 Jun 2017 Zaragoza 🇪🇸 | B | Springer LNCSPaywalled, for-profit | → | |
| LiCS 2017 | 9 Jan 2017closed about 10 years ago abstract 3 Jan 2017 | 20–23 Jun 2017 Reykjavik 🇮🇸 | A* | ACM SIGPLAN ProceedingsACM Digital Library | → | |
| TAPEMS 2017 discontinued | 24 Dec 2016closed about 10 years ago was 8 Decextended | 14–17 May 2017 Madrid 🇪🇸 | — | IEEE XplorePaywalled | → | |
| NFM 2017 | 7 Dec 2016closed about 10 years ago was 5 Decextended | 16–18 May 2017 Moffett Field 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| AAMAS 2017 | 15 Nov 2016closed about 10 years ago abstract 11 Nov 2016 | 8–12 May 2017 São Paulo 🇧🇷 | A* | ACMFree access, copyright transferred | → | |
| DUHDe 2017 discontinued | 10 Nov 2016closed about 10 years ago | 31 Mar 2017 Lausanne 🇨🇭 | — | informal proceedings | → | |
| FSEN 2017 | 29 Oct 2016closed about 10 years ago abstract 22 Oct 2016 | 26–28 Apr 2017 Tehran 🇮🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| LATA 2017 discontinued | 28 Oct 2016closed about 10 years ago was 21 Octextended | 6–9 Mar 2017 Umeå 🇸🇪 | C | Springer LNCSPaywalled, for-profit | → | |
| WWW 2017 | 24 Oct 2016closed about 10 years ago abstract 19 Oct 2016 | 3–7 Apr 2017 Perth 🇦🇺 | A* | ACM Digital Library + conference Web siteFree access, copyright transferred | → | |
| FoSSaCS 2017 | 21 Oct 2016closed about 10 years ago abstract 14 Oct 2016 | 22–29 Apr 2017 Uppsala 🇸🇪 | A | Springer LNCSPaywalled, for-profit | → | |
| TACAS 2017 | 21 Oct 2016closed about 10 years ago abstract 14 Oct 2016 | 22–29 Apr 2017 Uppsala 🇸🇪 | A | Springer LNCSPaywalled, for-profit | → | |
| HSCC 2017 discontinued | 13 Oct 2016closed about 10 years ago | 18–20 Apr 2017 Pittsburgh 🇺🇸 | — | ACMACM Digital Library | → | |
| RTAS 2017 | 13 Oct 2016closed about 10 years ago | 18–21 Apr 2017 Pittsburgh 🇺🇸 | A | IEEEPaywalled | → | |
| ICST 2017 | 30 Sep 2016closed about 10 years ago was 23 Sepextended | 13–18 Mar 2017 Tokyo 🇯🇵 | C | IEEEPaywalled | → | |
| ICPE 2017 | 30 Sep 2016closed about 10 years ago abstract 23 Sep 2016 | 22–26 Apr 2017 L’Aquila 🇮🇹 | — | ACM Digital LibraryACM Digital Library | → | |
| SAC 2017 | 29 Sep 2016closed about 10 years ago was 13 Sepextended | 3–7 Apr 2017 Marrakech 🇲🇦 | B | ACMACM Digital Library | → | |
| VMCAI 2017 | 28 Sep 2016closed about 10 years ago was 21 Sepextended | 15–17 Jan 2017 Paris 🇫🇷 | B | Springer LNCSPaywalled, for-profit | → | |
| CRTS 2016 discontinued | 25 Sep 2016closed about 10 years ago was 16 Sepextended | 29 Nov 2016 Porto 🇵🇹 | — | Special issue of ACM SIGBED ReviewACM Digital Library | → | |
| STACS 2017 | 25 Sep 2016closed about 10 years ago | 8–11 Mar 2017 Hannover 🇩🇪 | B | LIPIcsCC BY-ND | → | |
| JRWRTC 2016 | 20 Sep 2016closed about 10 years ago was 14 Sepextended | 19–21 Oct 2016 Brest 🇫🇷 | — | → | ||
| DATE 2017 | 18 Sep 2016closed about 10 years ago abstract 13 Sep 2016 | 27–31 Mar 2017 Lausanne 🇨🇭 | B | IEEEPaywalled | → | |
| FTSCS 2016 discontinued | 4 Sep 2016closed about 10 years ago | 14–15 Nov 2016 Tōkyō 🇯🇵 | — | Springer CCISPaywalled, for-profit | → | |
| ICLA 2017 | 2 Sep 2016closed about 10 years ago | 5–7 Jan 2017 IIT Kanpur 🇮🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| SoICT 2016 | 31 Aug 2016closed about 10 years ago was 14 Augextended | 8–9 Dec 2016 Hồ Chí Minh City 🇻🇳 | — | ACM ICPSACM Digital Library | → | |
| ICSE 2017 | 26 Aug 2016closed about 10 years ago | 20–28 May 2017 Buenos Aires 🇦🇷 | A* | ACMPaywalled | → | |
| NWPT 2016 | 26 Aug 2016closed about 10 years ago | 31 Oct – 2 Nov 2016 Rold Storkro 🇩🇰 | — | → | ||
| ESSS 2016 discontinued | 12 Aug 2016closed about 10 years ago | 7 Nov 2016 Limassol 🇨🇾 | — | EPTCSCC BY | → | |
| SBMF 2016 | 11 Aug 2016closed about 10 years ago was 23 Julextended | 21–25 Nov 2016 Natal 🇧🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| PRDC 2017 | 7 Aug 2016closed about 10 years ago was 30 Junextended | 22–25 Jan 2017 Christchurch 🇳🇿 | B | IEEEPaywalled | → | |
| ICAASE 2016 | 30 Jul 2016closed about 10 years ago was 15 Julextended | 29–30 Oct 2016 Constantine 🇩🇿 | — | CEUR-WSFree access | → | |
| RTNS 2016 | 25 Jul 2016closed about 10 years ago | 19–21 Oct 2016 Brest 🇫🇷 | — | ACM ICPSACM Digital Library | → | |
| VALUETOOLS 2016 | 22 Jul 2016closed about 10 years ago was 24 Junextended | 26–28 Oct 2016 Taormina 🇮🇹 | — | ACMACM Digital Library | → | |
| HVC 2016 discontinued | 21 Jul 2016closed about 10 years ago was 14 Julextended | 14–17 Nov 2016 Haifa 🇮🇱 | — | SpringerPaywalled, for-profit | → | |
| FSTTCS 2016 | 17 Jul 2016closed about 10 years ago was 15 Julextended | 13–15 Dec 2016 Chennai 🇮🇳 | — | LIPIcsCC BY | → | |
| ICECCS 2016 | 16 Jul 2016closed about 10 years ago was 27 Junextended | 6–8 Nov 2016 Dubai 🇦🇪 | A | IEEE Conference Publishing ServicesPaywalled | → | |
| APSEC 2016 | 15 Jul 2016closed about 10 years ago | 6–9 Dec 2016 Hamilton 🇳🇿 | B | IEEE CPSPaywalled | → | |
| FACS 2016 | 11 Jul 2016closed about 10 years ago was 1 Julextended | 19–21 Oct 2016 Bensançon 🇫🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| POPL 2017 | 6 Jul 2016closed about 10 years ago abstract 1 Jul 2016 | 18–20 Jan 2017 Paris 🇫🇷 | A* | ACM SigPlanACM Digital Library | → | |
| ACOMP 2016 | 30 Jun 2016closed about 10 years ago | 23–25 Nov 2016 Cần Thơ 🇻🇳 | — | IEEE CPSPaywalled | → | |
| LOPSTR 2016 | 27 Jun 2016closed about 10 years ago was 14 Junextended | 6–8 Sep 2016 Edinburgh 🏴 | B | Springer LNCSPaywalled, for-profit | → | |
| TIME 2016 | 27 Jun 2016closed about 10 years ago was 20 Junextended | 17–19 Oct 2016 Kongens Lyngby 🇩🇰 | B | IEEE CPSPaywalled | → | |
| HSB 2016 discontinued | 24 Jun 2016closed about 10 years ago was 16 Junextended | 20–21 Oct 2016 Grenoble 🇫🇷 | — | Springer LNCS/LNBIPaywalled, for-profit | → | |
| WST 2016 | 22 Jun 2016closed about 10 years ago | 5–7 Sep 2016 Obergurgl 🇦🇹 | — | Web pageFree access | → | |
| SETTA 2016 | 19 Jun 2016closed about 10 years ago was 19 Mayextended | 9–11 Nov 2016 Beijing 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| KSE 2016 | 15 Jun 2016closed about 10 years ago was 16 Mayextended | 6–8 Oct 2016 Hà Nội 🇻🇳 | — | IEEEPaywalled | → | |
| TAPEMS 2016 discontinued | 15 Jun 2016closed about 10 years ago | 14–16 Dec 2016 Granada 🇪🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| RP 2016 | 10 Jun 2016closed about 10 years ago was 13 Mayextended | 19–21 Sep 2016 Aalborg 🇩🇰 | — | Springer LNCSPaywalled, for-profit | → | |
| GandALF 2016 | 6 Jun 2016closed about 10 years ago was 27 Mayextended | 14–16 Sep 2016 Catania 🇮🇹 | — | EPTCSCC BY | → | |
| Highlights 2016 | 3 Jun 2016closed about 10 years ago | 6–9 Sep 2016 Brussels 🇧🇪 | — | informal | → | |
| FM 2016 | 30 May 2016closed about 10 years ago abstract 16 May 2016 | 7–11 Nov 2016 Limassol 🇨🇾 | A | Springer LNCSPaywalled, for-profit | → | |
| RV 2016 | 27 May 2016closed about 10 years ago was 15 Mayextended | 28–30 Sep 2016 Madrid 🇪🇸 | C | Springer LNCSPaywalled, for-profit | → | |
| WCET 2016 | 26 May 2016closed about 10 years ago was 19 Mayextended | 5 Jul 2016 Toulouse 🇫🇷 | — | OASIcsCC BY | → | |
| WATERS 2016 discontinued | 26 May 2016closed about 10 years ago was 28 Aprextended | 5 Jul 2016 Toulouse 🇫🇷 | — | No formal proceedings? | → | |
| FMTV 2016 | 26 May 2016closed about 10 years ago was 28 Aprextended | 5 Jul 2016 Toulouse 🇫🇷 | — | PDF onlineFree access | ||
3rd Formal Methods for Timing Verification Workshop Notification7 Jun 2016 Format6 pages IEEE
Papers must describe a (possibly partial) solution to the FMTV proposed by Bosch. Held as part of WATERS’16 in conjunction with ECRTS’16. Depending on the participation, a joint publication of the challenge solutions will be considered. | ||||||
| TIPS 2016 discontinued | 17 May 2016closed about 10 years ago | 20 Sep 2016 Trondheim 🇳🇴 | — | None (?) | → | |
| FMCAD 2016 | 16 May 2016closed about 10 years ago was 9 Mayextended | 3–6 Oct 2016 Mountain View 🇺🇸 | — | ACM/IEEEACM Digital Library | → | |
| ICTAC 2016 | 16 May 2016closed about 10 years ago was 1 Mayextended | 24–31 Oct 2016 Taipei 🇹🇼 | B | Springer LNCSPaywalled, for-profit | → | |
| EuroMPI 2016 | 15 May 2016closed about 10 years ago was 1 Mayextended | 25–28 Sep 2016 Edinburgh 🏴 | C | ACMACM Digital Library | → | |
| ATVA 2016 | 13 May 2016closed about 10 years ago was 26 Aprextended | 17–19 Oct 2016 Chiba 🇯🇵 | A | Springer LNCSPaywalled, for-profit | → | |
| ISSRE 2016 | 13 May 2016closed about 10 years ago abstract 6 May 2016 | 23–27 Oct 2016 Ottawa 🇨🇦 | A | IEEE (?)Paywalled | → | |
| FMICS-AVoCS 2016 discontinued | 9 May 2016closed about 10 years ago was 25 Aprextended | 26–29 Sep 2016 Pisa 🇮🇹 | C | EASSTFree access, copyright transferred | → | |
| ICFEM 2016 | 7 May 2016closed about 10 years ago was 30 Aprextended | 14–18 Nov 2016 Tōkyō 🇯🇵 | B | Springer LNCSPaywalled, for-profit | → | |
| SYNT 2016 | 6 May 2016closed about 10 years ago was 22 Aprextended | 17 Jul 2016 Toronto 🇨🇦 | — | EPTCSCC BY | → | |
| VECoS 2016 | 6 May 2016closed about 10 years ago was 18 Aprextended | 6–7 Oct 2016 Tunis 🇹🇳 | — | eWiCFree access | → | |
| RTSS 2016 | 4 May 2016closed about 10 years ago firm no extension | 29 Nov – 2 Dec 2016 Porto 🇵🇹 | A* | IEEEPaywalled | → | |
| ASE 2016 | 29 Apr 2016closed about 10 years ago abstract 22 Apr 2016 | 3–7 Sep 2016 Singapore 🇸🇬 | A | ACMACM Digital Library | → | |
| FORMATS 2016 discontinued | 29 Apr 2016closed about 10 years ago was 22 Aprextended | 24–26 Aug 2016 Québec City 🇨🇦 | — | Springer LNCSPaywalled, for-profit | → | |
| MFCS 2016 | 25 Apr 2016closed about 10 years ago abstract 21 Apr 2016 | 22–26 Aug 2016 Kraków 🇵🇱 | A | LIPIcsCC BY | → | |
| CIEL 2016 discontinued | 23 Apr 2016closed about 10 years ago was 8 Aprextended | 7 Jun 2016 Besançon 🇫🇷 | — | ? | → | |
| CONCUR 2017 | 18 Apr 2016closed about 10 years ago abstract 11 Apr 2016 | 23–26 Aug 2016 Québec City 🇨🇦 | A | LIPIcsCC BY | → | |
| WWV 2016 discontinued | 16 Apr 2016closed about 10 years ago | 26 Jun 2016 Porto 🇵🇹 | — | EPTCSCC BY | → | |
| RTCSA 2016 | 11 Apr 2016closed about 10 years ago was 24 Marextended | 17–19 Aug 2016 Daegu 🇰🇷 | B | IEEE XplorePaywalled | → | |
| EMSOFT 2016 | 8 Apr 2016closed about 10 years ago abstract 1 Apr 2016 | 2–7 Oct 2016 Pittsburgh 🇺🇸 | A | ACMACM Digital Library | → | |
| PNSE 2016 | 4 Apr 2016closed about 10 years ago abstract 29 Mar 2016 | 20–21 Jun 2016 Toruń 🇵🇱 | — | CEUR-WSFree access | → | |
| FMi 2016 discontinued | 25 Mar 2016closed about 10 years ago abstract 15 Mar 2016 | 28–30 Jul 2016 Pittsburgh 🇺🇸 | — | IEEEPaywalled | → | |
| SIES 2016 discontinued | 20 Mar 2016closed about 10 years ago was 6 Febextended | 23–25 May 2016 Kraków 🇵🇱 | — | IEEEPaywalled | → | |
| QEST 2016 discontinued | 14 Mar 2016closed about 10 years ago abstract 7 Mar 2016 | 23–25 Aug 2016 Québec City 🇨🇦 | — | Springer LNCSPaywalled, for-profit | → | |
| SAFECOMP 2016 | 14 Mar 2016closed about 10 years ago was 4 Marextended | 21–23 Sep 2016 Trondheim 🇳🇴 | B | Springer LNCSPaywalled, for-profit | → | |
| AFADL 2016 | 11 Mar 2016closed about 10 years ago was 26 Febextended | 7–8 Jun 2016 Besançon 🇫🇷 | — | IEEE Xplore Digital LibraryPaywalled | → | |
| FSE 2016 | 11 Mar 2016closed about 10 years ago | 13–18 Nov 2016 Seattle 🇺🇸 | A | ACMACM Digital Library | → | |
| UTP 2016 discontinued | 4 Mar 2016closed about 10 years ago abstract 19 Feb 2016 | 4–5 Jun 2016 Reykjavík 🇮🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| SERA 2016 | 1 Mar 2016closed about 10 years ago | 8–10 Jun 2016 Towson 🇺🇸 | C | IEEE CPSPaywalled | → | |
| SEFM 2016 | 29 Feb 2016closed about 10 years ago abstract 22 Feb 2016 | 4–8 Jul 2016 Vienna 🇦🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| ICOST 2016 discontinued | 26 Feb 2016closed about 10 years ago abstract 25 Jan 2016 | 25–27 May 2016 Wuhan 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| ECRTS 2016 | 25 Feb 2016closed about 10 years ago | 5–8 Jul 2016 Toulouse 🇫🇷 | A | IEEE ?Paywalled | → | |
| FVSBS 2016 discontinued | 25 Feb 2016closed about 10 years ago | 13–16 Jun 2016 Paris 🇫🇷 | — | ? | → | |
| FORTE 2016 | 22 Feb 2016closed about 10 years ago was 8 Febextended | 6–9 Jun 2016 Heraklion 🇬🇷 | A | Springer LNCSPaywalled, for-profit | → | |
| NFM 2016 | 19 Feb 2016closed about 10 years ago | 7–9 Jun 2016 Minneapolis 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| ICALP 2016 | 17 Feb 2016closed about 10 years ago firm no extension | 11–15 Jul 2016 Rome 🇮🇹 | A | LIPIcsCC BY | → | |
| TAP 2016 | 15 Feb 2016closed about 10 years ago was 29 Janextended | 5–7 Jul 2016 Vienna 🇦🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| ARCH 2016 | 15 Feb 2016closed about 10 years ago | 11 Apr 2016 Vienna 🇦🇹 | — | EasyChair EPiC seriesFree access | → | |
| HCVS 2016 | 5 Feb 2016closed about 11 years ago was 1 Febextended | 3 Apr 2016 Eindhoven 🇳🇱 | — | EPTCSCC BY | → | |
| IJCAI 2016 | 2 Feb 2016closed about 11 years ago abstract 27 Jan 2016 | 9–15 Jul 2016 New York City 🇺🇸 | A* | AAAI PressFree access, copyright transferred | → | |
| SynCoP 2016 | 1 Feb 2016closed about 11 years ago was 17 Janextended | 3 Apr 2016 Eindhoven 🇳🇱 | — | EPTCSCC BY | → | |
| FormaliSE 2016 | 29 Jan 2016closed about 11 years ago was 22 Janextended | 15 May 2016 Austin 🇺🇸 | — | IEEE/ACMPaywalled | → | |
| ISSTA 2016 | 29 Jan 2016closed about 11 years ago | 18–20 Jul 2016 Saarbrücken 🇩🇪 | A | ACMACM Digital Library | → | |
| CAV 2016 | 29 Jan 2016closed about 11 years ago abstract 24 Jan 2016 | 17–23 Jul 2016 Toronto 🇨🇦 | A* | Springer LNCSPaywalled, for-profit | → | |
| ACSD 2016 discontinued | 25 Jan 2016closed about 11 years ago abstract 12 Jan 2016 | 22–24 Jun 2016 Toruń 🇵🇱 | B | IEEE Xplore Digital LibraryPaywalled | → | |
| IJCAR 2016 | 25 Jan 2016closed about 11 years ago abstract 18 Jan 2016 | 27 Jun – 2 Jul 2016 Coimbra 🇵🇹 | A* | Springer LNAI/LNCSPaywalled, for-profit | → | |
| ABZ 2016 | 22 Jan 2016closed about 11 years ago abstract 15 Jan 2016 | 23–27 May 2016 Linz 🇦🇹 | — | SpringerPaywalled, for-profit | → | |
| CBSE 2016 discontinued | 21 Jan 2016closed about 11 years ago was 18 Janextended | 5–8 Apr 2016 Venice 🇮🇹 | B | ACMACM Digital Library | → | |
| LiCS 2016 | 18 Jan 2016closed about 11 years ago abstract 11 Jan 2016 | 5–8 Jul 2016 New York City 🇺🇸 | A* | ACM SIGPLAN ProceedingsACM Digital Library | → | |
| QAPL 2016 discontinued | 18 Jan 2016closed about 11 years ago | 2–3 Apr 2016 Eindhoven 🇳🇱 | — | EPTCSCC BY | → | |
| TASE 2016 | 17 Jan 2016closed about 11 years ago abstract 10 Jan 2016 | 17–19 Jul 2016 Shanghai 🇨🇳 | C | IEEE Computer Society PressPaywalled | → | |
| Cassting 2016 discontinued | 15 Jan 2016closed about 11 years ago | 2–3 Apr 2016 Eindhoven 🇳🇱 | — | EPTCSCC BY | → | |
| Petri Nets 2016 | 15 Jan 2016closed about 11 years ago | 19–24 Jun 2016 Toruń 🇵🇱 | B | Springer LNCSPaywalled, for-profit | → | |
| iFM 2016 | 13 Jan 2016closed about 11 years ago abstract 6 Jan 2016 | 1–4 Jun 2016 Reykjavík 🇮🇸 | B | Springer LNCSPaywalled, for-profit | → | |
| SPIN 2016 | 8 Jan 2016closed about 11 years ago | 7–8 Apr 2016 Eindhoven 🇳🇱 | — | Springer LNCSPaywalled, for-profit | → | |
| FESCA 2016 discontinued | 30 Dec 2015closed about 11 years ago was 13 Decextended | 3 Apr 2016 Eindhoven 🇳🇱 | — | EPTCSCC BY | → | |
| DUHDe 2016 discontinued | 4 Nov 2015closed about 11 years ago was 25 Octextended | 18 Mar 2016 Dresden 🇩🇪 | — | informal proceedings | → | |
| HSCC 2016 discontinued | 23 Oct 2015closed about 11 years ago abstract 8 Oct 2015 | 12–14 Apr 2016 Vienna 🇦🇹 | — | ACMACM Digital Library | → | |
| LATA 2016 discontinued | 19 Oct 2015closed about 11 years ago | 14–18 Mar 2016 Prague 🇨🇿 | C | Springer LNCSPaywalled, for-profit | → | |
| WWW 2016 | 17 Oct 2015closed about 11 years ago abstract 10 Oct 2015 | 11–15 Apr 2016 Montréal 🇨🇦 | A* | ACM Digital Library + conference Web siteFree access, copyright transferred | → | |
| FoSSaCS 2016 | 16 Oct 2015closed about 11 years ago abstract 9 Oct 2015 | 2–8 Apr 2016 Eindhoven 🇳🇱 | A | Springer LNCSPaywalled, for-profit | → | |
| TACAS 2016 | 16 Oct 2015closed about 11 years ago abstract 9 Oct 2015 | 2–8 Apr 2016 Eindhoven 🇳🇱 | A | Springer LNCSPaywalled, for-profit | → | |
| RTAS 2016 | 15 Oct 2015closed about 11 years ago | 11–14 Apr 2016 Vienna 🇦🇹 | A | IEEEPaywalled | → | |
| CRTS 2015 discontinued | 28 Sep 2015closed about 11 years ago | 1 Dec 2015 San Antonio 🇺🇸 | — | Special issue of ACM SIGBED ReviewACM Digital Library | → | |
| SAC 2016 | 28 Sep 2015closed about 11 years ago was 11 Sepextended | 13–17 Apr 2016 Pisa 🇮🇹 | B | ACMACM Digital Library | → | |
| SSV 2015 discontinued | 28 Sep 2015closed about 11 years ago abstract 21 Sep 2015 | 7–8 Dec 2015 Gold Coast 🇦🇺 | — | EPTCSCC BY | → | |
| STACS 2016 | 18 Sep 2015closed about 11 years ago | 17–20 Feb 2016 Orléans 🇫🇷 | B | LIPIcsCC BY-ND | → | |
| FOR-MOVES 2015 discontinued | 14 Sep 2015closed about 11 years ago was 30 Julextended | 16 Nov 2015 Goa 🇮🇳 | — | No formal proceedings (PDF online)Free access | → | |
| VALUETOOLS 2015 | 14 Sep 2015closed about 11 years ago | 14–16 Dec 2015 Berlin 🇩🇪 | — | ACMACM Digital Library | → | |
| FTSCS 2015 discontinued | 13 Sep 2015closed about 11 years ago was 5 Sepextended | 2–3 Nov 2015 Paris 🇫🇷 | — | Springer CCISPaywalled, for-profit | → | |
| JRWRTC 2015 | 13 Sep 2015closed about 11 years ago was 6 Sepextended | 8–10 Nov 2015 Versailles 🇫🇷 | — | → | ||
| DATE 2016 | 13 Sep 2015closed about 11 years ago firm no extension | 14–18 Mar 2016 Dresden 🇩🇪 | B | IEEEPaywalled | → | |
| VMCAI 2016 | 11 Sep 2015closed about 11 years ago abstract 4 Sep 2015 | 17–19 Jan 2016 St. Petersburg 🇺🇸 | B | Springer LNCSPaywalled, for-profit | → | |
| NWPT 2015 | 31 Aug 2015closed about 11 years ago | 21–23 Oct 2015 Reykjavik 🇮🇸 | — | → | ||
| ICSE 2016 | 28 Aug 2015closed about 11 years ago | 14–22 May 2016 Austin 🇺🇸 | A* | ACMPaywalled | → | |
| SoICT 2015 | 19 Aug 2015closed about 11 years ago | 3–4 Dec 2015 Hanoi 🇻🇳 | — | ACM ICPSACM Digital Library | → | |
| CFV 2015 discontinued | 25 Jul 2015closed about 11 years ago abstract 18 Jul 2015 | 5 Nov 2015 Austin 🇺🇸 | — | ? | → | |
| RTNS 2015 | 24 Jul 2015closed about 11 years ago | 4–6 Nov 2015 Lille 🇫🇷 | — | ACM ICPSACM Digital Library | → | |
| HVC 2015 discontinued | 24 Jul 2015closed about 11 years ago | 17–19 Nov 2015 Haifa 🇮🇱 | — | SpringerPaywalled, for-profit | → | |
| FSTTCS 2015 | 13 Jul 2015closed about 11 years ago | 16–18 Dec 2015 Bangalore 🇮🇳 | — | LIPIcsCC BY | → | |
| YR-CONCUR 2015 | 13 Jul 2015closed about 11 years ago | 5 Sep 2015 Madrid 🇪🇸 | — | informal | → | |
| FACS 2015 | 12 Jul 2015closed about 11 years ago was 28 Junextended | 14–16 Oct 2015 Rio de Janeiro 🇧🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| SBMF 2015 | 10 Jul 2015closed about 11 years ago abstract 6 Jun 2015 | 21–26 Sep 2015 Maceio 🇧🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| APSEC 2015 | 6 Jul 2015closed about 11 years ago | 1–4 Dec 2015 New Delhi 🇮🇳 | B | IEEE CPSPaywalled | → | |
| ICECCS 2015 | 5 Jul 2015closed about 11 years ago was 21 Junextended | 9–12 Dec 2015 Gold Coast 🇦🇺 | A | IEEEPaywalled | → | |
| SETTA 2015 | 30 Jun 2015closed about 11 years ago | 4–6 Nov 2015 Nanjing 🇨🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| PRDC 2015 | 30 Jun 2015closed about 11 years ago was 15 Mayextended | 18–20 Nov 2015 Zhangjiajie 🇨🇳 | B | IEEEPaywalled | → | |
| FDSE 2015 | 25 Jun 2015closed about 11 years ago was 10 Junextended | 23–25 Nov 2015 Hồ Chí Minh City 🇻🇳 | — | Springer LNCS 9446Paywalled, for-profit | → | |
| AVoCS 2015 discontinued | 19 Jun 2015closed about 11 years ago abstract 15 Jun 2015 | 1–4 Sep 2015 Edinburgh 🏴 | — | EASSTFree access | → | |
| ICTAC 2015 | 19 Jun 2015closed about 11 years ago abstract 16 Jun 2015 | 29–31 Oct 2015 Cali 🇨🇴 | B | Springer LNCSPaywalled, for-profit | → | |
| RP 2015 | 18 Jun 2015closed about 11 years ago | 21–23 Sep 2015 Warsaw 🇵🇱 | — | Springer LNCSPaywalled, for-profit | → | |
| ICSEA 2015 | 16 Jun 2015closed about 11 years ago | 15–20 Nov 2015 Barcelona 🇪🇸 | C | ThinkMindFree access, copyright transferred | → | |
| Highlights 2015 | 12 Jun 2015closed about 11 years ago | 15–18 Sep 2015 Prague 🇨🇿 | — | informalFree access | → | |
| ACOMP 2015 | 10 Jun 2015closed about 11 years ago | 23–25 Nov 2015 Hồ Chí Minh City 🇻🇳 | — | IEEE CPSPaywalled | → | |
| VECoS 2015 | 8 Jun 2015closed about 11 years ago | 10–11 Sep 2015 Bucharest 🇷🇴 | — | eWiCFree access | → | |
| ISSRE 2015 | 7 Jun 2015closed about 11 years ago was 29 Mayextended | 2–5 Nov 2015 Gaithersburg 🇺🇸 | A | IEEE (?)Paywalled | → | |
| GandALF 2015 | 5 Jun 2015closed about 11 years ago abstract 29 May 2015 | 21–23 Sep 2015 Genoa 🇮🇹 | — | EPTCSCC BY | → | |
| ETR 2015 discontinued | 25 May 2015closed about 11 years ago was 15 Mayextended | 24–28 Aug 2015 Rennes, Bretagne 🇫🇷 | — | Given to participantsFree access | → | |
| MSR 2015 | 25 May 2015closed about 11 years ago abstract 10 Apr 2015 | 18–20 Nov 2015 Nancy 🇫🇷 | — | JESA Hermès (?)Paywalled, for-profit | → | |
| HCVS 2015 | 22 May 2015closed about 11 years ago | 19 Jul 2015 San Francisco 🇺🇸 | — | EPTCSCC BY | → | |
| KSE 2015 | 21 May 2015closed about 11 years ago | 8–10 Oct 2015 Hồ Chí Minh City 🇻🇳 | — | IEEEPaywalled | → | |
| PNSE 2015 | 15 May 2015closed about 11 years ago | 22–23 Jun 2015 Brussels 🇧🇪 | — | CEUR-WSFree access | → | |
| RTSS 2015 | 15 May 2015closed about 11 years ago firm no extension | 1–4 Dec 2015 San Antonio 🇺🇸 | A* | IEEEPaywalled | → | |
| ACIS 2015 discontinued | 14 May 2015closed about 11 years ago was 1 Mayextended | 15–17 Oct 2015 Penang 🇲🇾 | — | IEEJ | → | |
| FMCAD 2015 | 14 May 2015closed about 11 years ago was 11 Mayextended | 27–30 Sep 2015 Austin 🇺🇸 | — | ACM/IEEEACM Digital Library | → | |
| EuroMPI 2015 | 12 May 2015closed about 11 years ago | 21–24 Sep 2015 Bordeaux 🇫🇷 | C | ACMACM Digital Library | → | |
| FMi 2015 discontinued | 12 May 2015closed about 11 years ago was 15 Aprextended | 12–14 Aug 2015 San Francisco 🇺🇸 | — | IEEEPaywalled | → | |
| FORMATS 2015 discontinued | 4 May 2015closed about 11 years ago abstract 27 Apr 2015 | 2–4 Sep 2015 Madrid 🇪🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| SPIN 2015 | 4 May 2015closed about 11 years ago abstract 17 Apr 2015 | 24–26 Aug 2015 Stellenbosch 🇿🇦 | — | ACM Digital LibraryPaywalled | → | |
| ICFEM 2015 | 3 May 2015closed about 11 years ago abstract 26 Apr 2015 | 3–6 Nov 2015 Paris 🇫🇷 | B | Springer LNCSPaywalled, for-profit | → | |
| ATVA 2015 | 2 May 2015closed about 11 years ago abstract 29 Apr 2015 | 12–15 Oct 2015 Shanghai 🇨🇳 | A | Springer LNCSPaywalled, for-profit | → | |
| LOPSTR 2015 | 2 May 2015closed about 11 years ago abstract 26 Apr 2015 | 13–15 Jul 2015 Siena 🇮🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| TIME 2015 | 30 Apr 2015closed about 11 years ago | 23–25 Sep 2015 Kassel 🇩🇪 | B | IEEE CPSPaywalled | → | |
| WCET 2015 | 24 Apr 2015closed about 11 years ago | 7 Jul 2015 Lund 🇸🇪 | — | OASIcsCC BY | → | |
| SYNT 2015 | 24 Apr 2015closed about 11 years ago | 18 Jul 2015 San Francisco 🇺🇸 | — | EPTCSCC BY | → | |
| WATERS 2015 discontinued | 24 Apr 2015closed about 11 years ago | 7 Jul 2015 Lund 🇸🇪 | — | No formal proceedings? | → | |
| FMTV 2015 | 24 Apr 2015closed about 11 years ago | 7 Jul 2015 Lund 🇸🇪 | — | PDF onlineFree access | → | |
| MFCS 2015 | 22 Apr 2015closed about 11 years ago | 24–28 Aug 2015 Milano 🇮🇹 | A | Springer LNCS ARCoSSPaywalled, for-profit | → | |
| CONCUR 2015 | 20 Apr 2015closed about 11 years ago abstract 13 Apr 2015 | 1–4 Sep 2015 Madrid 🇪🇸 | A | LIPIcsCC BY | → | |
| RTCSA 2015 | 14 Apr 2015closed about 11 years ago | 19–21 Aug 2015 Hong Kong 🇭🇰 | B | IEEE XplorePaywalled | → | |
| SaFoMe 2015 discontinued | 7 Apr 2015closed about 11 years ago | 22 Jun 2015 Oslo 🇳🇴 | — | informal proceedings | → | |
| EMSOFT 2015 | 30 Mar 2015closed about 11 years ago abstract 23 Mar 2015 | 4–9 Oct 2015 Amsterdam 🇳🇱 | A | ACMPaywalled | → | |
| CIEL 2015 discontinued | 27 Mar 2015closed about 11 years ago abstract 4 Mar 2015 | 9–11 Jun 2015 Bordeaux 🇫🇷 | — | ? | → | |
| ESSS 2015 discontinued | 27 Mar 2015closed about 11 years ago was 16 Marextended | 22 Jun 2015 Oslo 🇳🇴 | — | EPTCSCC BY | → | |
| WWV 2015 discontinued | 25 Mar 2015closed about 11 years ago abstract 18 Mar 2015 | 23 Jun 2015 Oslo 🇳🇴 | — | EPTCSCC BY | → | |
| CDC 2015 | 24 Mar 2015closed about 11 years ago | 15–18 Dec 2015 Osaka 🇯🇵 | A | IEEEPaywalled | → | |
| BPM 2015 | 22 Mar 2015closed about 11 years ago was 15 Marextended | 31 Aug – 3 Sep 2015 Innsbruck 🇦🇹 | A | Springer LNCSPaywalled, for-profit | → | |
| QEST 2015 discontinued | 20 Mar 2015closed about 11 years ago abstract 13 Mar 2015 | 1–3 Sep 2015 Madrid 🇪🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| SEFM 2015 | 20 Mar 2015closed about 11 years ago abstract 13 Mar 2015 | 7–11 Sep 2015 York 🏴 | B | Springer LNCSPaywalled, for-profit | → | |
| ESEC/FSE 2015 | 16 Mar 2015closed about 11 years ago | 31 Aug – 4 Sep 2015 Bergamo 🇮🇹 | A | ACMACM Digital Library | → | |
| SIES 2015 discontinued | 15 Mar 2015closed about 11 years ago | 8–10 Jun 2015 Siegen 🇩🇪 | — | IEEEPaywalled | → | |
| ARCH 2015 | 14 Mar 2015closed about 11 years ago | 13 Apr 2015 Seattle 🇺🇸 | — | Web page? | → | |
| TASE 2015 | 14 Mar 2015closed about 11 years ago abstract 7 Mar 2015 | 12–14 Sep 2015 Nanjing 🇨🇳 | IEEE Computer Society PressPaywalled | → | ||
| AFADL 2015 | 11 Mar 2015closed about 11 years ago abstract 4 Mar 2015 | 11–12 Jun 2015 Paris 🇫🇷 | — | IEEE Xplore Digital LibraryPaywalled | → | |
| MOCHAP 2015 discontinued | 6 Mar 2015closed about 11 years ago was 20 Febextended | 7 Jun 2015 Jerusalem 🇮🇱 | — | Web site?Free access | → | |
| FVSBS 2015 discontinued | 28 Feb 2015closed about 11 years ago | 15–17 Jun 2015 Larnaca 🇨🇾 | — | ?Paywalled | → | |
| FORTE 2015 | 22 Feb 2015closed about 11 years ago abstract 15 Feb 2015 | 2–4 Jun 2015 Grenoble 🇫🇷 | Springer LNCSPaywalled, for-profit | → | ||
| ICMT 2015 discontinued | 22 Feb 2015closed about 11 years ago abstract 15 Feb 2015 | 20–24 Jul 2015 L’Aquila (Italy) 🇮🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| TAP 2015 | 20 Feb 2015closed about 11 years ago abstract 13 Feb 2015 | 22–24 Jul 2015 L’Aquila 🇮🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| ICALP 2015 | 17 Feb 2015closed about 11 years ago firm no extension | 6–10 Jul 2015 Kyoto 🇯🇵 | A | Springer ARCoSS / LNCSPaywalled, for-profit | → | |
| CAV 2015 | 6 Feb 2015closed about 12 years ago abstract 30 Jan 2015 | 18–24 Jul 2015 San Francisco 🇺🇸 | A* | Springer LNCSPaywalled, for-profit | → | |
| SynCoP 2015 | 2 Feb 2015closed about 12 years ago | 11 Apr 2015 London 🏴 | — | OASIcsCC BY | → | |
| ECRTS 2015 | 1 Feb 2015closed about 12 years ago | 8–10 Jul 2015 Lund 🇸🇪 | IEEE ?Paywalled | → | ||
| ACSD 2015 discontinued | 29 Jan 2015closed about 12 years ago | 24–26 Jun 2015 Brussels 🇧🇪 | B | IEEE Xplore Digital LibraryPaywalled | → | |
| FMICS 2015 | 26 Jan 2015closed about 12 years ago abstract 19 Jan 2015 | 22–23 Jun 2015 Oslo 🇳🇴 | C | Springer LNCSPaywalled, for-profit | → | |
| FormaliSE 2015 | 23 Jan 2015closed about 12 years ago | 18 May 2015 Florence 🇮🇹 | — | IEEEPaywalled | → | |
| ISSTA 2015 | 23 Jan 2015closed about 12 years ago | 12–17 Jul 2015 Baltimore 🇺🇸 | A | ACMACM Digital Library | → | |
| SERA 2015 | 22 Jan 2015closed about 12 years ago | 13–15 May 2015 Hammamet 🇹🇳 | C | IEEE CPSPaywalled | → | |
| LiCS 2015 | 19 Jan 2015closed about 12 years ago abstract 12 Jan 2015 | 6–10 Jul 2015 Kyoto 🇯🇵 | A* | IEEE (?)Paywalled | → | |
| ICOST 2015 discontinued | 15 Jan 2015closed about 12 years ago | 10–12 Jun 2015 Geneva 🇨🇭 | — | Springer LNCSPaywalled, for-profit | → | |
| Petri Nets 2015 | 15 Jan 2015closed about 12 years ago abstract 10 Jan 2015 | 24–26 Jun 2015 Brussels 🇧🇪 | B | Springer LNCSPaywalled, for-profit | → | |
| FM 2015 | 9 Jan 2015closed about 12 years ago abstract 2 Jan 2015 | 22–26 Jun 2015 Oslo 🇳🇴 | A | Springer LNCSPaywalled, for-profit | → | |
| SOFTENG 2015 | 30 Dec 2014closed about 12 years ago | 19–24 Apr 2015 Barcelona 🇪🇸 | ThinkMindFree access | |||
First International Conference on Advances and Trends in Software Engineering Notification1 Feb 2015 Format6 pages (regular) / 4 pages (short) / 2 pages (ideas)
More paper categories (poster, extended abstracts, presentations, demos, doctoral forum…). Deadline extended by 38 days. | ||||||
| CBSE 2015 discontinued | 21 Dec 2014closed about 12 years ago abstract 14 Dec 2014 | 4–8 May 2015 Montréal 🇨🇦 | B | ACMACM Digital Library | → | |
| FESCA 2015 discontinued | 21 Dec 2014closed about 12 years ago abstract 17 Dec 2014 | 12 Apr 2015 London 🏴 | — | EPTCSCC BY | → | |
| QAPL 2015 discontinued | 14 Dec 2014closed about 12 years ago | 11–12 Apr 2015 London 🏴 | — | EPTCSCC BY | → | |
| NFM 2015 | 18 Nov 2014closed about 12 years ago | 27–29 Apr 2015 Pasadena 🇺🇸 | — | Springer LNCSPaywalled, for-profit | → | |
| DUHDe 2015 discontinued | 14 Nov 2014closed about 12 years ago | 13 Mar 2015 Grenoble 🇫🇷 | — | informal proceedings | → | |
| FSEN 2015 | 14 Nov 2014closed about 12 years ago abstract 7 Nov 2014 | 22–24 Apr 2015 Tehran 🇮🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| WWW 2015 | 10 Nov 2014closed about 12 years ago abstract 3 Nov 2014 | 18–22 May 2015 Florence 🇮🇹 | A* | ACM Digital Library + conference Web siteFree access, copyright transferred | → | |
| HSCC 2015 discontinued | 20 Oct 2014closed about 12 years ago abstract 13 Oct 2014 | 14–16 Apr 2015 Seattle 🇺🇸 | — | ACMPaywalled | → | |
| RTAS 2015 | 20 Oct 2014closed about 12 years ago abstract 13 Oct 2014 | 13–17 Apr 2015 Seattle 🇺🇸 | A | IEEEPaywalled | → | |
| TACAS 2015 | 17 Oct 2014closed about 12 years ago abstract 10 Oct 2014 | 11–18 Apr 2015 London 🏴 | A | Springer LNCSPaywalled, for-profit | → | |
| LATA 2015 discontinued | 16 Oct 2014closed about 12 years ago | 2–6 Mar 2015 Nice 🇫🇷 | C | Springer LNCSPaywalled, for-profit | → | |
| CRTS 2014 discontinued | 6 Oct 2014closed about 12 years ago | 2 Dec 2014 Rome 🇮🇹 | — | Special issue of ACM SIGBED Review | → | |
| NCFM 2014 discontinued | 1 Oct 2014closed about 12 years ago abstract 20 Sep 2014 | 15–17 Oct 2014 Bengaluru 🇮🇳 | — | ? | → | |
| STACS 2015 | 21 Sep 2014closed about 12 years ago | 4–7 Mar 2015 Garching bei München 🇩🇪 | LIPIcsCC BY-ND | → | ||
| NWPT 2014 | 20 Sep 2014closed about 12 years ago | 29–31 Oct 2014 Halmstad 🇸🇪 | — | → | ||
| DATE 2015 | 14 Sep 2014closed about 12 years ago firm no extension | 9–13 Mar 2015 Grenoble 🇫🇷 | B | IEEEPaywalled | → | |
| VMCAI 2015 | 12 Sep 2014closed about 12 years ago abstract 5 Sep 2014 | 12–14 Jan 2015 Mumbai 🇮🇳 | B | Springer LNCSPaywalled, for-profit | → | |
| SAC 2015 | 12 Sep 2014closed about 12 years ago | 13–17 Apr 2015 Salamanca 🇪🇸 | ACMPaywalled | → | ||
| FTSCS 2014 discontinued | 12 Sep 2014closed about 12 years ago | 6–7 Nov 2014 Luxembourg 🇱🇺 | — | Springer CCISPaywalled, for-profit | → | |
| ICSE 2015 | 5 Sep 2014closed about 12 years ago | 16–24 May 2015 Firenze 🇮🇹 | A* | IEEEPaywalled | → | |
| FOR-MOVES 2014 discontinued | 25 Aug 2014closed about 12 years ago | 3 Nov 2014 Paris 🇫🇷 | — | No formal proceedings (PDF online)Free access | → | |
| JRWRTC 2014 | 20 Aug 2014closed about 12 years ago was 11 Augextended | 8–10 Oct 2014 Versailles 🇫🇷 | — | → | ||
| ICLA 2015 | 12 Aug 2014closed about 12 years ago was 5 Augextended | 8–10 Jan 2015 Bombay 🇮🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| ACIS 2014 discontinued | 18 Jul 2014closed about 12 years ago | 1–3 Dec 2014 Nha Trang 🇻🇳 | — | IEEJ | → | |
| FSTTCS 2014 | 18 Jul 2014closed about 12 years ago abstract 11 Jul 2014 | 15–17 Dec 2014 New Dehli 🇮🇳 | — | LIPIcsCC BY | → | |
| ACOMP 2014 | 15 Jul 2014closed about 12 years ago | 19–21 Nov 2014 Hồ Chí Minh City 🇻🇳 | — | Journal of Science and Technology (Vietnam Academy of Science and Technology) | → | |
| SBMF 2014 | 15 Jul 2014closed about 12 years ago abstract 8 Jul 2014 | 29–30 Sep 2014 Maceio 🇧🇷 | — | Springer LNCSPaywalled, for-profit | → | |
| RTNS 2014 | 28 Jun 2014closed about 12 years ago | 8–10 Oct 2014 Versailles 🇫🇷 | — | ACMPaywalled | → | |
| FACS 2014 | 22 Jun 2014closed about 12 years ago abstract 15 Jun 2014 | 10–12 Sep 2014 Bertinoro 🇮🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| APSEC 2014 | 18 Jun 2014closed about 12 years ago | 2–5 Dec 2014 Jeju Island 🇰🇷 | IEEE CPSPaywalled | → | ||
| WS-FM:FASOCC 2014 discontinued | 15 Jun 2014closed about 12 years ago | 11–12 Sep 2014 Eindhoven 🇳🇱 | — | Springer LNCSPaywalled, for-profit | → | |
| RP 2014 | 11 Jun 2014closed about 12 years ago | 22–24 Sep 2014 Oxford 🏴 | — | Springer LNCSPaywalled, for-profit | → | |
| FDSE 2014 | 10 Jun 2014closed about 12 years ago | 19–21 Nov 2014 Hồ Chí Minh City 🇻🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| GandALF 2014 | 1 Jun 2014closed about 12 years ago abstract 27 May 2014 | 10–12 Sep 2014 Verona 🇮🇹 | — | EPTCSCC BY | → | |
| VECoS 2014 | 1 Jun 2014closed about 12 years ago | 29–30 Sep 2014 Bejaïa 🇩🇿 | — | eWiCFree access | → | |
| EuroMPI / Asia 2014 | 26 May 2014closed about 12 years ago | 9–12 Sep 2014 Kyoto 🇯🇵 | ACMPaywalled | |||
21st European MPI Users’ Group Meeting Notification20 Jun 2014 Format6 pages ACM ICPS
New work that is not yet mature for a full paper is invited for the poster session. Contributions to the poster session should be submitted in the form of a two page abstract. Warning: notification date extended after submission, and without notice (2014). | ||||||
| KSE 2014 | 26 May 2014closed about 12 years ago | 9–11 Oct 2014 Hà Nội 🇻🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| FMCAD 2014 | 16 May 2014closed about 12 years ago abstract 6 May 2014 | 21–24 Oct 2014 Lausanne 🇨🇭 | ACM/IEEEPaywalled | → | ||
| ICAASE 2014 | 15 May 2014closed about 12 years ago | 2–4 Nov 2014 Constantine 🇩🇿 | — | CEUR-WSFree access | → | |
| RTSS 2014 | 15 May 2014closed about 12 years ago firm no extension | 2–5 Dec 2014 Rome 🇮🇹 | A* | IEEEPaywalled | → | |
| ICFEM 2014 | 2 May 2014closed about 12 years ago abstract 25 Apr 2014 | 3–7 Nov 2014 Luxembourg 🇱🇺 | B | Springer LNCSPaywalled, for-profit | → | |
| WATERS 2014 discontinued | 2 May 2014closed about 12 years ago | 8 Jul 2014 Madrid 🇪🇸 | — | No formal proceedings? | → | |
| FORMATS 2014 discontinued | 28 Apr 2014closed about 12 years ago abstract 21 Apr 2014 | 8–10 Sep 2014 Florence 🇮🇹 | — | Springer LNCSPaywalled, for-profit | → | |
| iFM 2014 | 25 Apr 2014closed about 12 years ago abstract 17 Apr 2014 | 9–11 Sep 2014 Bertinoro 🇮🇹 | B | Springer LNCSPaywalled, for-profit | → | |
| SYNT 2014 | 25 Apr 2014closed about 12 years ago | 23–24 Jul 2014 Vienna 🇦🇹 | — | EPTCSCC BY | → | |
| WCET 2014 | 25 Apr 2014closed about 12 years ago | 8 Jul 2014 Madrid 🇪🇸 | — | OASIcsCC BY | → | |
| WST 2014 | 23 Apr 2014closed about 12 years ago | 17–18 Jul 2014 Vienna 🇦🇹 | — | Web pageFree access | → | |
| TIME 2014 | 17 Apr 2014closed about 12 years ago abstract 10 Apr 2014 | 8–10 Sep 2014 Verona 🇮🇹 | IEEEPaywalled | → | ||
| PNSE 2014 | 14 Apr 2014closed about 12 years ago | 23–24 Jun 2014 Tunis 🇹🇳 | — | CEUR-WSFree access | → | |
| ICTAC 2014 | 6 Apr 2014closed about 12 years ago abstract 30 Mar 2014 | 17–20 Sep 2014 Bucharest 🇷🇴 | B | Springer LNCSPaywalled, for-profit | → | |
| RTCSA 2014 | 31 Mar 2014closed about 12 years ago | 20–22 Aug 2014 Chongqing 🇨🇳 | B | IEEE XplorePaywalled | → | |
| FSFMA 2014 discontinued | 23 Mar 2014closed about 12 years ago | 12–13 May 2014 Singapore 🇸🇬 | EPTCSCC BY | → | ||
| BPM 2014 | 21 Mar 2014closed about 12 years ago abstract 14 Mar 2014 | 7–12 Sep 2014 Haifa 🇮🇱 | A | Springer LNCSPaywalled, for-profit | → | |
| CDC 2014 | 20 Mar 2014closed about 12 years ago | 15–17 Dec 2014 Los Angeles 🇺🇸 | A | IEEEPaywalled | → | |
| FSE 2014 | 16 Mar 2014closed about 12 years ago | 16–22 Nov 2014 Hong Kong 🇭🇰 | ACMPaywalled | → | ||
| ICECCS 2014 | 14 Mar 2014closed about 12 years ago abstract 7 Mar 2014 | 4–7 Aug 2014 Tianjin 🇨🇳 | IEEEPaywalled | → | ||
| FMTV 2014 | 4 Mar 2014closed about 12 years ago | 12 May 2014 Singapore 🇸🇬 | — | PDF onlineFree access | → | |
| QFM 2014 discontinued | 1 Mar 2014closed about 12 years ago | 12 May 2014 Singapore 🇸🇬 | — | EPTCSCC BY | → | |
| MOCHAP 2014 discontinued | 20 Feb 2014closed about 12 years ago | 22–23 Jun 2014 Portsmouth 🇺🇸 | — | AAAIPaywalled | → | |
| ARCH 2014 | 19 Feb 2014closed about 12 years ago | 14 Apr 2014 Berlin 🇩🇪 | — | Web page? | → | |
| WRUMMM 2014 discontinued | 13 Feb 2014closed about 12 years ago | 27–30 May 2014 Brescia 🇮🇹 | IEEE (?)Paywalled | → | ||
| ABZ 2014 | 3 Feb 2014closed about 13 years ago | 2–6 Jun 2014 Toulouse 🇫🇷 | — | SpringerPaywalled, for-profit | → | |
| Cassting 2014 discontinued | 24 Jan 2014closed about 13 years ago abstract 17 Jan 2014 | 12 Apr 2014 Grenoble 🇫🇷 | — | EPTCSCC BY | → | |
| IJCAR 2014 | 24 Jan 2014closed about 13 years ago abstract 22 Jan 2014 | 19–22 Jul 2014 Vienna 🇦🇹 | Springer LNAI/LNCSPaywalled, for-profit | → | ||
| TASS 2013 discontinued | 11 Oct 2013closed about 13 years ago | 3 Dec 2013 Vancouver 🇨🇦 | — | ? | → | |
| CFV 2013 discontinued | 7 Oct 2013closed about 13 years ago abstract 30 Sep 2013 | 21 Nov 2013 San Jose 🇺🇸 | — | ? | → | |
| INFINITY 2013 discontinued | 12 Jul 2013closed about 13 years ago | 15 Oct 2013 Hà Nội 🇻🇳 | EPTCSCC BY | → | ||
| ETR 2013 discontinued | 24 May 2013closed about 13 years ago | 26–30 Aug 2013 Toulouse 🇫🇷 | — | No official proceedings | → | |
| Journées Annuelles GT Verif 2013 | 3 May 2013closed about 13 years ago | 17–18 Jun 2013 Cachan 🇫🇷 | (No formal proceedings) | |||
Premières journées annuelles du Groupe de Travail Vérification Notification17 May 2013 Format1 page abstract
| ||||||
| ACCESS 2013 discontinued | 31 Jan 2013closed about 14 years ago | 5–7 Jun 2013 Singapore 🇸🇬 | SpringerPaywalled, for-profit | → | ||
| ICLA 2013 | 24 Aug 2012closed about 14 years ago | 10–12 Jan 2013 Chennai 🇮🇳 | — | Springer LNCSPaywalled, for-profit | → | |
| MajecSTIC 2012 discontinued | 1 Jun 2012closed about 14 years ago abstract 25 May 2012 | 29–31 Oct 2012 Lille 🇫🇷 | WebsiteFree access | → | ||
| COMPARE 2012 discontinued | 1 May 2012closed about 14 years ago | 30 Jun 2012 Manchester 🏴 | CEUR-WSFree access | → | ||
| MMRP 2012 | 5 Apr 2012closed about 14 years ago | 27–31 Aug 2012 CNAM 🇫🇷 | ||||
First International Workshop on Models and Methods for Reliability and Performance of computer networks Notification7 May 2012 Format15 pages LNCS (long) / 4 pages LNCS (short, non published)
Satellite of FM 2012 | ||||||
| UML & FM 2012 discontinued | 12 Mar 2012closed about 14 years ago | ACM Software Engineering | → | |||
Nothing matches those filters. Try removing one, or .
Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.