List of conferences

MPLR 2020 - 17th International Conference on Managed Programming Languages & Runtimes
by Jeremy Singer, May 22, 2020

Call for Papers
MPLR 2020

November 4-6, 2020
Manchester, UK

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

WFLP 2020: 28th International Workshop on Functional and (Constraint) Logic Programming
by Michael Hanus, May 4, 2020

The international Workshop on Functional and (constraint) Logic
Programming (WFLP) aims at bringing together researchers, students, and
practitioners interested in functional programming, logic programming,
and their integration. WFLP has a reputation for being a lively and
friendly forum, and it is open for presenting and discussing work in
progress, technical contributions, experience reports, experiments,
reviews, and system descriptions.

FMICS 2020: 25th International Conference on Formal Methods for Industrial Critical Systems
by Maurice ter Beek, April 30, 2020

Virtually held from Vienna, Austria, September 2–3, 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.

1st CfP: Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems HICSS 2021 Minitrack
by Tim A. Majchrzak, April 25, 2020

Once more, we particularly welcome submission from the programming languages community.

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)

« previous123...1819next »