2011 Summer School on Program Synthesis

August 8-12, 2011

Schloss Dagstuhl, Germany

Homepage of the summer school

Slides of my lectures: