List of conferences - page 13
- ETAPS 2023 2st joint call for papers
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of four annual conferences
accompanied by satellite workshops. ETAPS 2023 is the twenty-sixth
event in the series.- ETAPS 2023 1st joint call for papers
ETAPS 2023 - 26th European Joint Conferences on Theory and Practice of Software, Sorbonne Université, Paris, France, April 22-27, 2023
1st Joint Call for Papers
- 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.
