SYNT 2015: 4th Workshop on Synthesis (with CAV), 18 July 2015 - Program

Click here to download PRE-proceedings

8:30Invited talk by Sumit Gulwani: Programming by Examples applied to Data Manipulation
9:30Ioannis 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

SYNT 2015 Main Page