Matemática

Matrix Theory and beyond

The workshop will focus on various problems dealing with Matrices, like matrix polynomials, low rank perturbations, completion problems and related combinatorics including applications of Matrix Theory in engineering.

The main goal of the workshop is to show the different ideas and problems, all connected by matrices. Participation is open to anyone with interests in these and other related areas.

Decidability of first-order theories

Por Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa).

Abstract: Some results and reduction techniques for proving decidability of mathematical theories and completeness of logics are presented. The crucial role of the theory of real closed ordered fields is explained. Selected illustrations from Euclidean Geometry to Quantum Logic are discussed.

Curvas Ideais, Relações Desconhecidas e outras histórias da Matemática

Sessão de lançamento do novo livro do matemático Jorge Buescu (Departamento de Matemática | Ciências ULisboa).

O livro será apresentado por Henrique Leitão (Departamento de História e Filosofia das Ciências | Ciências ULisboa, Prémio Pessoa 2014) e Filipe Oliveira (Presidente da Sociedade Portuguesa de Matemática).

Seguir-se-á uma sessão de autógrafos.

Entrada livre.

Colóquio de Matemática

Por Nicolas Van Goethem (Faculdade de Ciências da Universidade de Lisboa).

In this talk, I would like to present some classical problems and a new model in continuum defect modelling (fracture and dislocations in solid materials, elasto-plasticity) with emphasis on a geometric approach. This talk is addressed to non specialists and to advanced undergraduate students.

Convívio antes do Colóquio na Sala de Docentes do DM, com café, chá e bolos, a partir das 14h.

Páginas