Summer School in Software Engineering and Verification

This summer (from July 17 to July 27, 2011), Microsoft Research, together with HSE and ISP RAS, will organize an international Summer School on software engineering and software verification. Among the school’s sponsors and partners are Intel, Google, Kaspersky Lab, and the IEEE Computer Society.

The director of the School is Sir Tony Hoare (Tony Hoare) - a world-renowned scientist, Turing Award winner. Well-known scientists and other professors from leading universities in the USA and Europe will be lecturers at the school.
')
Interested and active senior students, graduate students, and young scientists from Russia, the CIS, as well as from central Europe and Scandinavia are invited to participate.

If you are interested, then hurry to register: you can submit a formal application and documents until May 1 inclusive.

Details - under the cut, in our group and on the official site .



Key courses

• Fundamentals of verification programs. Sir Tony Hoar, Microsoft Research,
  Great Britain.
• Automating the process of building evidence and denials. Andrey Voronkov, University of Manchester, UK
• Verification of software models and automatic test generation
  examples. Patrice Godefroid, Microsoft Research, USA
• Static analysis and error detection. Jānis Smaragdakis, University
  of Massachusetts, Amherst, USA
• Verification of multithreaded C programs and operating systems. Stefan Tobies, Microsoft, Germany
• Abstractions and decision-making procedures for effective verification
  software models. Natasha Sharygina, University of Lugano, Switzerland
• Software analysis and its application areas. BenLivshits, Microsoft
  Research, United States.

Accommodation and participation fee

• For qualified candidates, attendance at training courses is completely free. Students of the school will also be offered free places in one of the HSE hostels.
• Participants themselves are responsible and all financial costs associated with transport and obtaining visas to Russia, if any.

To participate in the Summer School you must:

• Register for the event. (Attention! Fields title and abstract are filled in as “empty” at registration). Early registration can provide an advantage in selecting candidates for participation in the School.
• Submit documents for participation. Among them:
  
  • Completed application form (.docx);
  • Resume, including information on both academic and research experience (.pdf);
  • One of the recent scientific publications or papers / thesis project. Topics related to the direction of the School are welcome. (.pdf)
  • The recommendation of the supervisor or a professor familiar with the work (preferably .pdf).

Links

• VKontakte group (there is also a FAQ)
• Details of the registration process (eng.)
• Details of the School (eng.)
• Contact address e-mail: SSSEV_2011@hotmail.com