International Summer School Marktoberdorf 2003

Impressions from the ``International Summer School: Proof Technology and Computation'' in Marktoberdorf, Germany, July 29 to August 10, 2003

Digital Photos by Ben Lukoschus

• Tuesday, July 29, 2003 (8 photos)
  Day of arrival

• Wednesday, July 30, 2003 (16 photos)
  Lecture day 1

• Thursday, July 31, 2003 (24 photos)
  Lecture day 2, barbecue

• Friday, August 1, 2003 (4 photos)
  Lecture day 3

• Saturday, August 2, 2003 (9 photos)
  Lecture day 4, disco ``Fun'' in Kaufbeuren

• Sunday, August 3, 2003 (38 photos, 1 panorama)
  Free day, mountain hiking in Füssen

• Monday, August 4, 2003 (8 photos)
  Lecture day 5, football training, concert (``Zapf'nstreich'')

• Tuesday, August 5, 2003 (38 photos)
  Lecture day 6, group picture, football match, disco at boarding house

• Wednesday, August 6, 2003 (48 photos, 1 panorama)
  Lecture day 7, TV interview, hiking excursion to Aggenstein/Breitenberg

• Thursday, August 7, 2003 (18 photos)
  Lecture day 8, student session 1

• Friday, August 8, 2003 (45 photos)
  Lecture day 9, student session 2, farewell dinner, talent show

• Saturday, August 9, 2003 (8 photos)
  Lecture day 10, student session 3, departure

• Sunday, August 10, 2003
  (No pictures - I went home on Saturday.)

Please send me an email if you have corrections or additions for the captions (e.g., names of people depicted), you need larger versions of the pictures (e.g., for printing), or if you want pictures to be removed from these pages.

Eventually, I will improve the quality of some pictures, and add some panorama images. Furthermore, there will be MP3 audio snippets from the talent show.

Also check out the pictures by other participants; their pages are listed on the official Marktoberdorf 2003 picture link page.

[<- Travel Reports]

[July 29 ->]