Mathematical Logic Webinar

Continuous characterizations of computational complexity classes with ordinary differential equations

Videoconferência

Por Daniel Graça (University of Algarve).

In this talk we will show that traditional computational complexity classes such as P, EXPTIME, or PSPACE can be characterized using polynomial ordinary differential equations, and that the same can be done for other classes such as the Grzegorczyk hierarchy and the class of primitive recursive functions. This talk describes work done in collaboration with O. Bournez, R. Gozzi, and A. Pouly.


Transmissão via Zoom.

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

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).

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.

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.

O Museu Natural de História Natural e da Ciência volta a dinamizar atividades associadas às Jornadas Europeias do Património, em 2025 subordinadas ao tema "Património Arquitetónico". 

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).

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.

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

Esta nova série de eventos foi concebida para ajudar investigadores e empreendedores a compreender tópicos-chave de inovação.

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.

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.

O evento apresentará a investigação utilizada ou derivada do Projeto AM2030.

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.

Planta a crescer num frasco cheio de moedas

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

Estátua representativa do planeta Terra

Seminário Doutoral II (Doutoramento em História e Filosofia das Ciências), por Joana Maria Correia Lima de Oliveira.

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.

Como o ambiente modula as representações neurais de objetos em cenários do mundo real, usando EEG e realidade aumentada, num seminário por Alexandra Krugliak (Research Associate at MRC Cognition and Brain Sciences Unit, University of Cambridge).

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 da iniciativa, sobre uma imagem abstrata

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

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.

Páginas