Andrew Myers at Marktoberdorf School 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. http://asimod.in.tum.de/
|