EN FR
Homepage Inria website


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