Seminário de Lógica Matemática

Proof mining and asymptotic regularity

Sala 6.2.33, Ciências ULisboa (com transmissão via Zoom)

Por Laurentiu Leustean (University of Bucharest & Institute for Logic and Data Science & Simion Stoilow Institute of Mathematics of the Romanian Academy).

Proof mining is a subfield of applied proof theory concerned with the extraction, with the help of proof-theoretic tools, of new quantitative and qualitative information from mathematical proofs. This paradigm of research, developed by Ulrich Kohlenbach beginning with the 1990s, is inspired by  Kreisel’s program on unwinding of proofs from the 1950s. Asymptotic regularity  is a very important property in nonlinear analysis and optimization, introduced in the 1960s by Browder and Petryshyn for the Picard iteration and extended to general iterations by Borwein, Reich, and Shafrir in 1992. In numerous proofs of the strong or weak convergence of a nonlinear iteration, one obtains as an intermediate step the asymptotic regularity of the iteration, usually in a very general setting. In this talk we present recent applications of proof mining providing effective uniform rates of asymptotic regularity for different iterations in optimization and nonlinear analysis.

This is joint work with Paulo Firmino and Horatiu Cheval.


Transmissão via Zoom (pw: 919 4789 5133).

15h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Logótipo e data do evento

O primeiro Tropical Summit visa reunir líderes de todo o mundo para abordar os desafios tropicais mais prementes.

Seminário do Centro de Física Teórica e Computacional, por Margarida Cruz (Centro de Física Teórica e Computacional e Departamento de Física, Faculdade de Ciências, Universidade de Lisboa, Portugal).

Cerimónia da Tomada de Posse dos Órgãos Eletivos da AEFCL 2024/2025.

Título "A Terra Treme", acompanhado da hora e data de realização do exercício

Exercício Público de Preparação para o Risco Sísmico.

Seminário de Lógica Matemática, por Laurentiu Leustean (University of Bucharest & Institute for Logic and Data Science & Simion Stoilow Institute of Mathematics of the Romanian Academy).

Título/data/local do evento e logótipo do INOV@U, sobre uma imagem abstrata

O INOV@U tem como objetivo central a promoção da inovação e modernização pedagógica no ensino superior, refletindo e explorando a sinergia e os valores comuns às instituições do consórcio, nomeadamente a Escola Superior de Enfermagem de Lisboa, o Instituto Politécnico de Lisboa e a Universidade de Lisboa.

Seminário em Biologia Humana e Ambiente, por Federico Herrera (BioISI - CIÊNCIAS ULisboa).

Seminário do Departamento de Física de Ciências ULisboa, por Tânia Ferreira Gonçalves (IBEB/FCUL and iMed/FFUL).

Título/data/local do evento e fotografia de orquestra

Concerto no âmbito da Temporada Darcos, integrando o programa Música na Universidade de Lisboa.

Título/data/local do evento e fotografia da oradora

Distinguished Talk @DI/LASIGE, por Kathrin Gerling.

Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras

Palestra promovida pelo GAPSI - Gabinete de Apoio Psicológico de Ciências ULisboa, no âmbito do projeto Ciências em Harmonia.

Título dos prémios e representação de tronco humano

Submissão de trabalhos de Mestrado e de Doutoramento realizados na ULisboa, ligados à temática da saúde, até 30 de outubro.

No âmbito das atividades de encerramento deste ciclo, destaca-se a a apresentação pelo docente de CIÊNCIAS Miguel Miranda, intitulada "Relembrar o passado, Prevenir o Futuro", e a exibição do filme sobre o Terramoto de 1775: “O Melhor dos Mundos”, realizado por Rita Nunes e que contou com a participação de membros de CIÊNCIAS.

Título do curso e logótipo das entidades organizadoras, sobre representação de DNA

Curso online, de 6 sessões e com uma duração total de 16 horas, dirigido a estudantes de Mestrado/Doutoramento e a profissionais que desenvolvam investigação científica na área da saúde.

Este encontro é uma ocasião para dar visibilidade ao trabalho e à obra de Mary B. Hesse, apresentando o livro “Ensaios sobre o conhecimento Científico” (Edições Colibri, 2024) que oferece uma recolha de ensaios desta filosofia traduzidos para português.

Logótipo do projeto

O evento, no âmbito do Projeto VA|PREVENTION (com a participação de CIÊNCIAS), conta com a presença de diversos peritos na área da saúde pública, promovendo o debate sobre o estilo de vida na prevenção da diabetes tipo 2.

Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras

Palestra promovida pelo GAPSI - Gabinete de Apoio Psicológico de Ciências ULisboa.

Título/data/local do evento, logótipos das entidades participantes e fotografia de céu nublado

A 3.ª edição do workshop, dedicada à modelação e validação de processos de alta resolução, pretende abordar a modelação de fogos florestais e de eventos extremos de temperatura, precipitação e vento, tais como ondas de calor, secas, inundações, ciclones pós-tropicais e agitação marítima.  

Imagem abstrata

Um evento pioneiro que marca o lançamento do Programa para a Promoção da Saúde Mental no Ensino Superior na ULisboa. Ao longo do evento, será apresentada uma plataforma inovadora que reunirá recursos e iniciativas destinadas a prevenir e abordar questões relacionadas com a saúde mental e o bem-estar.

A sessão de homenagem inclui o lançamento de uma nova edição do livro Estatística: Inferência e Decisão, anteriormente editado pela Imprensa Nacional-Casa da Moeda, e atualmente esgotado.

Título/data/local do evento, logótipos da entidade organizadora e fotografia de mãos na água

Encontro Alumni ULisboa 2024 - a inscrição é obrigatória, tendo um preço simbólico para apoiar o projeto Bolsas Alumni Solidário.

Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras

Palestra promovida pelo GAPSI - Gabinete de Apoio Psicológico de Ciências ULisboa.

Título/data/local do evento e fotografia de profissional de saúde a interagir com um paciente, em tons sépia

Com foco na promoção de cuidados de saúde centrados no doente, a conferência pretende mobilizar a comunidade e o ecossistema da ULisboa para discutir estratégias e tendências na área, bem como atuais e futuras iniciativas de investigação clínica e de dados com vista à prestação de cuidados de elevado valor.

Imagem do evento - título, local e data do evento

Investigação Ecológica ao Serviço da Conservação

Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras

Palestra promovida pelo GAPSI - Gabinete de Apoio Psicológico de Ciências ULisboa.

Páginas