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 do evento, sobre um fundo cor-de-rosa

Entrada livre, limitada à lotação do espaço.

Título do programa, fotografia de dois jovens e logótipo da Rede Alumni CIÊNCIAS

As candidaturas estão abertas até dia 09 de dezembro.

Fotografia do Professor Pedro Miranda

Lição de Jubilação "Wind and water: on-going research on climate processes".

Título/data/local do evento e fotografia de António Sampaio da Nóvoa

A sessão será presidida por Sua Excelência O Presidente da República, Marcelo Rebelo de Sousa.

Conversas sobre a geologia rica e fascinante do Parque Natural Sintra-Cascais, com a participação de vários docentes de CIÊNCIAS.

Um dia para aprender sobre produção caseira de cogumelos, da teoria à prática! Cada participante leva consigo um kit de cogumelos produzido nesta tarde e ainda todo o conhecimento para o fazer novamente de forma autónoma!

Título "5th edition ULisses", sobre fotografia do mar

Apresentação de candidaturas até 15 de dezembro.

An annual meeting that aims to bring together Evolutionary Biologists working in Portugal and abroad in order to promote scientific cohesion and excellence. This meeting is a forum for scientists of all academic levels (from master students to principal investigators), to present their work and discuss, fostering new ideas and collaborations.

Título "Gostarias de realizar uma mobilidade Erasmus+?" e fotografia de jovem aluno

Candidaturas de 01 a 31 de dezembro.

Ação de formação para docentes e investigadores de Ciências.

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.

Páginas