2019 EUTypes Summer School on

Types for Programming and Verification

30 August-04 September, 2019, Ohrid, Macedonia