Próximos Eventos

Financiado através dos seguintes projetos:

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

Conferências

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

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: 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 Higher Structures Lisbon (deformation theory, operads, higher categories developments & applications) will be held at Instituto Superior Técnico, University of Lisbon, Portugal, from July 24th to July 27th, 2017.

03-02-2017

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 6th Combinatorics Days will take place at Universidade Nova de Lisboa, July 14, 2016.

31-05-2016

A International Joint Conference on Automated Reasoning decorrerá entre o dia 27 de junho e 2 julho de 2016 na Universidade de Coimbra.

21-05-2016

Conferência de homenagem a Jorge Almeida (Universidade do Porto) e a Gracinda Gomes (Universidade de Lisboa), em celebração dos seus 60º aniversários.

20-05-2016

O Days in Logic 2016 decorrerá entre o dia 28 e 30 de janeiro de 2016 na Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa.

 

22-11-2015