Mathematical Logic Webinar

Propositions-as-Types and Stateful Computation

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

Por Luís Caires (NOVA Laboratory for Computer Science and Informatics).

Propositions-as-types (PaT) goes back to the functional interpretation of intuitionistic logic due to Brouwer, Heyting and Kolmogorov, but was brought under the spotlight only after the famous notes of Curry and Howard. It has been since then considered both an intriguing and prolific concept, with many instances and consequences in logic and the foundations of programming languages. In 2010 we have (with Pfenning) developed for the first time a PaT interpretation of linear logic which yields an expressive session-based programming language, while ensuring ("for-free") progress (deadlock-freedom), confluence, and normalisation as a consequence of the correspondence between computation and proof reduction. In this talk, we review this line of work and glimpse at some recent developments (with Rocha) on PaT and shared state.

This is a joint session with SAL (CMA/FCT-UNL).


Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Are you a BSc or MSc student interested in Soft Matter, Non-linear Dynamics and Waves or Particle Physics?

Logótipo do EVM 2024

O Programa de Estágios de Matemática EVM 2024 é uma iniciativa inovadora promovida pelo DM-FCUL, que proporciona a estudantes que estão a terminar o 2.º ou o 3.º ano de licenciaturas nas áreas da Matemática, F

Lisbon AI Seminar, por Gloria Andrada (IFILNOVA).

Logótipo do EVM 2024

Por Bruno Loff (DM Ciências ULisboa, LASIGE e CMAFcIO).

Por Jamerson Douglas Bezerra (Nicolaus Copernicus University).

titulo e data do evento

16th National Physical Chemistry Meeting (16ENQF) and 5th Computational Chemistry Symposium., Ciências ULisboa - July 17-19, 2024

Logótipo do EVM 2024

Por Giosuè Muratore (DM Ciências ULisboa e CMAFcIO).

Logótipo do EVM 2024

Por Pedro Duarte (DM Ciências ULisboa, CMAFcIO).

Título do programa, sobre mosaico de fotografias de jovens cientistas

As candidaturas encontram-se encerradas. Obrigada aos quase 80 candidatos/as!

Logótipo do EVM 2024

Por Maria Manuel Torres (DM Ciências ULisboa e CMAFcIO).

Titulo e data do evento, com imagem de ponte sobre o tejo

Terá lugar, de 24 a 26 de julho, em Ciências ULisboa, conferência "MIC- STAND: Mitigation of Microbiologically Influenced Corrosion: Towards Scientific & Industrial Standardization. O evento é organizado no âmbito da Ação COST EURO-MIC, de

Logótipo do EVM 2024

Por: Jorge Buescu (DM Ciências ULisboa e CMAFcIO).

Logótipo do EVM 2024

Por Jean-Baptiste Casteras (DM Ciências ULisboa e CMAFcIO).

Chegou a hora: os participantes do Programa Ser Cientista vão apresentar os projetos que desenvolveram ao longo de uma semana, acompanhados por docentes e investigadores de CIÊNCIAS. E todos podem assistir!

Imagem do evento

Extended enrolement date until July 12th

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Are you ready for this year's edition?

Imagem do evento - título, local e data do evento

Investigação Ecológica ao Serviço da Conservação

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.