Matemática

Quantified Reflection Calculus with one modality

Webinar de Lógica Matemática, por Ana Borges (Universidade de Barcelona).

Ler mais acerca de Quantified Reflection Calculus with one modality

Lie algebras and higher Teichmüller components

Geometry Webinar, por André Oliveira (CMUP).

Ler mais acerca de Lie algebras and higher Teichmüller components

2020 marcado por avanços na fotónica

2020 é um ano que ficará para a história por muitas razões relacionadas com a pandemia, mas também pelos avanços registados na ciência que estuda os fotões, particularmente na fotónica linear e não linear e cujos estudos foram publicados na Nature, Nature Photonics e Science e contaram com a colaboração teórica de Vladimir Konotop, professor do Departamento de Física e investigador do Centro de Física Teórica e Computacional da Ciências ULisboa.

Ler mais acerca de 2020 marcado por avanços na fotónica

Zakharov-Kuznetsov equation: toward soliton resolution

Speaker: Svetlana Roudenko (Florida International University).

Ler mais acerca de Zakharov-Kuznetsov equation: toward soliton resolution

Arithmetical Numeral Completeness

Speaker: Paulo Guilherme Santos (Departamento de Matemática - Universidade Nova de Lisboa).

Abstract: In this talk, we will present a form of completeness for numerals that holds for Peano Arithmetic. We will establish relationships between this result and a weak version of an initial form of Hilbert's Program.

Ler mais acerca de Arithmetical Numeral Completeness

Stochastic Cucker-Smale model: collision-avoidance and flocking

Speaker: Qiao Huang (GFM, Universidade de Lisboa).

Ler mais acerca de Stochastic Cucker-Smale model: collision-avoidance and flocking

Some recent developments in proof mining

Speaker: Ulrich Kohlenbach (Department of Mathematics - Technische Universität Darmstadt).

Ler mais acerca de Some recent developments in proof mining

A SIR-type model with diffusion to describe the spatial spread of Covid-19

Speaker: Youcef Mammeri (Université de Picardie Jules Verne).

We all have to deal with the coronavirus epidemic. Many strategies have been put in place to try to contain the disease, with varying success. I will present an SIR-type mathematical model to predict the state of the epidemic. The effect of distancing, isolation of exposed individuals and treatment of symptoms will be compared. I will begin with a simple explanation of SIR models, then discuss a PDE model and its resolution.