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


  © 2024, Universidade do Minho