3rd International Workshop on Formal Methods for Business Process Management, FM-BPM 2025 - call for papers

[Alessandro Gianola]

*** We apologize for possible cross-posting ***

******* CALL FOR PAPERS *******

3rd International Workshop on Formal Methods for Business Process
Management, FM-BPM 2025
1st September 2025, Seville, Spain
Co-located with BPM 2025 (https://www.bpm2025seville.org/

Website: https://fm-bpm2025.github.io/
Contact: fm-bp...@easychair.org


*** GENERAL INFORMATION ***

Providing rigorous specification and analytic techniques for
process-aware information systems is one of the main tasks to address in
Business Process Management. For this purpose, in the last two decades
well-established approaches from Formal Methods have been successfully
developed and adopted so as to provide solid foundations and concrete
tools for the automated analysis and testing of complex processes.
FM-BPM welcomes submissions that use Formal Methods to specify, model
and analyze business processes and process-aware information systems.
The aim of this workshop is to bring together researchers and
practitioners who are interested in the application of Formal Methods to
improve the quality of information systems, and specifically those that
rely on BPM concepts and technologies.


*** WORKSHOP SCOPE ***

FM-BPM welcomes submissions of abstracts that use Formal Methods to specify, model and analyze business processes and process-aware information systems. 

The aim of this workshop is to bring together researchers and practitioners who are interested in the application of formal methods to improve the quality of information systems, and specifically those that rely on BPM concepts and technologies. 

FMBPM strives at promoting research and development of formal methods and tools in all areas related to BPM: industrial applications, theoretical frameworks, formal modeling, algorithms and methodologies, tooling, experience reports including teaching and industrial cases. In addition, the workshop will provide a platform for discussions and the exchange of innovative ideas, thus we also highly encourage submissions on work in progress.

*** IMPORTANT DATES ***

Paper submission: June 6, 2025
Notifications: July 3, 2025
Workshop: September 1, 2025

*** SUBMISSIONS ***

We are interested in abstracts focusing on the following topics: (1) the current position of Formal Methods in the BPM community and the adoption challenges, (2) applications of formal methods techniques to business processes and interesting cross-disciplinary technical challenges. 

Abstracts should contain at least 500 characters and should not exceed 1250 characters. Abstract must be submitted electronically via EasyChair: enter the main conference installation (https://easychair.org/my/conference?conf=bpm2025) and select “Workshop on Formal Methods for BPM” as the submission track.

These submissions will pose the basis for the discussion during the workshop in two corresponding sessions. The intended outcome of the workshop will be to produce a joint paper through a collaborative writing session, building on discussions and insights from FM-BPM 2024 and expanding on the submitted topics. 

*** ORGANIZATION ***

PC chairs

* Claudio Di Ciccio -  Utrecht University, Netherlands
* Alessandro Gianola -  INESC-ID/IST, Universidade de Lisboa, Portugal
* Andrey Rivkin - Technical University of Denmark, Denmark