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

Com o Inverno já a deixar a sua marca nos ramos nus das árvores, é tempo também de as ajudarmos a crescer na Primavera que se seguirá!

Aumente o envolvimento e a colaboração dos alunos com uma solução de ensino e aprendizagem completa dentro do Moodle através do FeedbackFruits.

Sessão comemorativa, a realizar na ocasião da colocação do retrato do Professor João Guerreiro no Grande Auditório, bem como de um póster a ele relativo no átrio do edifício C3.

Título "Quem são as mulheres do LIP na experiência ATLAS do CERN? - um encontro de gerações"

Um encontro que homenageia as várias gerações de mulheres do grupo do LIP que participam na experiência ATLAS, no colisionador LHC do CERN. Este evento celebra décadas de liderança e contributos femininos num dos maiores projetos científicos do mundo.

Título/data/local do evento e fotografia de cruzamento bastante movimentado

Conferência da redeMOV, por Ana Rita Martins (IST-ULisboa).

Logótipos CIÊNCIAS/CEAUL, indicação do título/data/orador e representação do cérebro humano

Participants will be introduced to using R in real life situations. From the start, this hands-on practical workshop will focus on following good programming and data analysis practices. 

Ação de formação para docentes e investigadores de CIÊNCIAS.

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

Inscrições até 07 de fevereiro.

Seminários por Daniel Sequeira e Emily Croasdale.

Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).

António Cruz Serra

A cerimónia decorre no Pavilhão de Portugal, pelas 17h00 do dia 12 de fevereiro.

Seminário de Análise e Equações Diferenciais, por Mitchell A. Taylor (ETH Zurich).

Logótipo do projeto

Formação no âmbito da 22.ª edição do projeto "Observar e Aprender", com inscrições até 10 de fevereiro.

Título e datas de candidaturas aos prémios, sobre uma imagem abstrata

Candidaturas abertas até 14 de fevereiro - em 2025, serão atribuídos 26 Prémios e 52 Menções Honrosas.

Fotografia de João Paulo Dias

A Celebration of his 80th Birthday - registration until 24 January.

Composição do logótipo da ULisboa e de representação do rosto humano à base de relógios

Consegue comunicar eficazmente a sua investigação de doutoramento em 3 minutos?

Fotografia de Carlos Paredes

Concerto no âmbito do programa Música na Universidade de Lisboa.

Título do curso, sobre uma fotografia do Large Hadron Collider

The objective of the course is to introduce the physics, analysis methods and results on the physics areas covered by the LHC experiments.

A reunião, aberta a toda a comunidade estudantil, tem como objetivo esclarecer os mecanismos processuais de formalização de todas as realidades associativas existentes, a potencial criação de novas e a implementação e funcionamento futuros do FAC

Título/data/local do evento e fotografia do orador

Talk @DI, por Alex Davidson (DI/FCUL).

Banner do Dia do DEGGE 2025.

Um evento dedicado às três áreas de estudo do Dia do Departamento de Engenharia Geográfica, Geofísica e Energia: Engenharia da Energia e Ambiente; Meteorologia, Oceanografia e Geofísica; Engenharia Geoespacial.

Título/data/local do evento e fotografia de vegetais

Workshop hands-on, dirigido a todos os estudantes da ULisboa.

Pormenor de pessoa sentada a ler um livro

Maiores de 50 anos - Candidaturas até 14 de fevereiro.

Se queres saber mais informações sobre os cursos de CIÊNCIAS, não deixes de participar!

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 4.º concurso decorre até 28 de fevereiro.

Páginas