Invited Speakers
Mathias Weske
From Activities and Gateways to Places and Transitions: On the formal Semantics of Business Processes
Didier Lime
Title to be anounced
Mathias Weske
|
|
Professor Dr. Mathias Weske is a Fellow of the German Computer Science Society and chair
of the business process technology research group at Hasso Plattner Institute at the
Digital Engineering Faculty, |
| University of Potsdam, Germany. The BPT research group has a
track record in engineering prototypes with a significant impact on research and practice,
including projects like Oryx and openBPT. He authored the first textbook on business process
management in 2007, currently in its 4th edition. With Matthias Kunze, he published a textbook
on behavioral models. Dr. Weske was a founding member of the
steering committee of the BPM conference series from 2004-2024 and chaired it from 2017 through 2022.
|
Didier Lime
|
|
Didier Lime is a lecturer/researcher in the Laboratory of Digital Sciences Laboratory (LS2N) in the
Real Time Systems team, which he headed up until 1 January 2022, and is now deputy head.
He is also programme supervisor of
|
| the Embedded Real Time Systems (CORO ERTS)
Master's programme and teaches in the Compuer Science specialisation of the engineering programme.
As a specialist in the verification of complex systems (in particular real-time embedded
systems), Didier Lime conducts research into the modelling of systems whose behaviour is observed through
well-identified events. These systems can be biological systems (e.g., transitions between gene expression
modes), production systems (e.g., assembly lines) or even computer systems.
|
