2018EUTypesSchool - Venue

2018EUTypesSchool

2018 EUTypes Summer School on

Types for Programming and Verification

8-12 August, 2018, Ohrid, Macedonia

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

Google Sites

Report abuse