August 7 – 12, 2011, Event 11322
Summer School on Software Synthesis
For support, please contact
Art exhibition opens on Tuesday August 9
All participants are invited to attend after dinner on 7:30 pm.
More information here .
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.