Mathematical Logic Webinar

On logic and randomized computation

Transmissão através de Videoconferência

Por Melissa Antonelli (University of Bologna).

Interactions between logic and theoretical computer science have been deeply investigated in the realm of deterministic computation but, strikingly, when switching to the probabilistic framework, the literature does not offer much. The main goal of our study is precisely to start bridging this gap by developing inherently quantitative logics and investigating their relations with specific aspects of randomized models. This talk is conceived as an overview of our work (in particular, of ongoing research) and is bipartite. In the first part, I will introduce our quantitative counting propositional logics, which are basically obtained by endowing standard propositional systems with counting quantifiers, expressing the probability of the (argument) formula. I will show that the classical fragment, CPL, is strongly linked to complexity theory, as characterizing the full counting hierarchy. On the other hand, in the context of programming language theory, the intuitionistic counting logic, iCPL_0, provides the first probabilistic correspondence in the style of Curry and Howard In the second part of the talk, I will introduce the more expressive logic MQPA, the language of which is defined by extending that of PA with measure-quantifiers. This logic is strongly connected to probabilistic computation, as shown by some results, such as “randomized arithmetization”. Starting from this, we are also developing randomized bounded theories, in order to logically characterize probabilistic complexity classes, following the path delineated by Buss’ and Ferreira’s bounded arithmetics. (Part of this work, which is still in progress, has been conducted during my visiting period at NOVA University.)


Transmissão via Zoom.

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

Mathematical Logic Seminar, por Luís Cruz-Filipe (University of Southern Denmark).

Seminário Doutoral em Ciências do Mar, por Pedro Nunes.

Designação dos prémios, sobre uma imagem abstrata em tons cor de laranja

As candidaturas decorrem até 23 de fevereiro, com uma nova metodologia de avaliação.

Título/data/local do evento, logótipo da RedeMov e fotografia de torniquete de acesso a meio de transporte

Evento no âmbito do Ciclo de Conferências "Conversas à 6.ª", promovido pela redeMOV da Universidade de Lisboa.

Fauna e flora, investigação e educação, pela lente de cientistas e jovens biólogos.

Um convite à descoberta da vida na Serra de Grândola.

Pormenor de homem a folhear um livro

M50 - Programa de Formação Universitária para Maiores de 50 anos.

Seminário do Centro de Física Teórica e Computacional, por Pedro Jorge (Departamento de Física, Faculdade de Ciências, Universidade do Porto, and Centro de Fotónica Aplicada do INESC TEC, Portugal).

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 Bruno Santos (Stockholm University, Sweden).

Seminário Doutoral II (Doutoramento em Biologia), por Ana Sofia Lopes.

Fotografia de árvores sem folhas e de bancos de jardim

Estudantes de pós-graduação em Matemática da Faculdade de Ciências da ULisboa falam, de forma descontraída e informal, sobre o seu trabalho.

Fotografia de sinal identificativo de vinha

Apresentação de candidaturas até 28 de fevereiro.

Hi-Phi Seminar, por Ana Simões (CIUHCT/Ciências) e Ana Matilde Sousa (CIEBA/FBAUL).

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Luís Campos Ribeiro (CIUHCT, Ciências ULisboa).

Título/data/local do evento, logótipo do projeto e fotografia da oradora

Seminário TWIN2PIPSA, por Sophie Jackson (Yusuf Hamied Department of Chemistry, University of Cambridge).

Título do evento, 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.

Theory of Computing Seminar, por Mateusz Skomra (LAAS/CNRS).

Colóquio de Matemática, por José Francisco Rodrigues (DM-Ciências ULisboa).

Título/data/local do evento e logótipos dos organizadores

O Departamento de Matemática e o Núcleo de Estudantes de Matemática e Matemática Aplicada associam-se às celebrações do Dia Internacional da Matemática.

Logótipo do Dia Internacional da Matemática, sobre um fundo branco

Atividades a decorrer em Ciências ULisboa nos dias 13 e 14 de março.

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 Gustavo Soutinho (Faculdade de Economia da Universidade do Porto - FEP e Instituto Superior de Saúde Pública da Universidade do Porto - ISPUP).

Mão humana a interagir com um ecrã virtual

Novos prazos de submissão de candidaturas a projetos IC&DT e PeX.

Fotografia de participantes numa anterior edição da Jobshop Ciências

O maior evento de empregabilidade de Ciências, a decorrer nos dias 09 e 10 de abril.

23 de abril de 2024 assinalamos o 113.º aniversário da Faculdade de Ciências da Universidade de Lisboa.

Título e data do evento, inseridos em fotografia de cinco jovens em contexto de investigação

Pré-inscrições já disponíveis!

Páginas