Diary Entry: 2011-08-02 00:00:00 - 2011-08-14 00:00:00

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.