Click here to download PRE-proceedings
| 8:30 | Invited talk by Sumit Gulwani: Programming by Examples applied to Data Manipulation |
| 9:30 | Ioannis Filippidis, Richard M. Murray and Gerard J. Holzmann: A multi-paradigm language for reactive synthesis |
| 10:00 | Morning Break |
| 10:30 | Shahar Maoz and Jan Oliver Ringert: Synthesizing a Lego Forklift Controller in GR(1): A Case Study |
| 11:00 | Romain Brenguier, Guillermo Perez, Jean-Francois Raskin and Ocan Sankur: Compositional Algorithms for Succinct Safety Games |
| 11:30 | Xiaowei Huang and Ron Van Der Meyden: The complexity of approximations for epistemic synthesis |
| 12:00 | Lunch Break |
| 13:30 | Invited talk by Aditya Nori: Probabilistic Programming: Algorithms, Implementation and Synthesis |
| 14:30 | Ayrat Khalimov: Framework for Specifying Synthesis Problems |
| 15:00 | Afternoon Break |
| 15:30 | Swen Jacobs: Reactive Synthesis Competition (SYNTCOMP 2015) |
| 16:15 | Dana Fisman: Syntax-Guided Synthesis (SyGuS) Competition(tools: ICE-DT, CVC4, Toast) |
| 17:00 | Business Meeting |