State-of-the-art in Program Synthesis

Technical and talks and hands-on workshops on the state-of-the-art in program synthesis.