Andrew Myers taught at the Marktoberdorf Summer School in Marktoberdorf, Germany, August 4-16. This was a two weeks' course for young computer scientists and mathematicians working in the field of formal software and systems development, sponsored by the Advanced Study Institute of the NATO Science for Peace and Security Program.