Universidade do Minho    
 
  Universidade do Minho
http://www.cmat.uminho.pt
 
print   close
 


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