[Om-announce] [ISSAC-ANNOUNCE] Call for Participation: CaCoS 2012

[Damien Pous]

We are please to announce the CaCoS workshop, a satellite event of
ISSAC 2012, to be held in Grenoble (France), on Thursday the 26th of
July.

This workshop is about categorical computer science, and the use of
proof assistants for computer science and computer algebra. The
program can be found at:

http://www-ljk.imag.fr/membres/Dominique.Duval/CACOS12/cacos12.html

There is no registration fee, but the participants are kindly asked to
register as soon as possible so that we can offer them coffees and
lunch.

With best regards,
Dominique Duval and Damien Pous

*****
You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to LISTSERV at LISTSERV.ACM.ORG or by visiting http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html.