Special Issue on Verification, Control & Repair in #BPM aiming at design- and run-time settings, at the Elvesier's journal "Information Systems". Editors: Matteo Zavatteri, Massimiliano de Leoni , Johann Eder, Manfred Reichert. Deadline: 31 August. See full CfP at sciencedirect.com/journal/inform….

📢📢📢Deadline Extension - Journal Special Issue: Verification, Control, and Repair in #BPM Information Systems, Elsevier. CFP: tinyurl.com/25u2dv5u Deadline: September 30, 2024 Guest Editors: Matteo Zavatteri Massimiliano de Leoni Johann Eder Manfred Reichert

Meet us in Bolzano, Italy on November 28-29, 2024 at OVERLAY 2024. Consider sending a paper to the workshop regarding your ongoing research in formal methods/AI. Deadline for the CFP: September 16, 2024. More information here: overlay.uniud.it/workshop/2024/

Deadline extension! New deadline for the CFP: September 26, 2024

Last days to submit your paper to the special issue "Verification, Control, and Repair in #BPM", Information Systems, Elsevier. Deadline: September 30, 2024. Guest editors: Matteo Zavatteri Massimiliano de Leoni Johann Eder Manfred Reichert All information here: sciencedirect.com/journal/inform…