[Caml-list] CICM 2012: Call for participation

[Caml-list] CICM 2012: Call for participation

[Johan Jeuring]

    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

[Caml-list] CICM 2012: 2nd Call for participation; early registration deadline approaching

[Johan Jeuring]

   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

[Caml-list] CICM 2012: Programme details on-line, last call for participation

[Johan Jeuring]

The detailed programme of CICM 2012 is now on-line.

http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=detailed-programme

If you want to attend CICM 2012, and haven't registered yet, please do so as soon as possible:

http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=registration

Johan Jeuring
General program chair for CICM 2012