List of conferences - page 5
- IJCAR 2024 --- Call for Papers
CALL FOR PAPERS
IJCAR 2024
The 12th International Joint Conference on Automated Reasoning
Nancy, France, July 1-6, 2024
https://ijcar2024.loria.fr/- [Call for Papers] EASE 2024 - Evaluation and Assessment in Software Engineering
The International Conference on Evaluation and Assessment in Software Engineering (EASE) is one of the premier conferences for research related to empirical software engineering. EASE is an internationally leading venue for academics and practitioners to present and discuss their research on evidence-based software engineering, and its implications for software practice. EASE is ranked as A conference in CORE. The 28th edition of EASE will take place from 18 to 21 June 2024 in Salerno, Italy.
- FACS 2023 - Call for Participation
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.
We cordially invite you to join FACS 2023! Registration for FACS 2023 is free and open.
- Call for participation LOPSTR 2023
Registration is now open for LOPSTR 2023!
The 33rd International Symposium on Logic-based Program Synthesis and Transformation will be co-located with PPDP 2023 as part of SPLASH 2023 in Cascais (Lisbon), Portugal and held on October 23-24.
REGISTRATION
Registration to be completed through the SPLASH registration pages; see instructions at:
https://conf.researchr.org/attending/sas-2023/%5Esattending%5EsRegistration
https://2023.splashcon.org/attending/Registration- CFP: OOPSLA 2024: Round 1 Call for Papers
Call for Papers: OOPSLA 2024 Round 1
- 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: 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
