CaCoS 2012

CaCoS will be held on Thursday July 26, 2012, in Grenoble, France.

CaCoS - Categorical Computer Science
is a Satellite Workshop of
ISSAC 2012 - International Symposium on Symbolic and Algebraic Computation.


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.

Location

On the campus of the University of Grenoble. UFR im2ag - Batiment F - Amphithéatre F022 - 60, rue de la Chimie - 38042 Saint Martin d'Hères: Access.

PROGRAM:


ABSTRACTS:


PARTICIPANTS:


Registration

Please fill in the following form to register to the workshop: no registration fee is due, but we need to know how many lunches to provide.

Last Name: 
First Name: 
Email Address: 
Affiliation:  



Organizers:
Dominique Duval (LJK, University of Grenoble, France)
Damien Pous (CNRS, ENS Lyon, France)


CaCoS 2012 is sponsored by: LJK, ANR HPAC, ANR CLIMT.