List of conferences - page 10
- ETAPS 2023: Call for Satellite Events
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
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
FROM 2022 - Working Formal Methods Symposium - Iasi, Romania, 19-20 September 2022
- CfP GCM 2022 - 13th International Workshop on Graph Computation Models
Call for Papers – GCM 2022 – 13th International Workshop on Graph Computation Models
https://gcm2022.github.io/
- iFM 2022 (Integrated Formal Methods): Extended deadlines
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
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
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
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.
