Seminário de Lógica Matemática

A refined interpretation of intuitionistic logic by means of atomic polymorphism

Sala 6.2.33, FCUL, Lisboa

Por José Espírito Santo (Universidade do Minho).

Abstract: In this seminar, an alternative embedding of IPC into atomic system F will be presented. Its translation of proofs is based, not on instantiation overflow, but instead on the admissibility of the elimination rules for disjunction and absurdity (where these connectives are defined according to the Russell- Prawitz translation). As compared to the embedding based on instantiation overflow, the alternative embedding works equally well at the levels of provability and preservation of proof identity, but it produces shorter derivations and shorter simulations of reduction sequences. Lambda-terms are employed in the technical development so that the algorithmic content is made explicit, both for the alternative and the original embeddings. The investigation of preservation of proof-reduction steps by the alternative embedding enables the analysis of generation of "administrative'' redexes. These are the key, on the one hand, to understand even better the difference between the two embeddings; on the other hand, to understand whether the final word on the embedding of IPC into atomic system F has been said.

(This is joint work with Gilda Ferreira.)

This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project: UID/MAT/04561/2013.

15h00
CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
100 days to ECCA...

Nesta cerimónia, que assinala os 100 dias para a conferência ECCA 2019 - European Climate Change Adaptation Conference, vários membros do

An Informal Workshop on Differential Equations and Algebraic Geometry (February 18th - February 22nd 2019).

Por Abílio Rodrigues (Universidade Federal de Minas Gerais).

We begin with an introduction to R and provide a protocol for data exploration to avoid common statistical problems. We will discuss how to detect outliers, deal with collinearity and transformations.

No âmbito do protocolo de cooperação estabelecido entre o Plano Nacional de Leitura (PNL2027) e o CEAUL em abril passado, irá realizar-se a 3.ª sessão de divulgação sobre Literatura e Ciência

Dia da Modelação Ecológica @ FCUL

Aprende com investigadores da comunidade científica e com os alunos de mestrado da FCUL.

Doutoramento em História e Filosofia das Ciências

Provas do Curso de Formação Avançada - 1.º ano de Doutoramento.

Doutorando: André Ferrand de Almeida.

Cursos Avançados cE3c 2018/2019

The goal of this course is to provide the participants with current and practical knowledge on urban ecology, including ecological and social aspects. It aims at providing an integrated approach on urban socio-ecological systems.

Por Lurdes Figueiral (Escola Artística de Soares dos Reis, Porto; APM).

Sei que seria possível construir a forma justa
De uma cidade humana que fosse 
Fiel à perfeição do universo
(Sophia de Mello Breyner Andresen)

Por Giuseppe Buttazzo (Università di Pisa).

Ciências na feira Unlimited Future

A feira Unlimited Future conta, uma vez mais, com a presença da Faculdade de Ciências, entre outras instituições.

Por Pedro Miguel Duarte (Faculdade de Ciências da Universidade de Lisboa).

60 Minutos de Ciência "Biologia e Cancro: mais próximos da cura?"

A biologia tumoral condiciona vários desafios aos clínicos que se dedicam ao tratamento do cancro.

Por Carlos da Camara (Departamento de Engenharia Geográfica, Geofísica e Energia / Instituto Dom Luiz ULisboa).

Por Luisa Fiorot (Università degli Studi di Padova).

VIII Jornadas APG - O novo paradigma energético

Nesta edição das Jornadas APG, pretende-se abordar o mix energético sob diferentes perspetivas, por especialistas com formação diferenciada, e discutir o papel de cada interveniente na procura de soluções de qualidade para as gerações futuras.

Noites no Observatório "Estranhas Formas de Vida"

Que vida poderá existir noutros planetas? Será que a “nossa” Terra, tão acolhedora, poderá albergar organismos capazes de sobreviver nas condições de outros lugares do Sistema Solar?

Alexandra Symeonides defende a tese "Statistical solutions and invariant measures in Hydrodynamics".

The course starts with a revision of multiple linear regression, followed by a basic introduction to generalised additive models (GAM) to analyse continuous data, count data and binary/proportional data.

Acorda! Da Conversão Ecológica à Transformação Social

A urgência das alterações climáticas tem chamado cada vez mais a atenção dos media na sequência de várias catástrofes naturais, enquanto se vem a notar uma crescente preocupação política e ativismo pelo desenvolvimento sustentável.

Páginas