February 2012

The new semester has started. I am giving the lecture for the course Business Information Systems (BIS).

I was selected as a member of the program committee of the 9th International Workshop on Web Services and Formal Methods to be held in Tallinn, Estonia, Sep 6 - 7, 2012.

December 2011

The paper "A Trace-Based Service Semantics Guaranteeing Deadlock Freedom" by Christian Stahl and Walter Vogler was accepted for Acta Informatica.

September 2011

I attend the 18th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2011), Hagen, Germany (September 29-30, 2011) and present a paper on "Decomposing Petri net state spaces".

The new semester has started. I am giving instructions for the course Business Information Systems (BIS).

August 2011

I was selected as a member of the program committee of the "Central-European Workshop on Services and their Composition" (ZEUS 2012) to be held in February 2012 in Bamberg.

July 2011

I was selected as a member of the program committee of the 10th International Conference on Business Process Management to be held in Tallinn, Estonia, Sep 3 - 6, 2012.

May 2011

The book "Modeling Business Processes -- A Petri Net-Oriented Approach" by Wil van der Aalst and Christian Stahl was published.

March 2011

I attended the ETAPS conference in Saarbrücken (March 27--April 1, 2011) and gave a talk on "A Trace-Based View on Operating Guidelines" at FoSSaCS 2011.

I gave a talk on "A Trace-Based View on Operating Guidelines" in the research seminar at the ToP group in Berlin, Germany.

February 2011

The new semester has started. I am giving instructions for the course Business Information Systems (BIS).

January 2011

The paper "Soundness Verification for Conceptual Workflow Nets with Data: Early Detection of Errors with the Most Precision Possible" by Natalia Sidorova, Christian Stahl, and Nikola Trcka was accepted for the Special Issue of Information Systems for CAiSE 2010.

December 2010

The paper "A Trace-Based View on Operating Guidelines" by Christian Stahl and Walter Vogler was accepted for FoSSaCS 2011.

October 2010

I gave a talk on Process modeling and CPN Tools at the domeindag of the Open Universiteit, Oct 19, 2010.

I was selected as a member of the program committee of the 9th International Conference on Business Process Management to be held in Clermont-Ferrand, France, Aug 28 - Sep 2, 2011.

September 2010

The new semester has started. I am giving instructions for the course Business Information Systems (BIS).

August 2010

I was selected as a member of the program committee of the "Central-European Workshop on Services and their Composition" (ZEUS 2011) to be held in February 2011 in Karlsruhe.

July 2010

The paper "Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers" by Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, and Marc Voorhoeve was accepted for WSFM 2010.

April 2010

The paper "Guaranteeing Weak Termination in Service Discovery" by Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, and Robert Danitz was accepted for Fundamenta Informaticae.

March 2010

Karsten Wolf, Kathrin Kaschner, Niels Lohmann, and Christian Stahl give a tutorial on Analysis and Synthesis of (Web) Service Behavior at PETRI NETS 2010 in Braga.

February 2010

The paper "Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual" by Natalia Sidorova and Christian Stahl and Nikola Trcka was accepted for CAiSE 2010.

December 2009

The article "Relating fair testing and accordance for service replaceability" by Arjan J. Mooij and Christian Stahl and Marc Voorhoeve was accepted for the Journal of Logic and Algebraic Programming.

I was selected as a member of the program committee of the "Central-European Workshop on Services and their Composition" (ZEUS 2010) to be held in February 2010 in Berlin.