É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 à [...]
Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system
Gilles Dowek (LSV, INRIA, ENS Paris-Saclay)
Defining a theory, such as arithmetic, geometry, or set theory, in predicate logic just requires to chose function and predicate symbols and axioms, that express [...]
26
Apr
Calculer dans un automate cellulaire unidirectionnel réversible : vers l'indécidabilité de la périodicité?
Martin Delacourt (LORIA, Vandœuvre-lès-Nancy)
On s'intéresse au parallèle entre 2 problèmes sur des modèles distincts d'automates. D'une part, les automates de Mealy (transducteurs lettre à lettre complets) qui produisent [...]
26
Apr
Instabilité des couches limites de Prandtl
(...)
Lorsque l'on fait tendre la viscosité vers 0 dans les équations de Navier Stokes, des couches limites apparaissent près du bord, dites couches limites de [...]
26
Apr
Colloque "Codes géométriques algébriques" dans le cadre des 10ème Journées Scientifiques de l'université de Toulon
(...)
Codes géométriques algébriques : de la dimension 1 aux dimensions supérieures.Les codes géométriques algébriques sont des codes correcteurs d'erreurs qui proviennent de la GéométrieAlgébrique. Construits [...]
