Centro de Matematica -

http://www.cmat.uminho.pt

Scientific meetings 2016

FSCD 2016
Formal Structure for Computation and Deduction, 22 - 26 June 2016, Porto. Members involved in the organization: José Espírito Santo e Luís Pinto.
more information