Synchron 2017 (International Open Workshop on Synchronous Programming)