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 de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).

Imagem abstrata

A Universidade de Lisboa lançou em 2025 o iRe:Search – Centro Interdisciplinar de Gestão de Dados de Investigação da ULisboa, um espaço de apoio, capacitação e inovação, dirigido a toda a comunidade académica da ULisboa – docentes, investigadores, responsáveis pela gestão de ciência e dados de investigação e doutorandos -, com o objetivo de capacitar a sua comunidade e reforçar a qualidade e impacto da investigação.

Os workshops destinam-se a todos os docentes e demais pessoas interessadas no desenvolvimento pedagógico na aliança Unite!

Lupa e caneta sobre página com texto e gráfico

O curso visa dar formação inicial a estudantes de pós-graduação sobre o processo de escrita, submissão e publicação de trabalhos científicos, focando principalmente a publicação de artigos científicos em revistas internacionais com revisão por pares - candidaturas até 10 de outubro.

Logótipo C-Academy

O curso introduz os fundamentos da segurança em redes de computadores, abordando as principais vulnerabilidades, princípios e metodologias de proteção - candidaturas até 28 de outubro.

Seminário do Centro de Física Teórica e Computacional, por João C. Duarte (Departamento de Ciências da Terra e Energia e Instituto Dom Luiz, FCUL).

Seminário em Biologia Humana e Ambiente, por Paula Alexandra Lopes (Faculdade de Medicina Veterinária - FMV, Universidade de Lisboa / Centre for Interdisciplinary Research in Animal Health - CIISA / AL4AnimalS - Associated Laboratory for Animal and Veterinary Science).

Representação de parte do esqueleto humano

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

Estudante

Neste encontro, será debatido o estigma da doença mental, a importância da prevenção e debater o papel da Inteligência Artificial na sua promoção - elementos-chave para uma comunidade académica mais saudável e uma sociedade mais equilibrada.

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Sean Raymond (Laboratoire d'Astrophysique de Bordeaux, CNRS, France).

TWIN2PIPSA Expert Seminar, por Pietro Sormanni (Yusuf Hamied Department of Chemistry, University of Cambridge, UK).

Iconografia relacionada com a temática do curso

O curso fornece uma exploração aprofundada de isótopos estáveis como uma ferramenta valiosa em Ecologia, usando assinaturas isotópicas para rastrear processos ecológicos e revelando insights sobre o ciclo de nutrientes e água, interações de espécies e condições ambientais em diversos ecossistemas e comunidades - candidaturas até 17 de outubro.

Composição de três imagens relativas à área da deteção remota

Este curso visa dar formação na área de Deteção Remota, abrangendo desde a Observação da Terra pelos satélites até à utilização de Drones - candidaturas até 02 de novembro.

Fábrica

O evento pretende reunir investigadores que trabalhem sobre temas ligados à indústria e sobre património técnico e industrial, para uma reflexão prospetiva sobre o património industrial e atuais vias de colaboração no seu estudo, salvaguarda e preservação.

Fotografia do mar e parque eólico

O curso propõe uma imersão nos princípios, desafios e oportunidades da Economia Azul, explorando o papel crucial dos oceanos nas transições ecológica e climática - candidaturas até 13 de novembro.

Título "Turin Staff Week 2025", sobre fotografia da cidade de Turim

Uma oportunidade única para desenvolver competências, criar redes internacionais e conhecer de perto uma das instituições parceiras da aliança Unite! - inscrições até 21 de setembro.

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é 22 de novembro.

Vista aérea de povoação

A conferência é subordinada ao tema “People and Planet: How the Environment Shapes Human Health”.

Workshop no âmbito do Programa de Saúde e Bem-Estar da ULisboa.

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é 22 de novembro.

Logótipo C-Academy

O curso fornece uma compreensão abrangente dos princípios e práticas fundamentais da cibersegurança e da privacidade, com aplicação tanto em contextos genéricos como em sistemas críticos - candidaturas até 07 de novembro.

Logótipo C-Academy

O curso proporciona uma visão aprofundada das tecnologias que suportam o desenvolvimento e integração de aplicações web - candidaturas até 10 de novembro.

Cesto com legumes

O curso tem como principal objetivo capacitar para a implementação e gestão sustentável de espaços de cultivo nas cidades, promovendo a segurança alimentar e a autonomia na produção de alimentos - candidaturas até 02 de novembro.

Natal 2025

Uma oportunidade única de estudantes e professores do ensino secundário dialogarem diretamente com especialistas de várias áreas científicas.

Vida marinha

O Projeto ULISSES está de volta para a 6.ª edição! As candidaturas decorrem até 15 de dezembro.

Páginas