List of conferences - page 2
- Petri Nets 2024
45th International Conference on Application and Theory of Petri Nets and Concurrency
Geneva, Switzerland, June 24-28, 2024
- Call for Participation - BPM 2023: The 21st International Conference on Business Process Management (BPM)
The 21st International Conference on Business Process Management (BPM)
BPM 2023
September 11-15, 2023
Utrecht, The Netherlands
https://bpm2023.sites.uu.nl/* Call for Participation *
We invite you to join us at BPM 2023 in Utrecht, The Netherlands from September 11-15, 2023!
- CfP: 2nd Workshop on Collaboration Mining for Distributed Systems (CoMinDS) at the 5th International Conference on Process Mining (ICPM 2023)- one week left for submission !!
CfP: 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- CfP in RV 2023
******************************************************************
CALL FOR PARTICIPATIONInternational Conference on Runtime Verification
RV 2023
Thessaloniki - Greece, October 3-6, 2023
https://rv23.csd.auth.gr
******************************************************************- FLOPS 2024
Call for papers - FLOPS 2024: 17th International Symposium on Functional and Logic Programming
15th to 17th May 2024, Kumamoto, Japan
Abstracts due 6th Dec 2023, papers 13th Dec 2023.- 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.
- Registration opens: ECSS 2023 – Informatics: Shaping the Future (Oct 23-25 in Edinburgh)
A must-go event for prominent & aspiring informatics researchers
committed to advancing the informatics agendas in Europe
from academia to industry!