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

Error message

Deprecated function: The each() function is deprecated. This message will be suppressed on further calls in menu_set_active_trail() (line 2375 of /compsci/partition2/csmarkus/public_html/ProcessesAndData/includes/menu.inc).

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.