Dominique
Duval
Professeure
Université
Joseph
Fourier
Laboratoire
Jean Kuntzmann
LJK - 51 rue des Mathématiques
B. P. 53 - 38041 Grenoble Cedex 9 - France
Tel. +33 4 76 51 46 05 - Fax +33 4 76 63 12 63
Dominique.Duval@imag.fr
ISSAC 2012 in Grenoble (July 22-25, 2012)
International Symposium on Symbolic and Algebraic Computation
CaCoS satellite workshop (July 26, 2012)
on Categorical Computer Science and Proof Assistants