Diary Entry: 2011-08-02 00:00:00 - 2011-08-14 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).

Phil attends the Marktoberdorf 2011 Summer School on Tools for Analysis and Verification of Software and Security. This year the school is held in the small town of Bayrischzell, Germany. Some pictures from the school and the magnificent scenery around Bayrischzell are shown below.