Centro de Matematica -

http://www.cmat.uminho.pt

Encontros científicos 2016

FSCD 2016
Formal Structure for Computation and Deduction, 22 - 26 Junho 2016, Porto. Membros envolvidos na organização: José Espírito Santo e Luís Pinto.
mais informações em