Bonjour à tous,
La prochaine séance du [GdT Programmation / séminaire IRILL] est jeudi 25/04/2013
Robin Morisset (Parkas - Inria / DI ENS) parlera de
Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model
à 15h45 en salle Algorithme (3ème étage) du site Italie (23 avenue d'Italie - 75013 Paris).
Toutes les informations concernant ce GdT sont sur :
http://www-apr.lip6.fr/~chaillou/Public/programmation/index.html
à bientôt.
Emmanuel...