Talks @LASIGE

Paraconsistent and Separation Logics with Graphs

Sala 6.3.27, Ciências ULisboa
Fotografia da oradora e identificação do evento

Uma conversa com Diana Costa (LASIGE).

In this presentation I will be making a tour through the subjects I have worked/been working on. I will start with the introduction of a four-valued Hybrid Logic and an extension to Dynamic Logic and accompanying proof-theory under the form of a Tableaux system, reminiscent of my PhD thesis. Then, a version of Concurrent Separation Logic with permission regions, where hybrid machinery (namely nominals and the satisfaction operator @) is used, as well as both strong * (no overlap) and weak * (possible overlap). Finally, a brief exposition of ongoing work: a Proof-theoretic semantics for the Logic of Bunched Implications, and in a bit more depth, a Separating Pregraph Logic, an analog to standard Separation Logic where the concept of heap is replaced with a (pre)graph, whose goal is the verification of graph algorithms.

Bio: I received my PhD in Applied Mathematics in 2019 from the University of Aveiro with a thesis on Paraconsistent Hybrid Logics. For the past three years I was a Research Fellow in the Programming Principles, Logic and Verification group at University College London, where I worked mainly with BI and Separation Logic for the verification of programs. I like many-valued approaches to deal with seemingly inconsistent/incomplete systems and working with graph structures.

13h30
LASIGE

The objective of this course is to introduce participants to the details of communication and writing scientific publications.

Seminário de Lógica Matemática, por Bruno Jacinto (Universidade de Lisboa).

Seminário Permanente de Filosofia das Ciências, por Anna Ciaunica (CFCUL/GI2).

Seminário de Formação Avançada em Jardins, Paisagens e Ambiente, por Daniela Araújo e Mauro Nascimento (Museu de Lisboa | EGEAC).

Logótipo do evento, sobre um fundo branco

A iniciativa conta com o apoio do Centro Interuniversitário de História das Ciências e da Tecnologia.

Seminário conjunto do Centro de Estatística e Aplicações da Universidade de Lisboa e do Centro de Matemática Computacional e Estocástica, por Kristen Campbell (University of Colorado Anschutz Medical Campus, USA).

Research at the Faculty of Sciences

Participation is free but prior registration is suggested.

Encontro Scientia, por Rui A. P. Perdigão (EChanges - Chair Professor and Head of the Met Institute for Complex System Science, Vienna, Austria / NORA Climate Dynamics and Complexity Chair, Vienna, Austria & Princeton NJ USA / CCIAM coordinator at cE3c, Lisboa, Portugal).

Hi-Phi Seminar, por Nathalie Gontier (Ciências ULisboa, CFCUL) e Luís Tirapicos (Ciências ULisboa, CIUCHT).

Geometry Webinar, por Giosuè Muratore (CMAFcIO).

Conversa com Galopim de Carvalho.

Logótipo da IAESTE, sobre uma fotografia da cidade de Edimburgo

Candidaturas online de 01 a 31 de outubro 2021.

Imagem alusiva ao Concerto e Conferência

Concerto e conferência pela Orquestra Metropolitana de Lisboa.

Encontro Scientia, por Maria Amélia Martins Loução (PSE - cE3c).

Imagem ilustrativa do programa, acompanhada do respetivo título

Um programa de aceleração de ideias e negócios, promovido pela redeSaúde, com candidaturas até 15 de outubro de 2021.

Conversa com Galopim de Carvalho.

The objective of this course is to introduce participants to the details of communicating science to non-specialized audiences, including, but not exclusive to, public and private stakeholders, students and teachers, and media professionals.

Conversa com Galopim de Carvalho.

The course aims at providing an introduction to stable isotopes ratios as tools to understand global, ecosystem and community level bio/geo cycles; light isotopes: H, N, C, O and S isotopes, geo cycles and ecological significance; sampling and analytical methodologies in stable isotope analysis.

This course aims to evidence the importance of natural history collections for the study of biodiversity, to show new tools and approaches to extract and disseminate biodiversity data from natural history collections and to increase awareness of young researchers for the scientific and cultural value of Natural History Museums.

Conversa com Galopim de Carvalho.

EvoS aims at turning evolutionary theory into a common language to areas that pertain to the natural world, including human affairs.

Conversa com Galopim de Carvalho.

Fotografia de plantas

Pre-proposals submission until 30 November 2021, 15:00 CET(local time in Brussels).

O evento tem como tema central o "Conhecimento ao serviço das áreas classificadas" e marca o seu regresso ao formato presencial, mas com a possibilidade de participação online!

Páginas