2019 EUTypes Summer School on
Types for Programming and Verification
30 August- 4 September, 2019, Ohrid, Macedonia
Venue
Venue
More about the city of Ohrid at http://en.wikipedia.org/wiki/Ohrid and http://www.ohrid.com.mk/.
COST is supported by the EU Framework Programme Horizon 2020