CICM 2010

[anhinga_drafts]

Conferences on Intelligent Computer Mathematics 2010
Paris, France, July 5-10, 2010

http://cicm2010.cnam.fr/

I am trying to figure out whether I should go there, so I'll be going through the program and noting parts which attract my interest in comments to this post.

Comments

[anhinga-anhinga.livejournal.com]

Calculemus (Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, July 6-7). Great invited talks (July 7-8), but the program itself is of limited interest.