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

Earth Systems Seminar, por Luis Gimeno-Sotelo (CEAUL, ULisboa / EPhysLab, UVigo).

Fotografia do stand da Imprensa da ULisboa

A 95.ª Feira do Livro de Lisboa decorre de 04 a 22 de junho.

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Luis Español González (Universidad de La Rioja).

Seminário do Departamento de Física de Ciências ULisboa, por João Ramalho Pires (FCUL - LIP).

Seminário de Geometria e Física, por Ariel Pacetti (Universidade de Aveiro).

Mar

Seminário de Projeto de Investigação (Doutoramento em Biologia - Especialidade de Biologia Marinha e Aquacultura), por  João Noronha Gamito Trigo de Sousa.

Seminário de Lógica Matemática, por Duarte Maia (University of Chicago).

Logótipo Moodle

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

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

BioISI Research Seminar, por Nuno Bandeira.

TWIN2PIPSA Expert Seminar, por Graça Minas (Departamento de Eletrónica Industrial, Escola de Engenharia, Universidade do Minho).

Copilot Chat

Nesta sessão, serão exploradas as funcionalidades e benefícios do Microsoft 365 Copilot Chat de forma personalizada à comunidade académica de CIÊNCIAS.

Luís Saraiva (Ciências ULisboa) é o coordenador nacional do evento.

Fotografia de alimentos

06 de junho: comemoração do Dia Mundial da Segurança dos Alimentos em CIÊNCIAS.

Título/data/local do evento e iconografia representativa de energias renováveis

Junta-te a esta revolução energética e faz a diferença!

Logótipo Mentimeter

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

Neste curso ficarás a saber como te podes tornar um permacultor eficiente, produtivo e consciente! O curso está preparado para iniciantes na prática de permacultura.

Formação - Cultivar em Permacultura.

Pessoas a interagirem em frente a um computador portátil

A ULisboa promove um conjunto de ações de formação com o objetivo de reforçar a capacitação para a submissão de candidaturas a oportunidades de financiamento disponibilizadas pelos programas European Research Council (ERC) e European Innovation Council (EIC) nos meses de junho e julho. No mês de outubro outras formações estão agendadas, no que toca às candidaturas a projetos colaborativos do programa Horizon Europe.

Curso destinado a estudantes de Mestrado e de Doutoramento, bem como a profissionais que desenvolvam investigação científica na área da saúde.

Químico a escrever fórmulas num quadro

Curso acreditado para efeitos de progressão na carreira dos professores do Ensino Básico e Secundário do Grupo 510 (CCPFC/ACC-118288/22).

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

Quais são os conceitos-chave para enfrentar os atuais desafios marinhos e costeiros? 

Daniel da Silva Distinguished Lecture, por Jean-Pierre Bourguignon (IHÉS).

Representação de programação R

This course aims at providing students with basic knowledge of R programming, allowing them to manipulate and visualize data with R.

Título "Jornadas Científicas ULisboa" e composição com os logótipos da ULisboa e da União Europeia

A edição de 2025 das Jornadas é dedicada ao tema "Universidade de Lisboa no Espaço Europeu de Investigação: Construir Carreiras Académicas Atrativas, Fortalecer Instituições".

The conference focuses on "Algebra and its role in Computer Science", with special emphasis on the areas of study related to the work of M. V. Volkov, such as semigroups and automata.

Páginas