Et l'après TaMaDi ?
From TaMaDiWiki
- dans le cadre du mois thématique Mathematical Structures of Computation - Lyon 2014, Nicolas Brisebarre et Jean-Michel Muller organisent un workshop Formal Proof, Symbolic Computation and Computer Arithmetic, qui aura lieu à Lyon du 3 au 7 février 2014.