Mathematical Logic Seminar

Reasoning about Choreographic Programs

Sala 6.2.33, Ciências ULisboa (com transmissão online)

Por Luís Cruz-Filipe (University of Southern Denmark).

Choreographic programming is a paradigm where a concurrent or distributed system is developed in a top-down fashion. Programs, called choreographies, detail the desired interactions between processes, and can be compiled to distributed implementations based on message passing. Choreographic languages usually guarantee deadlock-freedom and provide an operational correspondence between choreographies and their compiled implementations, but until now little work has been done on verifying other properties.

This talk presents a Hoare-style logic for reasoning about the behaviour of choreographies, and illustrate its usage in representative examples. We show that this logic is sound and complete, and discuss decidability of its judgements. Using existing results from choreographic programming, we show that {any functional correctness property proven for a choreography also holds for its} compiled implementation.


Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Título/data/local do evento

Lisbon AI Seminar, por Mattia Petrolo (CFCUL/RG1).

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 Taban Baghfalaki (Bordeaux University, Bordeaux, France).

Seminário do Departamento de Física de Ciências ULisboa, por Bruno Barros (IA).

Título/data/local do evento e imagem de arquivo do MUHNAC

Os estudantes de Ciências contra o regime ditatorial e colonialista - 1968-1974.

Título/data/local do evento e pormenor de pintura representando uma mulher

Reasoning Seminar, por José Manuel Mestre (University of St. Andrews/Stirling).

Seminário Helena Avelar de Astronomia e Astrologia Antiga, por Levente László (Eötvös University).

BioISI Research Seminar, por Miguel Machuqueiro (BioISI - Ciências ULisboa).

Fotografia de três pessoas a apontarem para o teclado/ecrã de computador portátil

Workshop de participação gratuita, mediante inscrição até 16 de abril.

Título/data do evento, logótipo do projeto Ciências em Harmonia e título "Ninguém te vai amar como eu."

Uma sessão dinamizada e conduzida pelo GAPsi, a decorrer pelas 13h do dia 18 de abril.

Seminário do Laboratório de Instrumentação e Física Experimental de Partículas, por Henrique Carvalho (LIP Minho).

O MUHNAC associa-se, uma vez mais, a estas comemorações, com um programa de atividades gratuitas subordinadas ao tema da edição de 2024 "Catástrofes e conflitos à Luz da Carta de Veneza".

Hi-Phi Seminar, por Ignacio García-Pereda (CIUHCT), Silvia Di Marco (CFCUL), Hugo Soares (CIUHCT) e João L. Cordovil (CFCUL).

Logótipos da Sociedade Portuguesa de Física e da comemoração do respetivo Jubileu

Nesta sessão, organizada em parceria com o NFEF-FCUL, será lançado um postal dos CTT evocativo dos 50 anos da SPF e será feito o lançamento do volume 47, n.º 1 da Gazeta de Física.

Mathematical Logic Seminar, por Jaime Ramos (IST - Universidade de Lisboa).

Seminário Doutoral I (Doutoramento em História e Filosofia das Ciências), por Joana Lima de Oliveira.

O programa inclui a atribuição de cartas de reconhecimento de mérito aos melhores alunos que concluíram a licenciatura em Geologia ano letivo 2023, seguida da apresentação do vídeo da excursão final integradora do Mestrado em Geologia da FCUL.

Logótipo de Ciências ULisboa, título "Dia de Ciências 2024" e frase apelando à participação

23 de abril. Virgínia Dignum, especialista Nações Unidas para IA, é oradora convidada.

Título/data/local do evento e logótipos das entidades organizadoras

An event specifically focused on technicalities & Data Science.

This 7th edition will once again gather specialists in the field of Combinatorial Optimization from several countries to present and discuss recent research work.

Talk @LASIGE, por Fernando Gallego Donoso (University of Malaga, Computational Intelligence in Biomedicine - ICB).
 

Título "Bolsas de Doutoramento Unite! ULisboa", logótipos das entidades promotoras e fotografia de jovem investigadora a utilizar um laptop na esplanada de um café

O 3.º concurso decorre até 30 de abril.

Comemorações do 30.º aniversário da VicenTuna - Tuna da Faculdade de Ciências da Universidade de Lisboa.

O encontro reúne cientistas, profissionais e estudantes de diferentes áreas e regiões do país focados em desenvolver a investigação marinha, em linha com a Década da Ciência Oceânica para o Desenvolvimento Sustentável, proclamada pelas Nações Unidas (2021-2030).

Formação modular de 13 de abril a 11 de maio - produção em permacultura.

Logótipo da ação CLEANFOREST

Forests are exposed to multiple global change drivers, wich can constrain their ability to continue providing several ecosystem services (including climate change mitigation). Assessing responses - and underlined mechanisms -  at the whole ecosystem scale is paramount for a holistic understanding of forest response to global change.

Páginas