COST Action EUTYPES

I’ve been nominated in the Management Committee of the COST Action CA15123, The European research network on types for programming and verification (EUTYPES), which is starting these days.