Section: Partnerships and Cooperations

European Initiatives

Collaborations in European Programs, Except FP7 & H2020

• Program: CA COST Action CA15123

• Project acronym: EUTYPES

• Project title: European research network on types for programming and verification

• Duration: 21/03/16 - 20/03/20

• Coordinator: Herman Geuvers