List of conferences - page 3

FACS 2022 - 18th International Conference on Formal Aspects of Component Software (CfP)
by Jose Proenca, May 3, 2022

FACS 2022 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.

This edition will be help online in November 2022, hosted by Oslo University, and already counts with a great line up of invited speakers and a strong program committee.

Check our website:

ETAPS 2023: Call for Satellite Events
by jankofron, April 22, 2022

ETAPS 2023 - 26th European Joint Conferences on Theory and Practice of Software, Sorbonne Université, Paris, France, April 22-27, 2023

Call for Satellite Events

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

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.