College of Computing and Data Science (CCDS)
Nanyang Technological University (NTU)

Address: Block N4-02b-63
50 Nanyang Avenue, Singapore 639798
Phone: +65 6790 4287

Summer school at Marktoberdorf

The Summer School Marktoberdorf 2015 is an intensive two-weeks course on Verification and Synthesis of Correct and Secure Systems. See local news coverage (in German): Informatiker aus aller Welt bei Summer School in Marktoberdorf.¹