PORKROLL 2023, dans le cadre du groupe de travail Pythéas Fogg.
To describe the atmosphere on a synoptic scale (the scale at which weather fronts are apparent on a weather map, for example) one may use...
As shown by Tsukada and Ong, normal (extensional) simply-typed resource terms correspond to playsin Hyland-Ong games, quotiented by Melliès’ homotopy equivalence. Though inspiring, their proofis...
This work aims at exploring the algebraic structure of concurrent processes and their behavior independently of a particular formalism used to define them. We propose...
As the title says, I wanted to do an introduction to the representation theory of Lie groups. But I realized that this beautiful theory turns...
À l'ordre du jour de lundi : - présentation de la commission de prospective par Frédéric Mangolte et bilan de la campagne 2023 qui vient...
Membres du jury : Emmanuel Wagner (Université de Paris), président du jury ; Thomas Fiedler (Université de Toulouse), rapporteur ; Micah Chrisman (Ohio State University),...
Jury: M. Francis FILBET (Université de Toulouse III), Examinateur M. Sever HIRSTOAGA (Inria Paris, Sorbonne Université), Examinateur Mme Evelyne MIOT (CNRS & Université Grenoble -...
Ordre du jour : 1. Approbation du compte-rendu du Conseil du 26 mai 2023 2. Informations générales 3. Campagne d’emploi 4. Présentation du logiciel de...
Composition du jury : - Pascal AUSCHER (Université Paris-Saclay), Président du jury ; - Hajer BAHOURI (Sorbonne Université), Rapporteure ; - Raphaël DANCHIN (Université Paris-Est),...