Évènements
Rechercher un événement
24
Jan
Research in Pairs at CIRM
(...)
Research in pairs enable researchers to focus on differents aspects of the project, such as putting the final touches to an article or a book, [...]
28
Jan
Courbures de Lipschitz-Killing et images polaires
(...)
On relie les courbures de Lipschitz-Killing d'un ensemble définissable de {{Rn}} aux volumes des images polaires génériques. Pour les sous-variétés lisses de {{Rn}}, de tels [...]
28
Jan
Distribution de la trace dans le groupe UG2 et application aux sommes expoenentielles
Gilles Lachaud (I2M, CNRS, Marseille)
TBA Gilles Lachaud, I2M, CNRS, Marseille
Vers un compilateur prouvé d'Esterel vers les circuits
Lionel Rieg (ENS Lyon)
Les langages synchrones sont une famille de langage de programmation dédiés aux programmes temps-réel, c'est à dire avec des contraintes fortes de réactivité. Dans cette [...]
