It’s decided: the workshop will be held on July 6th at 15:00-19:00 (CEST).

Furthermore, we are very pleased to announce Randal Bryant and Jie-Hong Roland Jiang as keynote speakers for this year’s workshop.