Bonjour à tous,
La prochaine séance du [GdT Programmation / séminaire IRILL ] est le jeudi 21/02/2019
elle est commune avec le séminaire APR-LIP6
Towards verified modelling of Digital Signal Processing algorithms
à 16h en salle 15-16 201 (1er étage) sur le campus Jussieu
Toutes les informations concernant ce GdT sont sur :
http://www-apr.lip6.fr/~chaillou/Public/programmation/index.html
à bientôt.
Emmanuel…