Mathematical Logic Seminar

Towards New Characterizations of Parallel Complexity Classes

Videoconferência

Por Melissa Antonelli (University of Helsinki).

Implicit computational complexity is an active area of theoretical computer science, aiming to provide machine-independent characterizations of relevant complexity classes. One of the seminal works in this field appeared in 1964, when Cobham introduced a function algebra closed under bounded recursion on notation and able to capture FP, the class of functions computable in polynomial time. Since then, several complexity classes have been characterized using limited recursion schemas. Recently, an elegant algebra was defined by Bournez and Durand, who, in 2019, showed that ordinary differential equations (ODEs) offer a natural tool for algorithmic design and characterized FP via a special ODE schema. The overall goal of our study is precisely that of generalizing this approach to parallel computation and of providing (possibly uniform) ODE-style characterizations for small circuit classes. In particular, in this talk I will present the global aim and methodology at the basis of our in progress study and sketch our first result, namely our proposal for an original characterization of AC0 due to ODEs.

[Joint work with A. Durand and J. Kontinen]


Transmissão via Zoom.

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

Daniel da Silva Distinguished Lecture, por Jean-Pierre Bourguignon (IHÉS).

Seminário do Centro de Estatística e Aplicações da Universidade de Lisboa e do Centro de Matemática Computacional e Estocástica, por Louiza Soltane (Laboratoire de Mathématiques Appliquées Université Mohamed Khider, Biskra, Algérie).

Título "Jornadas Científicas ULisboa" e composição com os logótipos da ULisboa e da União Europeia

A edição de 2025 das Jornadas é dedicada ao tema "Universidade de Lisboa no Espaço Europeu de Investigação: Construir Carreiras Académicas Atrativas, Fortalecer Instituições".

Representação de programação R

This course aims at providing students with basic knowledge of R programming, allowing them to manipulate and visualize data with R.

Título do evento, sobre imagem abstrata em tons de azul e laranja

Muitos parabéns aos investigadores de CIÊNCIAS premiados!

Seminário de Análise e Equações Diferenciais, por Delia Schiera (Instituto Superior Técnico, Universidade de Lisboa).

The conference focuses on "Algebra and its role in Computer Science", with special emphasis on the areas of study related to the work of M. V. Volkov, such as semigroups and automata.

Título "Hoje quem manda sou eu" e mapa de Portugal

Palestra por Jorge Buescu (Ciências ULisboa), no âmbito da iniciativa "Hoje quem manda sou eu", promovida pela Ciência Viva.

Luz a atravessar nuvens

O concerto integra o programa Música na Universidade de Lisboa, numa parceria com a Orquestra Académica da Universidade de Lisboa, naquele que é o Concerto Final de Temporada.

Workshop organizado pelo CEMS.UL - Centro de Estudos Matemáticos e pelo CAMGDS - Centro de Análise Matemática, Geometria e Sistemas Dinâmicos.

Título/data/local do evento e fotografia do espaço

How far will you go? The IA Summer Program 2025 is your launchpad to the Universe!

Seminário do Instituto de Biossistemas e Ciências Integrativas, por Vera Inácio (BioISI).

Representação de programação R

This course aims at providing students with statistical knowledge and tools to manipulate, analyse and visualise biological data with R. Introduction to modeling, simulations and Bayesian statistics.

Logótipo do Verão na ULisboa, sobre um fundo azul

Uma iniciativa da Universidade de Lisboa que proporciona a oportunidade única, aos alunos do 8.º ao 12.º anos de estudo, ou que tenham já concluído o 12.º ano, de ficar a conhecer e experimentar o ritmo e o espírito da vida académica na Universidade.

Logótipo, data e local do evento

Com o tema “Ciência, Inovação e Sociedade”, o encontro será um palco de promoção e discussão do impacto científico, social, cultural e económico da investigação em Portugal.

Computability in Europe (CiE) is an interdisciplinary series of international conferences organised by the Association Computability in Europe (ACiE).

Horta Solar

E se fosse possível experimentar um curso universitário antes de concorrer ao ensino superior? Agora já é!

Título/data do evento e vários objetos museológicos

This course aims to provide an updated vision of the potential of museum collections for biodiversity research. More specifically, aims to present case studies on the value of museums and the use of collections and specimens in the 21st century, using new technologies and analytical methods.

Águas subterrâneas

Curso acreditado para efeitos de progressão na carreira dos professores na dimensão cientifico-pedagógica dos grupos 420 e 520.

Título e datas do programa de estágios

Ready to explore research up close?

The goal of this workshop is to unite scholars who approach the history of ecology - and the evolution of the discipline itself - from a variety of perspectives.

A 10.ª edição do Ser Cientista realiza-se entre 21 e 25 de julho - vem investigar connosco!

Pormenor de lâmpada

Candidaturas a decorrer de 01 a 30 de setembro.

Microplásticos no ocerano

O curso procura 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, utilizando uma abordagem de ensino científico, com um discurso adequado a formandos sem formação científica - candidaturas até 03 de agosto.

Logótipo do evento, sobre fotografia dos Açores

An international symposium that convenes researchers specializing in various disciplines focused on the terrestrial and marine flora and vegetation of the Macaronesian region (Azores, Madeira, Selvagens, Canary Islands, and Cabo Verde).

Páginas