Próximos Eventos

Financiado através dos seguintes projetos:

PEst-OE/MAT/UI0297/2011
PEst-OE/MAT/UI0297/2014
UID/MAT/00297/2013

Workshop: Simplicity of Proofs in Automated Reasoning

The Workshop: Simplicity of Proofs in Automated Reasoning will take place on July the 6th at the Faculty of Science and Technology of the New University of Lisbon, building VII, Seminar room, (1st floor).

Webpage