Summer School in Software Engineering and Verification 2011

July 17–27, 2011 | Moscow, Russia

The Summer School in Software Engineering and Verification will take place in Moscow, Russia, from July 17 to 27, 2011. The school encourages and helps prepare promising graduate students and young scientists for research in software engineering, verification, and program analysis. Participating students benefit from a stimulating environment where they can establish connections with each other as well as school lecturers, who are among the top scientists in their fields.

Important Dates

  • Application deadline: May 9, 2011
  • Notification of acceptance: June 1, 2011
  • School: July 17–27, 2011

About the School

The Summer School in Software Engineering and Verification is co-sponsored by Microsoft Research and the Higher School of Economics in Moscow, with the IEEE Reliability Society as a technical co-sponsor, along with other industrial and academic partners. The school follows the highly successful Microsoft Data Structures and Algorithms School, held in 2010, and will be followed by the Microsoft Computer Vision School on July 28, 2011.