List of conferences - page 3


SPLC 2020 - Call for Participation and Registration
by jmartinez, Sept. 24, 2020

**** 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)
by Lisa Nguyen Quang Do, Sept. 21, 2020

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/

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

Tehran, Iran
May 19-21, 2021

http://fsen.ir/2021

SECOND CALL FOR PAPERS

Call For Papers (Final deadline extension: September 6, 2020)
by Hoang Nguyen, Sept. 5, 2020

WORKS20

Formal Methods 2021 -- 2nd Call for Papers
by Jun Pang, Aug. 28, 2020

Formal Methods 2021 -- 2nd Call for Papers

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

http://fsen.ir/2021

FIRST CALL FOR PAPERS

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/

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.