About the School
Summer School in Software Engineering and Verification will take place in Moscow, Russia, on July 17–27, 2011. The school is co-sponsored by Microsoft Research and the Higher School of Economics (HSE) in Moscow, with IEEE Reliability Society as a technical co-sponsor, along with other industrial and academic partners. This summer school follows a highly successful Microsoft Data Structures and Algorithms School held in 2010, and will be followed by a Microsoft Computer Vision School.
The School is now over. Many thanks to all the lecturers and participants.
CoursesThe school will consist of a number of courses from international leaders in their field.
To encourage international collaboration, the school will also feature a number of guest lecturers from both Russia and other countries. Unlike the rest of the School, guest lecturers are open to the general public.
Ph.D. students, advanced undergraduates, and young scientists interested in software verification, software engineering, and program analysis are encouraged to apply. We encourage applications from both Russian residents as well as residents of Scandinavia and countries of Eastern Europe. English is the working language of the school.Tuituion
For those who are accepted, school participation is free of charge. Attendees will be offered housing arrangements at one of the HSE dorms also free of charge, with details provided shortly. The attendees are responsible for their own transportation to and from the school as well as visas, if those are necessary.
The school will have a combination of lectures, question and answer sessions, written homeworks, programming assignments, and a final project spread over a period of 10 days, July 17-27, 2011.When and How to Apply
Application material (including supervisor's recommendation, short CV, as well as either scientific paper, term paper or other research paper) can be uploaded and updated any time until the application deadline. More information about the application process is available here.
If you have additional questions, please send email to SSSEV_2011@hotmail.com.