Prof. Dadam will run a half-day tutorial at Informatik 2012, the Annual Meeting of the German Informatics Society (GI). The tutorial is entitled "Next Generation Process Management Systems - Fascinating Facilities of a new Technology". Among other topics he will address "correctness by construction" and "ad hoc deviations at process instance level" and demonstrate these features using the AristaFlow BPM Suite.
Further information (in German) on this tutorial can be found here.