Trends in Software Synthesis Bernd Finkbeiner

Summary

At the end of the seminar we would like to ask you to submit a 5-6 page summary on the topic of Software Synthesis.

The summary should include at least following points:

- A brief introduction to the general topic of software synthesis 

- A summary of the topic of your talk; especially a classification of the topic into the main subjects discussed during the reading group phase

- The relation between the topic of your talk and the topics presented by your fellow students 

- A conclusion including a short explanation on the progress of software synthesis and an outlook for the next steps in this field. 

 

Please submit the summary by March 30th on you personal status page. In order to get feedback about your summary you may submit a draft until March 10th. 



If you encounter technical problems, please contact the administrators