2nd International Workshop on Formal Methods for Business Process Management, FM-BPM 2024 1st September 2024, Krakow, Poland Co-located with BPM 2024 (https://bpm2024.agh.edu.pl/)
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 invites contributions on 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. FM-BPM also encourages work-in-progress submissions.
Topics of interest include (but are not limited to) the following: - Techniques and languages supporting modeling of complex, process-aware information systems. - Foundational analytic techniques (e.g., verification, validation, performance analysis, synthesis, planning, scheduling, monitoring, QoS analysis). - Tools and frameworks, including integration reports, experimental validation and scalability studies. - Description and showcasing of publicly available artifacts of formal method applications in BPM. - Applications of Formal Methods in BPM. - Case studies and experience reports (teaching, industrial use cases, etc).
More details on topics can be found on the workshop website.
*** IMPORTANT DATES ***
Paper submission: June 14, 2024 (extended!) Tutorial proposals: July 1, 2024 Notifications: July 5, 2024 Camera-ready: July 19, 2024 Workshop: September 1, 2024
FM-BPM welcomes 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.
*** 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
Ordinary PC members
* Carl Corea, University of Koblenz-Landau, Germany * Chiara Di Francescomarino, DISI - University of Trento, Italy * Dirk Fahland, Eindhoven University of Technology, Netherlands * Sérgio Guerreiro, INESC-ID / Instituto Superior Técnico, Portugal * Sylvain Hallé, Université du Québec à Chicoutimi, Canada * Cosimo Laneve, University of Bologna, Italy * Pascal Poizat, Université Paris Nanterre and LIP6, France * Jorge A. Pérez, University of Groningen, Netherlands * Barbara Re, University of Camerino, Italy * Gwen Salaün, University of Grenoble Alpes, France * Andrea Vandin, Sant'Anna School of Advanced Studies, Italy * Victor Vianu, University of California San Diego, USA * Maxim Vidgof, WU Wien, Austria * Matthias Weidlich, Humboldt-Universität zu Berlin, Germany * Sarah Winkler, Free University of Bozen-Bolzano, Italy * Matteo Zavatteri, University of Padova, Italy