Mathematical Logic Webinar

Can computers prove theorems?

Transmissão através de Videoconferência

Por Luís Cruz-Filipe (Department of Mathematics and Computer Science, University of Southern Denmark).

The proof of the four-color theorem in 1976 is usually referenced as the birth of computer-assisted mathematical proofs, although some earlier examples exist. Since then, computers have slowly started working their way into mathematicians' toolboxes; and the relevance of computers for mathematical proofs was confirmed with the inclusion of a panel discussion on the topic at ICM 2018.

In this talk we discuss the logical foundations of computer proofs and what it means to say that a theorem has been proved with the help of a computer. We cover some recent examples from combinatorics and number theory, and discuss ongoing work around the topic of session types.

This is a joint session with SAL (CMA/FCT-UNL).


Zoom | ID da reunião: 890 8479 3299 - senha de acesso: 409604

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Seminário do Centro de Física Teórica e Computacional, por Rita Cardoso

(Instituto Dom Luiz, Universidade de Lisboa, Portugal).

Logótipo de Ciências ULisboa, título "Dia de Ciências 2024" e frase apelando à participação

23 de abril. Virgínia Dignum, especialista Nações Unidas para IA, é oradora convidada.

Árvore florida

"Em Busca do Transcendente" é o título que João Fontinha (aluno do Doutoramento em Matemática) escolheu para abrir o programa de primavera.

Título/data/local do evento e logótipos das entidades organizadoras

An event specifically focused on technicalities & Data Science.

Logótipo da Marinha, título do programa e indicação dos cursos abrangidos

Sessão de divulgação dirigida aos alunos de Ciências das áreas das Engenharias, Matemática e Química.

Earth Systems Seminar, por Rodrigo Amaro e Silva (IDL, Centre OIE - Mines Paris).

Seminário do Departamento de Física de Ciências ULisboa, por André Moitinho de Almeida (Center for Astrophysics and Gravitation, FCUL).

Um grupo de investigadores em diferentes fases da carreira, da licenciatura ao pós-doutoramento, irá reunir-se para melhorar os artigos da Wikipedia relacionados com a História e a Filosofia da Ciência e da Tecnologia, sobretudo em tópicos relacionados com Portugal e as ciências ibéricas

Cromeleque dos Almendres

Sessão no âmbito do ciclo de conversas "Aqui, no Universo", por Fábio Silva e Luís Tirapicos (moderação de Vânia Maia).

Título "Bolsas de Doutoramento Unite! ULisboa", logótipos das entidades promotoras e fotografia de jovem investigadora a utilizar um laptop na esplanada de um café

O 3.º concurso decorre até 30 de abril.

Título/data/local da iniciativa, sobre representação de plantas, aves e insetos

Comemorações do 30.º aniversário da VicenTuna - Tuna da Faculdade de Ciências da Universidade de Lisboa.

Talk @LASIGE, por Fernando Gallego Donoso (University of Malaga, Computational Intelligence in Biomedicine - ICB).
 

Título/data da iniciativa e fotografia de quatro pessoas segurando vasos com plantas

Venha aprender como cultivar um futuro urbano mais sustentável!

This 7th edition will once again gather specialists in the field of Combinatorial Optimization from several countries to present and discuss recent research work.

Fotografia de utente a interagir com um médico através de teleconsulta

O workshop, organizado pela redeSAÚDE da ULisboa, pretende explorar de que forma tecnologias de base digital emergentes na área da saúde podem contribuir para o bem-estar e para a melhoria da prestação de cuidados de saúde.

Logótipos do programa, de Ciências ULisboa e do GAPsi

Programa de Intervenção de Carreira, com inscrições até 26 de abril.

O encontro reúne cientistas, profissionais e estudantes de diferentes áreas e regiões do país focados em desenvolver a investigação marinha, em linha com a Década da Ciência Oceânica para o Desenvolvimento Sustentável, proclamada pelas Nações Unidas (2021-2030).

Estátua representativa da biodiversidade do planeta Terra

Seminários de Tese no âmbito do Doutoramento em Biologia e Ecologia das Alterações Globais.

Formação modular de 13 de abril a 11 de maio - produção em permacultura.

Logótipo da ação CLEANFOREST

Forests are exposed to multiple global change drivers, wich can constrain their ability to continue providing several ecosystem services (including climate change mitigation). Assessing responses - and underlined mechanisms -  at the whole ecosystem scale is paramount for a holistic understanding of forest response to global change.

Logótipo do evento

Evento final do Projeto iSEA, com inscrições até 30 de abril.

Título e data do evento, inseridos em fotografia de cinco jovens em contexto de investigação

Pré-inscrições já disponíveis!

Título e data do workshop

Workshop no âmbito da recente adesão da Universidade de Lisboa à CoARA - Coalition for Advancing Research Assessment.

Título do curso

Curso Avançado CEAUL / Gades Solutions.

Título e datas de candidatura do programa, sobre um padrão em tons de roxo e laranja

Submissão de candidaturas até 14 de maio.

Páginas