List of conferences - page 3

9th International Conference on Fundamentals of Software Engineering 2021 - Theory and Practice (FSEN'21)
by Maurice ter Beek, June 16, 2020

Tehran, Iran
May 19-21, 2021


ETAPS 2020 afternoon, online, 2 July 2020
by Tarmo Uustalu, June 16, 2020

[There will be no physical ETAPS this autumn. Instead, on 2 July 2020, we will hold an online ETAPS 2020 afternoon. The authors of papers accepted to the main conferences of ETAPS 2020 will get an opportunity to present their work at ETAPS 2021 in Luxembourg.]

Call for Participation - 12th NASA Formal Methods Symposium (NFM2020)
by Anastasia Mavridou, May 5, 2020

NFM2020 is organized by the NASA Ames Research Center, Moffett Field, CA, USA and will take place May 11-15, 2020.

Due to concerns about COVID-19, NFM 2020 is going virtual. We invite the formal methods and aligned communities to use this opportunity of a virtual symposium to participate and engage in a very exciting set of paper presentations and fascinating keynote talks

Registration is required but free:

* AI Safety Workshop, Monday May 11th, 2020.

* Cryptographic Proofs Workshop, Friday 15th 2020

MPLR 2020 - 17th International Conference on Managed Programming Languages & Runtimes
by smarr, April 30, 2020

The 17th International Conference on Managed Programming Languages &
Runtimes (MPLR, formerly ManLang) is a premier forum for presenting and
discussing novel results in all aspects of managed programming languages
and runtime systems, which serve as building blocks for some of the most
important computing systems in use, ranging from small-scale (embedded and
real-time systems) to large-scale (cloud-computing and big-data platforms)
and anything in between (desktop, mobile, IoT, and wearable applications).

SEFM - Deadline extension and move to virtual modality
by Jacopo Mauro, April 28, 2020

SEFM aims to bring together leading researchers and practitioners
from academia, industry, and government, to advance the state of
the art in formal methods, to facilitate their uptake in the
software industry, and to encourage their integration within
practical software engineering methods and tools.

Because of the COVID-19 pandemic, we have decided that SEFM 2020 will
not take place physically but will be replaced by a virtual event.
As usual, a LNCS proceedings will be prepared and all accepted papers
have to be presented at the virtual conference.

13th Interaction and Concurrency Experience (ICE 2020): 2nd CfP
by Anastasia Mavridou, April 20, 2020

ICE 2020
13th Interaction and Concurrency Experience
19 June 2020
Satellite workshop of DisCoTec 2020

Submission link:


* Distinctive selection procedure
* ICE welcomes full papers to be included in the proceedings
* ICE also welcomes oral communications of already published or
preliminary work
* Publication in EPTCS
* Special issue in the Journal of Logical and Algebraic Methods in
Programming (Elsevier) (to be confirmed)

* Invited speakers:
- Cinzia Di Giusto (Université Côte d’Azur, CNRS, I3S, France)
- Karoliina Lehtinen (University of Liverpool, UK)

by Hoang Nguyen, April 17, 2020

15th Workshop on Workflows in Support of Large-Scale Science (WORKS20)

Certified Programs and Proofs (CPP) 2021: First Call for Papers
by Andrei Popescu, April 17, 2020

CPP 2021 ( will be held on 18-19 January 2021 and will be co-located with POPL 2021.