CA15123 - The European research network on types for programming and verification (EUTYPES)

Main Contacts

Prof Herman Geuvers

Action Chair +31243652603 herman@cs.ru.nl

Dr Ralph Stuebner

Science Officer +3225333826 ralph.stuebner@cost.eu

Ms Tania Gonzalez Ovin

Administrative Officer +3225333816 Tania.GonzalezOvin@cost.eu