NeoRussellian Logicism
Mathematical Logic Webinar, por Bruno Jacinto (Universidade de Lisboa) e José Mestre (Stirling (SASP) e LanCog (Lisboa)).
CMAFcIO
Nonlocal Minimal Surfaces: interior regularity, boundary behavior and stickiness phenomena
Lisbon Webinar in Analysis in Differential Equations, por Serena Dipierro e Enrico Valdinoci (University of Western Australia).
Boundary integral strategies for the Steklov eigenproblem
Webinar de Análise e Equações Diferenciais, por Nilima Nigam (Simon Fraser University).
Quantified Reflection Calculus with one modality
Webinar de Lógica Matemática, por Ana Borges (Universidade de Barcelona).
Lie algebras and higher Teichmüller components
Geometry Webinar, por André Oliveira (CMUP).
Zakharov-Kuznetsov equation: toward soliton resolution
Speaker: Svetlana Roudenko (Florida International University).
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.
Stochastic Cucker-Smale model: collision-avoidance and flocking
Speaker: Qiao Huang (GFM, Universidade de Lisboa).
“Este prémio representa um reconhecimento da excelência do CMAFcIO Ciências ULisboa”
Pedro Castro desenvolve modelos e algoritmos com base em programação linear inteira mista. O investigador no DEIO e CMAFcIO Ciências ULisboa é um dos vencedores do Prémio Científico ULisboa/CGD 2019.
Some recent developments in proof mining
Speaker: Ulrich Kohlenbach (Department of Mathematics - Technische Universität Darmstadt).
Páginas
- « primeira
- ‹ anterior
- …
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- …
- seguinte ›
- última »