The workshop took place on 1st November 2017. Programme follows.
- Introduction: Vijay Nagarajan
- High-level Synthesis: An EDA perspective: Nigel Topham
- Synthesis for explainable systems: Ram Ramamoorthy
- Synthesis using formal methods: Paul Jackson
- Synthesis by combining logic and probability: Vaishak Belle