Section: Partnerships and Cooperations

European Initiatives

Collaborations in European Programs, Except FP7 & H2020

• Program: COST

• Project acronym: EUTypes

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

• Duration: March 2016 - March 2020

• Coordinator: Herman Geuvers

• Other partners: 29 countries

• Abstract: This COST promotes (1) the synergy between theoretical computer scientists, logicians and mathematicians to develop new foundations for type theory (2) the joint development of type theoretic tools as proof assistants and integrated programming environments, (3) the study of dependent types for programming and its deployment in software development, (4) the study of dependent types for verification and its deployment in software analysis and verification.