Interested in formal process modeling or in the analysis of business processes via formal methods? Then, you shouldn't miss the 2nd edition of FM-BPM (fm-bpm2024.github.io) that Claudio Di Ciccio,
Andy Rivkin and I organize at BPM Conference 2024 in Krakow! BPM Association

It warms my hearth to see the first edition of the international workshop on formal methods for BPM happening BPM Conference. #FMBPM2023

And it warms my hearth to have the wonderful opportunity to hear to a giant, Joos-Pieter Katoen, in the very same #FMBPM2023 workshop

Neste ano letivo, o DEI conta com quatro novos professores. Descubra-os aqui: s.rnl.pt/W36-02

The program of FM-BPM 2023 is out! Besides the great contributed talks, we have the honor to present an invited talk by Joost-Pieter Katoen on what probabilistic model checking can offer to BPM. Full program at: fm-bpm2023.github.io Andy Rivkin BPM Conference BPM Association

A new submission deadline is set to June 10!

Deadline Extension of FM-BPM 2023!
Don’t miss this opportunity to submit your paper!

New dates (AoE):
Papers submission: June 10, 2023
Papers notification: June 30, 2023

Check out the call for papers at: fm-bpm2023.github.io
BPM Conference BPM Association Andy Rivkin

1st International Workshop on Formal Methods for Business Process Management (FM-BPM 2023), Paper submission deadline: May 30, 2023 fm-bpm2023.github.io

Did you miss the deadline for the #BPM2023 main tracks? Consider submitting to one of the #workshops !

📅 May 30
🔗 bpm2023.sites.uu.nl/workshops/

#NLP #AI #Blockchain #DigitalTwins #IoT

Jochen De Weerdt Luise Pufahl

The Program Committee of FM-BPM 2023 is out! For its first edition, we have a fantastic team of PC members, merging together brilliant researchers at the intersection of FM and BPM! More info at: fm-bpm2023.github.io Andy Rivkin BPM Conference BPM Association

AAAI conference on Artificial Intelligence (7-14 February, Washington DC): 4 unibz papers accepted! Here the interview with our Marco Montali!

altoadigeinnovazione.it/il-gotha-delli…

#AAAI23 AAAI Marco Montali Diego Calvanese Alessandro Gianola Nicola Gigante Fabrizio Maria Maggi
unibz @unibz

Interested in formal modeling or analysis of processes? Or in presenting your vision on the future of formal methods in BPM? Then, you shouldn't miss FM-BPM (fm-bpm2023.github.io) that Claudio Di Ciccio, Andy Rivkin and I organize at BPM Conference 2023 in Utrecht! BPM Association

📢 Accepted #BPM2023 workshops are announced! We will have a full program of 11 (❗️) #workshops with exciting formats. Submission deadline: 30th of May 📅. Calls online: 1st of February at bpm2023.sites.uu.nl

Luise Pufahl Jochen De Weerdt

A fresh BPM newsletter is out with reports from a wonderful #BPM2022 in Münster, a preview of #BPM2023 in Utrecht, and we disclose if I really came to Münster by bike! Happy reading!
bpm-conference.org/assets/docs/ne… BPM Conference BPM Association