Call for participation
Summer School in Software Engineering and Verification will take place outside
of Moscow, Russia, on July 17–27, 2011. The school is co-sponsored by Microsoft
Research and is organized in cooperation with the Higher School of Economics
(HSE) in Moscow.
Courses
The school will consist of a number of courses from international leaders in
their field, including:
* Tony Hoare, Microsoft Research, UK
foundations of program verification
* Andrei Voronkov, University of Manchester, UK
automation of proof and disproof
* Patrice Godefroid, Microsoft Research, US
software model checking and automatic test case generation
* Yannis Smaragdakis, University of Massachusetts, Amherst, US
static analysis and bug detection
* Stephan Tobies, Microsoft, Germany
verification of concurrent C programs and operating systems
* Natasha Sharygina, University of Lugano, Switzerland
model checking
* Ben Livshits, Microsoft Research, US
program analysis and its applications
School Goals
The aim of the school is to attract promising graduate students and young
scientists, and to encourage and prepare them for research in software
engineering, verification, and program analysis. The students will be exposed
to a combination of classical results as well as leading-edge research. To
encourage research participation, the students will be required to complete a
project as part of the school. We also want to provide a stimulating
environment for students to meet and establish ties with each other, local
faculty members and industry researchers, as well as school lecturers, who are
among the top scientists in their area.
Primary participants
We are primarily targeting students from Russia as well as countries in
Scandinavia and Eastern Europe.
For more information about the school and to register for the school, please
consult:
http://research.microsoft.com/en-us/um/redmond/events/sssev2011/
We strongly encourage people interested in participating to register as soon as
possible.
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
