Évènements
Rechercher un événement
04
Feb
Pourquoi "l’informatique" et pas "les informatiques" ?
Lionel Vaux (I2M, Aix-Marseille Université)
Dans le cadre de la 5ème édition du Forum des Mathématiques en Pays d’Aix qui s'est déroulée les jeudi 4 et vendredi février 2016 à [...]
La mesure des inégalités
Pierre Arnoux (I2M, Aix-Marseille Université)
Dans le cadre de la 5ème édition du Forum des Mathématiques en Pays d’Aix qui s'est déroulée les jeudi 4 et vendredi février 2016 à [...]
Médicament oublié : consultez votre mathématicien !
Florence Hubert (I2M, Aix-Marseille Université)
Dans le cadre de la 5ème édition du Forum des Mathématiques en Pays d’Aix qui s'est déroulée les jeudi 4 et vendredi février 2016 à [...]
28
Feb
29
Feb
Bayesian Statistics and Algorithms (Thematic Month 2016)
School (CIRM, Luminy, Marseille)
Programme Liste des participants Sponsors Abstracts Slides Vidéos MOIS THEMATIQUE - SEMAINE 5 Semaine Bayésienne et algorithmes 29 février au 4 mars 2016 Cette semaine [...]
26
Feb
Scientific collaboration at IHP
(...)
"Nexus of Information and Computation Theories" organized by Mark Braverman, Bobak Nazer, Rao Anup Aslan Tchamkerten and takes place at IHP from 25 January to [...]
03
Mar
03
Mar
A polyhedral characterization of quasi-ordinary singularities
(...)
Let {X} be an irreducible hypersurface given by a polynomial {f} in {K}[ [ x1,..., xd ] ][{z}], where {K} denotes an algebraically closed field [...]
dPAω: a dependently-typed classical arithmetic in finite types which proves dependent choices
Hugo Herbelin (INRIA, Rocquencourt-Paris)
We extend classical arithmetic in finite types with an intuitionistically-restricted form of strong projection of existential quantification. In this system, by turning countable universal quantification [...]
