2018 EUTypes Summer School on
Types for Programming and Verification
8-12 August, 2018, 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