List of conferences - page 2
- iFM 2023
In the last decades, we have witnessed a proliferation of approaches that integrate several modelling, verification and simulation techniques, facilitating more versatile and efficient analysis of software-intensive systems. These approaches provide powerful support for the analysis of different functional and non-functional properties of the systems, complex interaction of components of different nature as well as validation of diverse aspects of system behaviour. The iFM conference series is a forum for discussing recent research advances in the development of integrated approaches to formal modelling and analysis. The conference covers all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support and the use of such techniques in software engineering practice. To credit the effort of tool developers, we use EAPLS artefact badging <https://eapls.org/pages/artifact_badges/>.
- CfP - BPM 2023: The 21st International Conference on Business Process Management (BPM) - one week left for abstract submission !!
*Call for Research papers for the 21st International Conference on Business Process Management (BPM) BPM 2023
September 11-15, 2023
Utrecht, The Netherlands
https://bpm2023.sites.uu.nl/- CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering
We are pleased to invite you to submit papers to the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023), held in conjunction with SPLASH 2023. The conference will be hosted in Cascais, Lisbon, Portugal on October 22-27, 2023.
- CfP - BPM 2023: The 21st International Conference on Business Process Management (BPM) - deadline approaching !!
Call for Research papers for the 21st International Conference on Business Process Management (BPM) BPM 2023
September 11-15, 2023
Utrecht, The Netherlands
https://bpm2023.sites.uu.nl/- NETYS 2023 - Call for Papers
THE 11th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS (NETYS 2023)
May 22-24, 2023, Marrakech, Morroco
http://www.netys.net- ETAPS'23 Satellite Events: Joint Call for Papers, Presentations, and Participation
https://etaps.org/2023/sat-events/
On 22 and 23 April 2023, two days before the main European joint conference on theory and practice of software (ETAPS), no less than 14 satellite events will be organized by means of workshops, meetings, and competitions. We cordially invite you, your group, and your students to submit papers and presentation abstracts and participate.
- 19th IEEE eScience Conference (eScience 2023): Second Call for Papers
eScience 2023 provides an interdisciplinary forum for researchers, developers, and users of
eScience applications and enabling IT technologies. Its objective is to promote and encourage
all aspects of eScience and its associated technologies, applications, algorithms, and tools,
with a strong focus on practical solutions and open challenges. The conference welcomes
conceptualization, implementation, and experience contributions enabling and driving
innovation in data- and compute-intensive research across all disciplines, from the physical
and biological sciences to the social sciences, arts, and humanities; encompassing artificial
intelligence and machine learning methods; and targeting a broad spectrum of architectures,
including HPC, Cloud, and IoT.- Call for Contributions - 27th ACM International Systems and Software Product Line Conference
The ACM International Systems and Software Product Line Conference (SPLC) is a premier forum where researchers, practitioners, and educators can present and discuss the most recent ideas, trends, experiences, and challenges in the area of software and systems product-line engineering. Conference events include opportunities to hear industry leaders' real-world experiences and researchers' latest ideas and to learn from both.
