Universidade do Minho  

Site Map

Scientific meetings 2018 

The 24th International Conference on Types for Proofs and Programs will be held on 18-21 June, 2018 at University of Minho, Campus de Gualtar, Braga, Portugal.
This conference is organized by members of the Mathematics research center (CMAT) of the University of Minho. 

more information

  © 2023 Universidade do Minho  - Legal Terms  - updated by CMAT Símbolo de Acessibilidade na Web D.