Summer School on Types for Programs and Verification

Dmitry Ivanov joined the 2018 EUTypes Summer Schoon in Ohrid, Macedonia

EUTypes Summer School is organized by The European research network on types for programming and verification (EUTypes), COST action CA15123. The second year in row the summer school took place in Ohrid, Macedonia. Dmitry Ivanov participated in the event, which attracted around 30 Ph.D. students from around 20 countries.