An increasing amount of software is not written manually any more. Rather, software is synthesized from abstract models of the required functionality. As a result, the effort of generating software is reduced and software verification typically becomes easier.
Software synthesis has been implemented in various disperse communities.
The workshop aims at bringing these communities together and at identifying research problems which should be addressed by the scientific community.