Mathematical Logic Seminar

The what, the why and the how of recursion theory in computational complexity

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

Por Eduardo Skapinakis (NOVAMath, Universidade Nova de Lisboa).

While complexity classes are usually defined as the problems that can be solved by some computational model, under some resource bound, there is a variety of ways to characterize them without mentioning either of them. This is the topic of Implicit Complexity.

I will talk about the study of Complexity from the perspective of recursive functions, discussing the tools to capture non-deterministic, probabilistic and quantum classes and the role of composition in characterizing and restricting access to oracles.

Transmissão via Zoom.

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

RSS Meetup, por Fritz Henglein (DIKU, U. Copenhagen).

Seminário do Departamento de Física de CIÊNCIAS ULisboa, por Alfred Castro Ginard (Institute of Cosmos’ Sciences, Barcelona).

Título do ciclo e logótipo da FCT

A 4.ª sessão desta iniciativa conta com a participação de Ana Simões (CIÊNCIAS ULisboa / CIUHCT - Centro Interuniversitário de História das Ciências e da Tecnologia)

Título/data/local do evento e fotografia da oradora

Talk @LASIGE, por Andreia Sofia Teixeira (Network Science Institute, NUL, LASIGE).

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

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.

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.

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

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.

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.

Planta a crescer num frasco cheio de moedas

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

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.

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.

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!

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.

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

Logótipo do evento

O ponto de encontro nacional para todos os profissionais e estudantes que acreditam no futuro da reabilitação impulsionado pela tecnologia, inteligência artificial e inovação clínica.

Páginas