On June 13^th, Luís Cruz-Filipe gave a talk at the 25^th International Conference on Types for Proofs and Programs (TYPES’19) about formalising “Choreographies in Coq”, a joint work with Fabrizio Montesi and Marco Peressotti.

The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.