Próximos Eventos

Financiado através dos seguintes projetos:

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

Destaques

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

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

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

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

Orador: Jörg Koppitz (Institute of Mathematics, Potsdam University)

07/02/2017, terça-feira, 14h-15h

08/02/2017, quarta-feira, 10h-12h

Local: Sala de seminários, ed. VII, FCT-UNL

03-02-2017

Seminário conjunto de Análise/Álgebra e Lógica

Orador: Charles Johnson (Dept. of Mathematics, College of William and Mary, USA)

Dia e hora: 21/02/2017, terça feira, às 14h

Local: Sala 1.5, ed. VII, FCT-UNL

16-02-2017
Escola Combinatória

A Escola de Verão de Combinatória decorrerá entre o dia 10 e 14 de julho de 2017 no Departamento de Matemática (Edifício VII), Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa. Destina-se aos alunos de Matemática de licenciatura ou de mestrado. A Escola consiste em três mini-cursos que abordam diferentes áreas de investigação em Combinatória.

05-06-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 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

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

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

Affiliation: College of William and Mary, U.S.A.

Venue: office 27, 3rd floor of the Mathematics Department Building

Dates: 7/6/2017 to 14/6/2017 

Personal Web page

30-03-2017

Affiliation: Institute of Mathematics, Potsdam University, Germany

Venue: office 36, 3rd floor of the Mathematics Department Building

Dates: 16/1/2017 to 13/2/2017

20-10-2016

Affiliation: Dipartimento di Matematica e Informatica, Università di Palermo, Italy

Venue: office 41, 3rd floor of the Mathematics Department Building

Dates: 19/5/2016 to 6/6/2016 

Personal Web page

20-05-2016

Affiliation: College of William and Mary, U.S.A.

Venue: office 27, 3rd floor of the Mathematics Department Building

Dates: 15/3/2016 to 25/3/2016 

Personal Web page

20-05-2016

Affiliation: Department of Computer Science, University of Swansea, Great Britain

Venue: office 36, 3rd floor of the Mathematics Department Building

Dates: 2/9/2015 to 22/9/2015

Personal Web page

16-06-2016

Affiliation: College of William and Mary, U.S.A.

Venue: office 27, 3rd floor of the Mathematics Department Building

Dates: 30/1/2015 to 7/2/2015 

Personal Web page

23-06-2016