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

BioISI Research Seminar, por Célia Miguel (BioISI, Ciências ULisboa).

Hi-Phi Seminar, por Bruno Jacinto (CFCUL) e Henrique Leitão (CIUHCT).

Seminário no âmbito da Unidade Curricular de Introdução aos Recursos Naturais Vegetais, por Luís Bonifácio (INIAV - Instituto Nacional de Investigação Agrária e Veterinária).

Imagem ilustrativa do evento (saúde e medicina)

Webinars da redeSAÚDE, de participação gratuita (mediante inscrição prévia).

A iniciativa conta com a participação de Luís Saraiva (Ciências ULisboa).

Geometry Webinar, por João Pedro dos Santos (Universidade de Paris-Sorbonne e Universidade de Montpellier).

A iniciativa conta com a participação de Maria João Verdasca (cE3c, Ciências ULisboa).

Conversa com Galopim de Carvalho.

Cartaz do evento

A Feira Internacional dos Minerais, Gemas e Fósseis está de regresso ao Museu Nacional de História Natural e da Ciência!

Logótipo do projeto

Bioecosys brings together expertise and experience in forest ecosystem management and economics to communicate recent findings and to accelerate the transfer of knowledge and best practices to stakeholders and forest actors.

Workshop promovido pelo GAPsi - Gabinete de Apoio Psicopedagógico.

Talks @DI, por Marcelo Inuzuka e Ruan Rodrigues.

Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).

Seminário no âmbito da Unidade Curricular de Introdução aos Recursos Naturais Vegetais, por Jorge Faria (INIAV - Instituto Nacional de Investigação Agrária e Veterinária / MED - Instituto Mediterrâneo para a Agricultura, Ambiente e Desenvolvimento).

Imagem alusiva ao evento

This Workshop will gather specialists in the field of Combinatorial Optimization, from several countries, to present and discuss recent research work around this subject. Luís Gouveia, coordinator of CMAFcIO and José Rui Figueira, president of CEG-IST will present the Opening Session.

Sessão de apresentação do livro coordenado por José Almeida Silva (IDL / Ciências ULisboa).

Imagem ilustrativa do evento e várias informações (título, oradora, data)

Formação de Comunicação em Ciência(s), por Cristina Nobre Soares.

Conversa com Galopim de Carvalho.

Workshop promovido pelo GAPsi - Gabinete de Apoio Psicopedagógico.

Imagem alusiva ao evento

The training program will provide industry and academia the technological and scientific pathways required for deployment of sustainable cost-effective large scale energy storage and conversion powered by renewable energies.

Logótipo dos Prémios, sobre um fundo azul escuro

Candidaturas a decorrer até 15 de dezembro de 2021.

Logótipo do ENBE XVII, sobre um fundo branco

This meeting is a forum for scientists of all academic levels, (from master to principal investigators), to present their work and discuss, fostering new ideas and collaborations. We invite researchers from all over the world to participate and submit their work.

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Céline Paillette (Université Paris 1 Panthéon-Sorbonne).

Desde o início de 2020 que somos bombardeados, através da comunicação social, com informações sobre o novo coronavírus humano - SARS-CoV-2 - que provoca a síndrome respiratória aguda grave. Nunca se comunicou tanto, em tempo real, um tema científico, mas será que já vimos todas as nossas perguntas sobre este tema respondidas?

Pormenor de mapa do continente europeu

Candidaturas online de 01 a 31 de dezembro de 2021.

Páginas