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
All categorical methods in computer science are welcome at the CaCoS workshop.
An aim of the CaCoS 2012 workshop is to focus on the use of proof assistants
for computer science and computer algebra.