List of conferences - page 2


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 https://ti.arc.nasa.gov/events/nfm-2020/

Registration is required but free: https://ti.arc.nasa.gov/events/nfm-2020/registration/

* AI Safety Workshop, Monday May 11th, 2020.
https://sites.google.com/stanford.edu/nfm-ai-safety-20/

* Cryptographic Proofs Workshop, Friday 15th 2020
https://fmcpworkshop.onai.com/

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

http://www.discotec.org/2020/ice

Submission link:
https://openreview.net/group?id=DisCoTec.org/2020/Workshop/ICE

=== HIGHLIGHTS ===

* 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)

[CFP] WORKS20
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 (https://popl21.sigplan.org/home/CPP-2021) will be held on 18-19 January 2021 and will be co-located with POPL 2021.

CFP SEFM - International Conference on Software Engineering and Formal Methods
by Jacopo Mauro, April 7, 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.

LOPSTR 2020: Logic-Based Program Synthesis and Transformation
by Maribel Fernandez, March 31, 2020

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development in any language paradigm.
LOPSTR is a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers.
Abstract Deadline: 5 June 2020 Paper Deadline: 12 June 2020