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
Emilio J. Gallego Arias (CRI, MINES ParisTech) parlera de
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