Évènements
Rechercher un événement
12
Dec
Meeting in Mathematical Statistics 2016
(...)
Meeting in Mathematical Statistics 2016Advances in nonparametric and high-dimensional StatisticsDecember 12-16http://imagine.enpc.fr/~dalalyan/MMS2016.html
12
Dec
Ergodic Theory and its Connections with Arithmetic and Combinatorics (Morlet Chair Mariusz Lemanczyk)
Conference (CIRM, Luminy, Marseille)
CIRM - Jean-Morlet Chair Mariusz LEMANCZYK & Sebastien FERENCZI Ergodic Theory and its Connections with Arithmetic and Combinatorics Théorie ergodique et ses connexions avec l'arithmétique [...]
Réécriture de diagrammes : applications à la théorie des catégories et à la théorie de la démonstration
Matteo Acclavio (I2M, Aix-Marseille université)
http://www.theses.fr/s165038 Dans le dernier siècle, nombreux sciences ont enrichi leur syntaxe pour pouvoir modeler des interactions. Entre eux on peut compter l’informatique, la physique quantique, [...]
Conflict nets: Locally canonical MALL proof nets
Willem Heijltjes (University of Bath)
A l’occasion de la soutenance de thèse de Matteo Acclavio l’après-midi. Proof nets capture the semantic and/or computational content of linear logic in a clean [...]
