2nd International Workshop on Formal Methods for Business Process Management, FM-BPM 2024 - call for papers

[Alessandro Gianola]

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

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

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/)

Website: https://fm-bpm2024.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 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 7, 2024 June 14, 2024 (Extended!)
Tutorial proposals: July 1, 2024
Notifications: July 5, 2024
Camera-ready: July 19, 2024
Workshop: September 1, 2024


*** SUBMISSIONS ***

Submitted papers must present original research contributions not
concurrently submitted elsewhere.
All papers must be formatted according to the LNBIP style:
https://www.springer.com/computer/lncs?SGWID=0-164-6-791344-0
and submitted electronically via EasyChair
https://easychair.org/conferences/?conf=bpm2024
When submitting, select “Workshop on Formal Methods for BPM” as the
submission track.


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

* Sergio Tessaris, Free University of Bozen-Bolzano, Italy
* 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

--

Prof. Alessandro Gianola, PhD

Professor Auxiliar

Departamento de Engenharia Informática (DEI)

Instituto Superior Técnico

Universidade de Lisboa

Investigador Integrado - Senior Researcher

ARSR Research Group

INESC-ID

Website: https://arsr.inesc-id.pt/~agianola/