RSS Meetup

Propositions-as-Types and Shared State

Sala 6.3.27, Ciências ULisboa
Título, data, orador e localização do evento

Por Pedro Rocha (NOVA LINCS, FCT/NOVA).

Modern software construction depends on imperative state, state sharing, and concurrency. Still, safely programming with state, aliasing and concurrency has always been considered a significant challenge. While the foundation of type systems for the functional core of programming languages often builds on the proposition-as-types correspondence, automatically ensuring strong safety and liveness properties, imperative features have mostly been handled by extra-logical constructions. In this work, we develop a principled integration of shared mutable state into a propositions-as-types linear logic interpretation of a session-based concurrent programming language. Our system crucially builds on the integration of nondeterminism and sharing, inspired by logical rules of differential linear logic, and ensures session fidelity, progress, confluence and normalisation, while being able to handle first-class shareable reference cells storing any persistent object. We illustrate the expressiveness of our language with examples highlighting detailed features, up to simple shareable concurrent ADTs. This is joint work with Luís Caires.

Bio: Pedro is a final-year PhD student, supervised by Luís Caires, in Computer Science at the NOVA School of Science and Technology / NOVA LINCS. Pedro got his Master in Electrical and Computer Engineering from Faculty of Engineering of University of Porto (FEUP). He won the prize Asea Brown Boveri, granted to the student with the highest rank dissertation of FEUP, and merit scholarships attributed during the years 2010-2012, granted to the top 12 students of the University of Porto. Before enrolling in the PhD program he worked for 2 years with Synopsys as an R&D engineer.

14h00
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