Universidade do Minho    
  Universidade do Minho
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