*** We apologize for possible cross posting ***
******* CALL FOR PAPERS ******* 1st International Workshop on Formal Methods for Business Process Management, FM-BPM 2023 11th September 2023, Utrecht, The Netherlands Co-located with BPM 2023 (https://bpm2023.sites.uu.nl/) Website: https://fm-bpm2023.github.io/ Contact: fm-bpm2...@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: May 30, 2023 Paper notification: June 30, 2023 Camera-ready: July 14, 2023 Workshop: September 11, 2023 *** 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=bpm2023 When submitting, select “Workshop on Formal Methods for BPM” as the submission track. FM-BPM welcomes submissions of research, work-in-progress, tools, case-study, survey or position papers of two types: 1. Regular papers of up to 12 pages (including references) 2. Short papers of 5–6 pages (including references) *** ORGANIZATION *** PC chairs * Claudio Di Ciccio - Sapienza University of Rome, Italy * Alessandro Gianola - Free University of Bozen-Bolzano, Italy * Andrey Rivkin - Technical University of Denmark, Denmark Ordinary PC members * Carl Corea, University of Koblenz-Landau, Germany * Jörg Desel, FernUniversität in Hagen, 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 * Thomas Hildebrandt, University of Copenhagen, Denmark * Cosimo Laneve, University of Bologna, Italy * Hugo A. López, Technical University of Denmark, Denmark * Andrea Marrella, Sapienza University of Rome, Italy * Fabio Patrizi, Sapienza University of Rome, 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 * Jianwen Su, University of California Santa Barbara, USA * Sergio Tessaris, Free University of Bozen-Bolzano, Italy * Emilio Tuosto, Gran Sasso Science Institute, Italy * Andrea Vandin, Sant'Anna School of Advanced Studies, Italy * Victor Vianu, University of California San Diego, USA * Matthias Weidlich, Humboldt-Universität zu Berlin, Germany * Mathias Weske, HPI - University of Potsdam, Germany * Sarah Winkler, Free University of Bozen-Bolzano, Italy * Matteo Zavatteri, University of Padova, Italy ----------------------------------------------------------------- Alessandro Gianola, PhD Postdoctoral Researcher KRDB Research Centre for Knowledge and Data Faculty of Computer Science Free University of Bozen-Bolzano E-mail: gian...@inf.unibz.it<mailto:gian...@inf.unibz.it> Website: https://gianola.people.unibz.it/ -----------------------------------------------------------------
