From: Renaud.Rioboo@ensiie.fr
To: caml-list@inria.fr, coq-club@inria.fr
Subject: CICM 2010 Call for participation
Date: Fri, 11 Jun 2010 15:20:46 +0200 [thread overview]
Message-ID: <m34oh9aeoh.fsf@popens.ensiie.fr> (raw)
Please apolgy for multiple copies
We are pleased to announce CICM 2010 which will take place at
Conservatoire National des Arts et Métiers in Paris, France from July 5
to July 10, 2010. This continues the CICM series begun with the
successful CICM 2008 in in Birmingham, England and CICM 2009 in Grand
Bend, Ontario, Canada.
Please visit
http://cicm2010.cnam.fr/
Conferences on Intelligent Computer Mathematics gather several
conferences:
- 10th International Conference onArticficial Intelligence and Symbolic
Computation (AISC 2010)
- 17th Symposium on the Integration of Symbolic
Computation and Mechanised Reasoning (Calculemus 2010)
- 9th International Conference on Mathematical Knowledge Management
(MKM 2010)
Associated Workshops are:
- 3rd Workshop on Compact Computer Algebra (CCA 2010)
- 3rd Workshop, Towards a Digital Mathematics Library (DML 2010)
- 4th Workshop on Programming Languages for Mechanized Mathematics (PLMMS 2010)
- 23rd Workshop on OpenMath (OpenMath)
- Mathematically Intelligent Proof Search (MIPS 2010)
- 6th Workshop on Mathematical User-Interfaces (MathUI 2010)
- Content Math Training Camp with Doctoral Programme (CMTC+DP)
Further events include:
- A ScienCe Eu project meeting
- The EuDML European project kickoff meeting
- A program for doctoral students
- A special training camp on Content Markup for Mathematics
- A day program in honour of Therese Hardin
Social Events
- Conference reception with Wine & Cheese buffet at the "Cafe des
Techniques" at the CNAM Museum.
- Conference Banquet at restaurant le Grand Bleu, Port de l'Arsenal.
The full list of events is at
http://cicm2010.cnam.fr/programme.html
Looking forward to see you in Paris.
Laurence Rideau, Renaud Rioboo
reply other threads:[~2010-06-11 13:21 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=m34oh9aeoh.fsf@popens.ensiie.fr \
--to=renaud.rioboo@ensiie.fr \
--cc=caml-list@inria.fr \
--cc=coq-club@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).