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

Damien Pous Damien.Pous at ENS-LYON.FR
Wed Jun 27 11:42:39 CEST 2012

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

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:


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

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.

More information about the Om-announce mailing list