Dagstuhl Seminar Proceedings, Volume 9501,

• Ratislav Bodik, Orna Kupferman, Dougla R. Smith, and Eran Yahav 09501 Abstracts Collection – Software Synthesis 10.4230/DagSemProc.09501.1
• Sven Schewe Software Synthesis is Hard – and Simple 10.4230/DagSemProc.09501.2