Évènements
Rechercher un événement
01
Jan
Post-Doctoral announcement [2017]
(...)
Institut de Mathematiques de Marseille (I2M) expects several CNRS Post-Doctoral Research Positions in Mathematics as part of the project "Intermediate Chaos" funded by the European [...]
22
Jan
25
Jan
Alexander BUFETOV at IHP
(...)
Interface between mathematical physics, representation theory and probability Institut Henri Poincaré 11, Rue Pierre et Marie Curie, 75005 Paris
26
Jan
Analyse mathématique des modèles cinétiques en présence d'un champ magnétique intense
Aurélie Finot (I2M, Aix-Marseille université)
Cette thèse propose une analyse mathématique des modèles cinétiques en présence d’un champ magnétique intense. L’objectif de ce projet est le développement d’outils mathématiques nécessaires [...]
26
Jan
26
Jan
Deciding simply-typed equivalence with sums and the empty type
Gabriel Scherer (Parsifal team at INRIA Saclay)
The simply-typed λ-calculus, with only function types, is strongly normalizing, and its program equivalence relation is decidable: unlike in more advanced type system with polymorphism [...]
