Seminário de Lógica Matemática

The Máté-Sureson infinite model-theoretic characterization of NP vs coNP - 2

Sala 6.2.33, Ciências ULisboa (com transmissão via Zoom)

Por Luís Pereira (Universidade de Lisboa).

In the 1980's and 1990's Attila Máté and Claude Sureson gave a characterization of the Computational Complexity problem NP vs coNP that involves extensions of models of arithmetic. In this second informal seminar I will talk about Sureson's direction of implication. I will emphasize how the structure of its proof resembles the structure of the proof of Wilkie's Theorem that states that any non-standard model of arithmetic M has an end-extension N with solutions to diophantine equations previously unsolvable in M. I will review the basic facts about models of arithmetic, so no prior knowledge will be required to follow the proofs.


Transmissão via Zoom (pw: 919 4789 5133).

15h00
CEMS.UL - Centro de Estudos Matemáticos
Logótipo do projeto

Formação no âmbito da 22.ª edição do projeto "Observar e Aprender", com inscrições até 10 de fevereiro.

Seminário de Análise e Equações Diferenciais, por Mitchell A. Taylor (ETH Zurich).

Fotografia de João Paulo Dias

O Departamento de Matemática convida à participação neste evento especial de comemoração dos 80 anos do Professor João Paulo Dias, que reúne amigos e colaboradores do docente.

Mestrado em Bioestatística | Unidade Curricular: Seminário de Bioestatística - 2.º ano, 1.º semestre.

Título/data/local do evento e fotografia de livros abertos sobre uma mesa

A jornada de um mestrado ou doutoramento vai além dos desafios académicos - envolve também gerir emoções e lidar com pressões que podem impactar o desempenho e o bem-estar.

Título e datas de candidaturas aos prémios, sobre uma imagem abstrata

Candidaturas abertas até 14 de fevereiro - em 2025, serão atribuídos 26 Prémios e 52 Menções Honrosas.

Fotografia de Carlos Paredes

Concerto no âmbito do programa Música na Universidade de Lisboa.

Composição do logótipo da ULisboa e de representação do rosto humano à base de relógios

Consegue comunicar eficazmente a sua investigação de doutoramento em 3 minutos?

Título do curso, sobre uma fotografia do Large Hadron Collider

The objective of the course is to introduce the physics, analysis methods and results on the physics areas covered by the LHC experiments.

Seminário de Geometria e Física, por Alejandro Calleja (Univ. Complutense, Madrid).

A reunião, aberta a toda a comunidade estudantil, tem como objetivo esclarecer os mecanismos processuais de formalização de todas as realidades associativas existentes, a potencial criação de novas e a implementação e funcionamento futuros do FAC

Seminário de Lógica Matemática, por Pedro Ângelo (Universidade de Lisboa - LASIGE).

Título/data/local do evento e fotografia do orador

Talk @DI, por Alex Davidson (DI/FCUL).

Banner do Dia do DEGGE 2025.

Um evento dedicado às três áreas de estudo do Dia do Departamento de Engenharia Geográfica, Geofísica e Energia: Engenharia da Energia e Ambiente; Meteorologia, Oceanografia e Geofísica; Engenharia Geoespacial.

Título/data do programa, logótipo da ULisboa e fotografia de jovem a ouvir música de olhos fechados

Uma introdução à prática de meditação onde vais aprender a gerir as tuas emoções, pensamentos e desenvolver um relacionamento saudável contigo e com os outros - inscrições até 21 de fevereiro.

Seminário de Geometria, por Marcos Petrúcio Cavalcante (Universidade Federal de Alagoas - UFAL).

Pormenor de pessoa sentada a ler um livro

Maiores de 50 anos - Candidaturas até 14 de fevereiro.

Título/data/local do evento e fotografia de vegetais

Workshop hands-on, dirigido a todos os estudantes da ULisboa.

Logótipo do evento

An annual event aimed to promote the research done by CIÊNCIAS Researchers in the field of Biotechnology, with a special emphasis on Blue and Green biotechnological solutions for a sustainable tomorrow.

NCPInTheHouse 2025

Registration on the workshop is free but mandatory - deadline: 24 February.

Se queres saber mais informações sobre os cursos de CIÊNCIAS, não deixes de participar!

Título "Bolsas Alumni Solidárias" e fotografia de grupo de alunos

As candidaturas decorrem até 28 de fevereiro.

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 4.º concurso decorre até 28 de fevereiro.

Pormenor de membro de orquestra

Concerto no âmbito do programa Música na Universidade de Lisboa.

Microplásticos em suspensão no oceano

O curso tem como objetivo dar formação sobre a problemática da contaminação por detritos de plástico dos nossos ecossistemas, bem como alertar para os potenciais efeitos deletérios nos organismos - candidaturas até 05 de fevereiro

Páginas