Et l'après TaMaDi ?
From TaMaDiWiki
Revision as of 11:19, 1 October 2013 by JeanMichelMuller (Talk | contribs)
- 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.
