Próximos Eventos

Financiado através dos seguintes projetos:

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

The Days in Logic 2018 will be held at the Campus Universitário de Santiago of the University of Aveiro, Portugal, from January 25th to January 27th, 2018.

 

01-12-2017

O Centro de Matemática e Aplicações e o Departamento de Matemática da FCT associam-se às várias instituições científicas, universidades, museus e centros de ciência nas comemorações da Semana da Ciência e Tecnologia que decorre de 20 a 26 de novembro.

11-11-2017

16/10/2017, 14h (Seminário): "Mechanical procedures - What is the concept of computation?"

17/10/2017, 14h: "Natural deduction in bi-directional ways"

20/10/2017, 13h: "Natural formalization - The Cantor-Bernstein Theorem derived in ZF"

23/10/2017, 14h: "Automated search for Gödel's Theorems"

16-10-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

Affiliation: Department of Philosophy, Carnegie Mellon University

Venue: Office 2, 3rd floor of the Mathematics Department Building

Dates: 9/10/2017 to 25/10/2017

03-10-2017
Conteúdo sindicado