Mathematical Logic Webinar

Bound extraction theorems for proofs involving monotone operators

Transmissão através de Videoconferência

Por Nicholas Pischke (TU Darmstadt).

I show how proofs involving set-valued maximally monotone operators on inner product spaces can be treated in suitable higher-order logical systems which admit proof-theoretic metatheorems that allows for the extraction of computational content. I outline how the basic theory of these operators can be formally developed, how extensionality of a set-valued operator is characterized by maximality and related concepts and what kind of metatheorems can be derived using those systems. Lastly, I discuss how extensions of these systems motivated by mathematical practice can be developed in this context and how they are necessary for a recent application of the metatheorems.


Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Imagem do evento

Extended enrolement date until July 12th.

Logótipo do Workshop

A participação na 3.ª edição do Workshop é gratuita, mediante inscrição prévia.

Are you ready for this year's edition?

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

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

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