Dmitry Ivanov joined the <link https: sites.google.com view home _blank eutypes summer schoon in>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.