Évènements
Rechercher un événement
28
Mar
Topology in Physics, a First Introduction
(...)
Abstract : Over the last 40 years, topological concepts gradually entered the field of theoretical physics, especially condensed matter physics. These tools provided both theoretical breakthroughs and new interpretations [...]
28
Mar
Réunion à propos des thématiques prioritaires I
(...)
Ordre du jour
1. Thématiques prioritaires pour le labo.
2. Proposition de redécoupage des équipes en section 25.
3. Renouvellement partiel de la commission.
28
Mar
Craig-Lyndon interpolation as cut-introduction
Alexis Saurin (IRIF)
In this talk, I will present a proof-relevant Craig-Lyndon interpolation theorem for first-order LL (linear logic). This interpolation result is proof-relevant in the following sense: [...]
28
Mar
Théorème de Comessatti sur les surfaces rationnelles réelles et variétés de Fano.
(...)
À partir de la classification des surfaces rationnelles réelles obtenue par Comessatti au début du vingtième siècle, on déduit la caractérisation frappante suivante : Une [...]
