Diary Entry: 2007-10-10 00:00:00 - 2007-10-12 00:00:00

Markus presents the paper "Reasoning on Responsiveness -- Extending CSP-Prover by the Model R" (Authors: D. Gift Samuel, Yoshinao Isobe and Markus Roggenbach) at NWPT 2007 in Olso, Norway.

Below are some of the photos taken during this trip where Erwin (the Frog !) was quite active and can be seen in several photos.