Séminaire IRILL : Développement de Programmes Impératifs par Raffinements, au sein de l'Assistant de Preuves Coq

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