Section: Partnerships and Cooperations

Visits of Team Members

Olga Kouchnarenko has visited Natalia Sidorova (Eindhoven Univ. of Technologies, Netherlands) to work on the may-/exit-semantics of workflow Petri nets and on their configurations to ensure weak termination (November 6 - 13).

F. Dadeau and P.-C. Héam have visited Alexander Pretschner (Karlsruhe Institute of Technology) to work on testing security protocols (August 25-26).