Venue

The workshop takes place as part of European Joint Conferences on Theory and Practice of Software (ETAPS) at the Uppsala University, Campus Blåsenhus. Kindly see the ETAPS website for more information.