List of conferences - page 6
- CfP: 2nd Workshop on Collaboration Mining for Distributed Systems (CoMinDS) at the 5th International Conference on Process Mining (ICPM 2023)
Call for Papers: 2nd Workshop on Collaboration Mining for Distributed Systems (CoMinDS) at the 5th International Conference on Process Mining (ICPM 2023)
October 23rd, 2023
Università La Sapienza, Rome, Italy
https://pros.unicam.it/cominds- FACS 2023 - Final Call for Papers (extended deadlines)
FACS 2023 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. Furthermore, we embrace a trend in recent FACS editions by introducing a new special track of “Formal Methods at Large”: it will accept submissions about advances based on formal methods across all kinds of software-intensive systems, possibly unrelated to components or composition.
- CfP: 2nd Workshop on Collaboration Mining for Distributed Systems (CoMinDS) at the 5th International Conference on Process Mining (ICPM 2023)
Call for Papers: 2nd Workshop on Collaboration Mining for Distributed Systems (CoMinDS) at the 5th International Conference on Process Mining (ICPM 2023)
October 23rd, 2023
Università La Sapienza, Rome, Italy
https://pros.unicam.it/cominds- Call for Participation – STAF 2023
Call for Participation – STAF 2023 – Software Technologies: Applications and Foundations
https://conf.researchr.org/home/staf-2023
- FACS 2023 - Call for Papers
FACS 2023 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. Furthermore, we embrace a trend in recent FACS editions by introducing a new special track of “Formal Methods at Large”: it will accept submissions about advances based on formal methods across all kinds of software-intensive systems, possibly unrelated to components or composition.
- Call for Participation – ICGT 2023
Call for Participation – ICGT 2023 – 16th International Conference on Graph Transformation
https://conf.researchr.org/home/icgt-2023
- Deadline Extension !!! BPM 2023 - Joint Call for Workshops and Forum Papers
The 21st International Conference on Business Process Management (BPM) BPM 2023
September 11-15, 2023
Utrecht, The Netherlands
https://bpm2023.sites.uu.nl/
Deadline extension *Workshops and Forum Joint Call for papers **Important dates*
30 May 2023 - Forum Abstract submission
6 June 2023 – Forum papers submission
10 June 2023 - Workshop papers submission- 18th International Conference on integrated Formal Methods - Final Call for Papers
Final Call for Papers for iFM 2023 - Abstract deadline: 10 June, Paper deadline: 15 June
