Bonjour à tous,
La prochaine séance du [GdT Programmation / séminaire IRILL ] est ce jeudi 31/05/2018
elle est commune avec le séminaire APR-LIP6
Boubacar Sall (APR, LIP6, Sorbonne Université) parlera du
Développement de Programmes Impératifs par Raffinements, au sein de l'Assistant de Preuves Coq
à 14h en salle 15-16 101 (1er étage) sur le campus Jussieu <— attention au changement d'horaire
Toutes les informations concernant ce GdT sont sur :
http://www-apr.lip6.fr/~chaillou/Public/programmation/index.html
à bientôt.
Emmanuel…