Universidade do Minho  

           
 
  Autenticação/Login
 
Contacts
Site Map
   
  print
 




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


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