Agenda

PORKROLL 2023, dans le cadre du groupe de travail Pythéas Fogg.

TBA. Séminaire MABioS  

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 [...]

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 [...]