Mathematical Logic Webinar

δ is for Dialectica

Transmissão através de Videoconferência

Por Marie Kerjean (LIPN - Université Paris 13).

Differential Linear Logic is an extension of Linear Logic allowing for the linearization of proofs. It was introduced by Ehrhard and Regnier 20 years ago. Its denotational models corresponds to the differentiation of higher-order functions in functional analysis, and it has led to differential extensions of lambda-calculus and categorical models of linear logic.

Dialectica is a proof transformation introduced by Gödel acting of intuitionistic logic which factors through Girard's translation, allowing the realization of several semi classical axioms such as Markov's principle.

By taking the viewpoint of differential lambda-calculus and recent developments in differentiable programming, we will show how Dialectica computes higher-order backward differentiation. We will illustrate this through the lens of categories, types and lambda-terms.

This is joint work with Pierre-Marie Pédrot.


Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Título/data/local do evento, logótipos das entidades organizadoras e várias fotografias da orla costeira e de pessoas

Escola de verão com um programa muito diversificado, com especialistas em vários tópicos, que vão falar sobre formas de olhar para o nosso planeta de uma forma integrada, juntando conhecimentos de várias disciplinas.

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

Por Jamerson Douglas Bezerra (Nicolaus Copernicus University).

Lisbon AI Seminar, por Gloria Andrada (IFILNOVA).

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

Logótipo do EVM 2024

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

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).

Logótipo do EVM 2024

Por: Jorge Buescu (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 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!

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.

Imagem do evento

Extended enrolement date until July 12th

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.