Seminários de Lógica Matemática

Sala 6.2.33, FCUL, Lisboa

An introduction to Constructive Zermelo-Frankel set theoryA calculus for worms


15h00
An introduction to Constructive Zermelo-Frankel set theory
Nicola Gambino (University of Leeds)

Abstract: Constructive Zermelo-Frankel set theory (CZF) was introduced by Peter Aczel in the 70s as a setting for the development of constructive mathematics. Since then, it has been studied from several points of view. In particular, it has been shown how it is related to other frameworks for constructive mathematics (such as type theory and topos theory), how it admits Heyting-valued and realizability interpretations (leading to relative consistency and independence results) and how significant parts of constructive mathematics (such as pointfree topology) can be developed within CZF. The aim of the seminar is to give an introduction to CZF, starting from its axiom system and leading up to some recent developments.


16h30
A calculus for worms
Ana Borges (Universitat de Barcelona)

Abstract: Dashkov (2012) described the Reflection Calculus (RC), a strictly positive fragment of the polymodal provability logic GLP (Gödel-Löb). It is weak enough to have nice semantic properties (as opposed to GLP), but still strong enough to accomplish a variety of proof-theoretic goals. The language of the closed fragment of RC, denoted RC_0, includes only top, conjunctions, and diamonds. A worm is simply a formula in the language of RC_0 without conjunctions. It is known that every formula of RC_0 can be equivalently written as a worm. So one wonders whether it would be possible to work only with worms, maintaining the same proof power available in RC_0. The answer is yes. We present a calculus for worms and show that it proves exactly the same conjunction-free closed statements as the Reflection Calculus. Joint work with Joost Joosten.


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.

CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

As aplicações realizadas pelos alunos incluem aplicações de recomendação, jogos geolocalizados, aplicações de suporte ao estudo e descoberta de alojamento, aplicações de suporte à saúde e bem estar, entre outras.

Por Davide Zucco (Università di Torino).

Por Leonor R Rodrigues (1,2), F. Zélé (1), I. Santos (1), A. Figueiredo (1,3,4), J. Alpedrinha (1), I. Olivieri (2), S. Magalhães (1).

Por Jorge Gomes (LIP).

Por Ana Isabel Queiroz (IHC, FCSH NOVA).

Esta apresentação contará com a participação de diversos oradores convidados, especialistas nesta matéria.

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

Com prémios no valor de 100 mil euros, a competição vai avaliar as ideias e startups com potencial de criação de propriedade intelectual, orientadas para a sustentabilidade e com elevado potencial de crescimento.

Beatriz Ferraz Marreiros defende o trabalho de projeto "Uma visão sobre uma forma de retenção de clientes nos seguros automóveis".

Por Marco Silva Mendes (FCUL).

Candidaturas a Bolsas de Doutoramento até 20 de janeiro de 2018.

Mais informações disponíveis em http://biodiv.pt/call-2017-18.

Ludgero Tiago Coelho Alves defende a dissertação "Pricing American-style Options using the Static Hedge Portfolio".

Estes seminários destinam-se à apresentação e discussão de estudos de caso em história de cultura material e coleções científicas, museus universitários e património científico em geral.

The objective of this course is to introduce participants to the details of communication and writing scientific publications. The main emphasis is on the most common form, the “primary scientific paper”, but other forms will be covered.

A organização da informação referente à produção científica e dos ficheiros que lhes estão associados implica, cada vez mais, a utilização de aplicações que permitam gerir a descrição e o arquivo dos documentos.

As provas, requeridas por Mário Abel Carreira Gonçalves, decorrem nos dias 25 e 26 de janeiro de 2018.

No dia 26 de janeiro, será apreciado o sumário do seminário/lição com o título "Ciclo do Carbono".

Helena Maria Alves Almeida Carvalho defende o trabalho de projeto "Estudo da vinculação de um Cliente Particular a um Banco".

Lack of fertile land to feed the exponentially growing population, insufficient water availability and quality, changes in the flow of nutrients through the bio-geo-cycles (especially N and P) and climate and land use changes are impacting ecosystems and their capacity to deliv

Phylogenetics is one of the scientific areas of Biology that has grown fast and evolved in methodological terms in the last years.

Por Jacek Radwan (Evolutionary Biology Group, Collegium Biologicum, Adam Mickiewicz University in Poznań).

Por Cinzia Soresina (CMAF-CIO - Universidade de Lisboa).

On completion of the course, the students shall have acquired the following knowledge and understanding:

Aprender a produzir energia, descobrir como se forma a maior onda surfada em todo o mundo ou perceber como podemos falar com um robô, são apenas alguns dos desafios lançados pela Universidade de Lisboa (ULisboa) aos visitantes da exposição “Descobre a ULisboa”.

2017 was marked by wildfires which ravaged Portugal and other regions around the world. The ash generated by these fires can contaminate downstream rivers and reservoirs, harming aquatic ecosystems and limiting water resources for human use.

Este ano a Faculdade de Ciências da ULisboa vai ser parceira do concurso Famelab Portugal e, pela primeira vez uma das eliminatórias regionais vai ter lugar na nossa Faculdade.

 

Páginas