List of conferences - page 13
- SPLC 2020 - Call for Participation and Registration
**** CALL FOR PARTICIPATION ****
October 19 to 23, 2020
Fully virtual, originally at Montréal, Canada
http://splc2020.net/Detailed program: https://splc2020.net/program/detailed-program/
Register here: https://splc2020.net/registration/
Reduced fees, including free registration for ACM members.Registration Periods:
Early Bird: until October 5, 2020, Montréal time (EDT)
Regular: October 6-12, 2020, Montréal time (EDT)- Call for papers: 35th European Conference on Object-Oriented Programming (ECOOP'21)
The 35th European Conference on Object-Oriented Programming (ECOOP'21) will take place on 12th-16th July 2021 in Aarhus, Denmark. It will be co-located with ISSTA.
Paper submission deadline: 11th January 2021.
https://2021.ecoop.org/
- Call For Papers (Final deadline extension: September 6, 2020)
WORKS20
- Call for Participation - 12th NASA Formal Methods Symposium (NFM2020)
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/- SEFM - Deadline extension and move to virtual modality
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
ICE 2020
13th Interaction and Concurrency Experience
19 June 2020
Satellite workshop of DisCoTec 2020http://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)- Certified Programs and Proofs (CPP) 2021: First Call for Papers
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
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.
