Summer School on Reliable Computing, July 2005