FM-BPM 2024

S econd International Workshop on Formal Methods for Business Process Management

Co-located with BPM 2024 in Krakow, Poland

Call for Papers

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. 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.

Submission Details

All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be reviewed by members of the Program Committee. Only papers in English will be considered. Submitted papers must present original research contributions not concurrently submitted elsewhere. Authors are requested to prepare submissions according to the LNBIP format specified by Springer ( The title page must contain a short abstract and a list of keywords, preferably using the list of topics given above. Papers must be submitted electronically via EasyChair: enter the main conference installation ( and select “Workshop on Formal Methods for BPM” as the submission track.
We are interested in research, work-in-progress, tools and case-study papers, either in a long (not exceeding 12 pages, including references) or a short (from 5 to 6 pages, including references) format. This workshop edition will also feature a series of short, “spotlight” tutorials, providing an in-depth account of the topics of interest mentioned below. Tutorial proposals must include:

  • Title, name(s) and affiliation(s) of the presenter(s);
  • 1-page description of the tutorial, including envisioned activities and desired learning objectives;
  • A one paragraph description of why the tutorial is of interest to the FM-BPM audience.
  • 1-page descriptions of accepted tutorials will appear as extended abstracts in the workshop proceedings.

    Topics of interests

    Topics of interest include (but are not limited to) the following.

    Modeling and related aspects. This topic covers techniques and languages supporting modeling of complex, process-aware information systems. We are interested in particular in:

    Verification, validation and other analytic techniques. This topic covers foundational analytic techniques devised for formal models, including those mentioned above. The following themes help in understanding the potential submission topics:

    Tools. We invite those who are currently developing tools or having at hand already running prototypes to reflect on related topics, that may touch upon the following themes:

    Applications. We highly solicit the scientific community to share their experience and ideas of how formal methods are or should be applied in BPM.

    Case studies and experience reports (teaching, industrial use cases, etc).

    Important Dates

    All deadlines are set to 23:59 Anywhere on Earth (UTC - 12) .

    • Papers submission: June 7, 2024
    • Tutorial Proposals: July 1, 2024
    • Papers notification: July 5, 2024
    • Camera-ready papers: July 19, 2024
    • Workshop: TBD


    Program Committee

    Accepted Papers

    To be announced...


    To be announced...