From: Johan Jeuring <J.T.Jeuring@uu.nl>
To: <acl2@utlists.utexas.edu>, ARCHIVES-FR <adbs-info@cru.fr>,
<agbkb@informatik.uni-bremen.de>, <agda@lists.chalmers.se>,
<appsem@lists.tcs.ifi.lmu.de>, <asl@vassar.edu>, <cade@itu.dk>,
<caml-list@inria.fr>, <ccl@ps.uni-sb.de>, <clp@comp.nus.edu.sg>
Subject: [Caml-list] CICM 2012: Call for participation
Date: Mon, 21 May 2012 14:56:56 +0200 [thread overview]
Message-ID: <14C1ED2E-A0AE-46D5-A410-BA06C7CDF27E@uu.nl> (raw)
CICM 2012 - Conference on Intelligent Computer Mathematics
July 9-13, 2012 at Jacobs University, Bremen, Germany
http://www.informatik.uni-bremen.de/cicm2012/
Call for participation
----------------------------------------------------------------
As computers and communications technology advance, greater
opportunities arise for intelligent mathematical computation. While
computer algebra, automated deduction, mathematical publishing and
novel user interfaces individually have long and successful histories,
we are now seeing increasing opportunities for synergy among these
areas. The Conference on Intelligent Computer Mathematics offers a
venue for discussing these areas and their synergy.
The conference is organized by Serge Autexier and Michael Kohlhase at
Jacobs University in Bremen and consist of five tracks:
Artificial Intelligence and Symbolic Computation (AISC)
Co-Chairs: John A. Campbell, Jacques Carette
Calculemus
Chair: Gabriel Dos Reis
Digital Mathematical Libraries (DML)
Chair: Petr Sojka
Mathematical Knowledge Management (MKM)
Chair: Makarius Wenzel
Systems and Projects
Chair: Volker Sorge
The overall programme is organized by the General Program Chair
Johan Jeuring.
Invited talks will be given by:
Yannis Haralambous, Département Informatique, Télécom Bretagne
Conor McBride, Department of Computer and Information Sciences,
University of Strathclyde
Cezar Ionescu, Potsdam Institute for Climate Impact Research
----------------------------------------------------------------
Programme
----------------------------------------------------------------
The global programme of the conference, tracks, and workshops
are available via:
http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=programme
and the accepted papers via:
http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=accepted
----------------------------------------------------------------
Registration
----------------------------------------------------------------
Early registration rates are applicable until June 15. See
http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=registration
next reply other threads:[~2012-05-21 12:57 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-05-21 12:56 Johan Jeuring [this message]
2012-06-11 14:27 ` [Caml-list] CICM 2012: 2nd Call for participation; early registration deadline approaching Johan Jeuring
2012-07-02 14:21 ` [Caml-list] CICM 2012: Programme details on-line, last call for participation Johan Jeuring
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=14C1ED2E-A0AE-46D5-A410-BA06C7CDF27E@uu.nl \
--to=j.t.jeuring@uu.nl \
--cc=acl2@utlists.utexas.edu \
--cc=adbs-info@cru.fr \
--cc=agbkb@informatik.uni-bremen.de \
--cc=agda@lists.chalmers.se \
--cc=appsem@lists.tcs.ifi.lmu.de \
--cc=asl@vassar.edu \
--cc=cade@itu.dk \
--cc=caml-list@inria.fr \
--cc=ccl@ps.uni-sb.de \
--cc=clp@comp.nus.edu.sg \
/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).