Próximos Eventos

Financiado através dos seguintes projetos:

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

Destaques

29.º Encontro do Seminário Nacional de História da Matemática will take place at Universidade Nova de Lisboa, from November 18 to November 19, 2016.

 

04-11-2016

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, Seminars room, (2nd floor).

03-07-2017

The Axiomatic Thinking will be held at the Faculty of Science and Technology of the New University of Lisbon, Portugal, from October 11th to October 14th, 2017.

04-07-2017

The Workshop on Computational Algebra - Autumn 2017 is part of a series of workshops of which this is the first.

It will take place on December the 2nd at the Faculty of Science and Technology of the NOVA University Lisbon.

13-10-2017