2018 EUTypes Summer School on Types for Programming and Verification

The EUTypes Summer School is a well-established school aiming to provide advanced training, especially to PhD students and early-career researchers, in all aspects of the theory and practice of type theory and applications.
The call for grants is open until June 20, so if you are interested, apply now!