August 7 – 12 , 2011, Event 11322

Summer School on Software Synthesis


Rastislav Bodik (University of California – Berkeley, US)
Viktor Kuncak (EPFL – Lausanne, CH)
Eran Yahav (Technion – Haifa, IL)

For support, please contact

Heike Clemens


External Homepage
Event Schedule [pdf]


Software synthesis in various forms has recently gained the attention of researchers as well as some practitioners. The techniques used to synthesize software include deductive synthesis, game-based synthesis, autotuning, invariants inference, genetic programming, program differencing, and inductive synthesis from partial programs.

We have recently organized a successful Dagstul seminar (09501) ons oftware synthesis, which has shown that these communities have a lot to learn from each other.

A conclusion from this seminar was to organize a summer school. The school should have three goals:

  • give students access to the nice tutorial talks presented at 09501
  • allow students to learn complementary techniques before they venture into their PhD work, hoping that their dissertation will bridge these areas
  • make students aware of software problems that may be solvable with synthesis

This summer school is supported in part by a travel grant from COST Action IC0901: Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems.

Online Publications

We offer several possibilities to publish the results of your event. Please contact publishing(at) if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.