List of conferences - page 12


Call for papers: SASSUR 2022
by jldelavara, March 25, 2022

Call for papers for the 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022)

First CFP: 6th Working Formal Methods Symposium
by Vlad Rusu, March 17, 2022

FROM 2022 - Working Formal Methods Symposium - Iasi, Romania, 19-20 September 2022

CfP GCM 2022 - 13th International Workshop on Graph Computation Models
by Chris Poskitt, Feb. 12, 2022

Call for Papers – GCM 2022 – 13th International Workshop on Graph Computation Models

https://gcm2022.github.io/

iFM 2022 (Integrated Formal Methods): Extended deadlines
by Diego Marcilio, Feb. 8, 2022

Extended deadlines for iFM 2022 (Integrated Formal Methods)

Final Call For Participation - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
by Juan Fumero, Oct. 5, 2021

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering.

This year, SPLASH will be held as a Hybrid Conference. There will be a physical conference in Chicago as well as a virtual component. Note that, for in-person participation, attendees are required to be fully vaccinated. More details below.

ECOOP 2022: Call for Papers
by Carolin Brandt, Sept. 10, 2021

NEW this year: ECOOP 2022 will have two rounds of reviewing.
Round 1 paper submission deadline: ** December 1, 2021 **
============================
ECOOP 2022
Call for Papers
ECOOP 2022 will be held on Mon 6th - Fri 10th of June in Berlin, Germany.
https://2022.ecoop.org/
============================

Call For Participation - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
by Juan Fumero, Sept. 10, 2021

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering.

Certified Programs and Proofs (CPP) 2022: Final Call for Papers
by Andrei Popescu, Aug. 18, 2021

Certified Programs and Proofs (CPP)2022 (https://popl22.sigplan.org/home/CPP-2022) will be held on 17-18 January 2022 and will be co-located with POPL 2022 in Philadelphia, Pennsylvania, United States. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

The CPP 2022 organizers will strive to enable both in-person and remote participation. If the authors of a CPP 2022 accepted paper will be unable or unwilling to travel to the conference, the organizers can confirm that this will not affect the paper’s publication in the proceedings, and the authors will be able to upload recorded talks that will be made publicly available.