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

RSS Meetup, por Fritz Henglein (DIKU, U. Copenhagen).

Seminário do Departamento de Física de CIÊNCIAS ULisboa, por Alfred Castro Ginard (Institute of Cosmos’ Sciences, Barcelona).

Título do ciclo e logótipo da FCT

A 4.ª sessão desta iniciativa conta com a participação de Ana Simões (CIÊNCIAS ULisboa / CIUHCT - Centro Interuniversitário de História das Ciências e da Tecnologia)

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

Talk @LASIGE, por Andreia Sofia Teixeira (Network Science Institute, NUL, LASIGE).

Seminário do Laboratório de Instrumentação e Física Experimental de Partículas, por Zhen Cao (Institute of High Energy Physics, Tianfu Cosmic Ray Research Center).

Título/data/local da exposição e fotografia de Mário Soares

Exposição patente ao público até 15 de janeiro de 2026.

Fotografia de grupo de edição anterior da iniciativa

Uma iniciativa, já na sua 4.ª edição, com o objetivo de sensibilizar jovens, adultos e idosos para a importância do movimento induzido pela música na saúde e na qualidade de vida sustentável.

Logótipo do evento, sobre fotografia dos Açores

Um simpósio internacional que reúne investigadores especializados em várias disciplinas (taxonomia, ecologia da vegetação, biogeografia, filogeografia, paleoecologia ou conservação da biodiversidade), focados na flora e vegetação terrestre e marinha da região da Macaronésia (Açores, Madeira, Selvagens, Canárias e Cabo Verde).

Quatro investigadores num laboratório

O curso visa capacitar investigadores, docentes e técnicos para integrar os princípios da economia circular em ambientes laboratoriais académicos - candidaturas até 16 de setembro.

Utilizadora de computador portátil numa sala de aula

Esta oficina de formação, já na sua 3.ª edição, capacitará os professores do ensino secundário das ferramentas necessárias para promover a introdução dos estudantes à programação desde o 10.º ano - candidaturas até 15 de setembro.

Planta a crescer num frasco cheio de moedas

Workshop no âmbito do projeto "How do we teach math in Europe".

Logótipo do projeto

Participe no seminário e inscreva-se na observação de aulas nesta 23.ª edição, a decorrer no 1.º semestre de 2025/2026.

Composição de imagens relativas à área das ciências forenses

O curso visa dotar os formandos com os conhecimento necessários à integração de equipas profissionais multidisciplinares nas áreas Médico-Legais e Forenses, em Laboratórios ou Serviços Médico-Legais e Forenses - candidaturas até 27 de julho.

Três investigadores num laboratório

O curso visa capacitar profissionais para aplicar os princípios da economia circular em ambientes laboratoriais industriais, promovendo práticas sustentáveis e eficientes - candidaturas até 17 de setembro.

Logótipo da iniciativa, sobre uma imagem abstrata

No dia 25 de setembro, a ULisboa dá as boas-vindas aos seus estudantes na Cidade Universitária!

Iconografia associada à ULisboa

Celebrando o começo de um novo Ano Académico, a Sessão Solene é um importante marco na vida académica da ULisboa, no qual se reúne toda a sua Comunidade.

Cientista a trabalhar com tubos de ensaio

Os participantes neste curso irão adquirir os conhecimentos essenciais à integração de equipas profissionais multidisciplinares na área das Análises Clínicas/Patologia Clínica, em laboratórios privados, públicos, hospitalares ou do Estado - candidaturas até 27 de julho.

Logótipo do evento

Um evento promovido pelo Departamento de Física da Faculdade de Ciências da ULisboa, com um duplo objetivo: valorizar a diversidade e excelência da formação dos doutorados e promover um espaço de diálogo direto entre empresas e estudantes.

Logótipo do evento

A grande festa da Ciência está de volta!

Gotas de água

O curso visa capacitar os formandos para a aplicação dos índices de qualidade ecológica utilizados na avaliação da qualidade ambiental em sistemas de transição, no âmbito da Diretiva Quadro da Água (DQA) - candidaturas até 31 de agosto.

Saída de campo (Geologia)

O curso, com candidaturas até 20 de julho, convida os professores do Ensino Básico e Secundário a explorar a Geologia a partir das rochas que afloram nas imediações da sua escola.

Pormenor de mão a apontar para o ecrã de um computador portátil

A formação destina-se a todos os docentes, investigadores e técnicos da ULisboa - inscrições até 14 de setembro.

Fungo

A transição para uma economia verde é fundamental para enfrentar os desafios ambientais e climáticos do século XXI. No centro desta transformação, a microbiologia aplicada assume um papel essencial, fornecendo soluções inovadoras para a regeneração de ecossistemas, a valorização de resíduos e a mitigação das alterações climáticas - candidaturas até 22 de setembro.

Iconografia relacionada com a temática da energia

Inscreva-se até 15 de setembro e explore o que se segue em termos de tecnologias de armazenamento de energia e hidrogénio, num dia repleto de insights, intercâmbio e inspiração.

Logótipo do evento

O ponto de encontro nacional para todos os profissionais e estudantes que acreditam no futuro da reabilitação impulsionado pela tecnologia, inteligência artificial e inovação clínica.

Páginas