List of conferences - page 2


Petri Nets 2024
by Lars Michael Kristensen, Sept. 4, 2023

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)
by Andrea Delgado, Aug. 31, 2023

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 !!
by Andrea Delgado, Aug. 16, 2023

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
by Panagiotis Katsaros, Aug. 12, 2023

******************************************************************
                 CALL FOR PARTICIPATION

International Conference on Runtime Verification
                      RV 2023
        Thessaloniki - Greece, October 3-6, 2023   
               https://rv23.csd.auth.gr
******************************************************************

FLOPS 2024
by Jeremy Gibbons, July 27, 2023

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)
by Andrea Delgado, July 26, 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)
by sungshik, July 4, 2023

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)
by Kit Wan Chui, June 30, 2023

A must-go event for prominent & aspiring informatics researchers
committed to advancing the informatics agendas in Europe
from academia to industry!