From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2CF447F6CC; Mon, 2 Feb 2015 13:48:55 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.pessaux@ensta-paristech.fr) identity=pra; client-ip=147.250.10.4; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.pessaux@ensta-paristech.fr"; x-sender="francois.pessaux@ensta-paristech.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of francois.pessaux@ensta-paristech.fr designates 147.250.10.4 as permitted sender) identity=mailfrom; client-ip=147.250.10.4; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.pessaux@ensta-paristech.fr"; x-sender="francois.pessaux@ensta-paristech.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@ns4.ensta.fr designates 147.250.10.4 as permitted sender) identity=helo; client-ip=147.250.10.4; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.pessaux@ensta-paristech.fr"; x-sender="postmaster@ns4.ensta.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CzCwCTcc9UYwQK+pNBGhaCcFJZtUmFaIdOgWmBdIN9Km9DAQEBAQEGGBUGRIQELEkCgX2FVoI8DTeuTKUrAQEBAR2PCyRFgwEggRMFhUuNDIckiwoLhXgChBFuAYECgT8BAQU X-IPAS-Result: A0CzCwCTcc9UYwQK+pNBGhaCcFJZtUmFaIdOgWmBdIN9Km9DAQEBAQEGGBUGRIQELEkCgX2FVoI8DTeuTKUrAQEBAR2PCyRFgwEggRMFhUuNDIckiwoLhXgChBFuAYECgT8BAQU X-IronPort-AV: E=Sophos;i="5.09,506,1418079600"; d="scan'208,217";a="119845158" Received: from ns4.ensta.fr ([147.250.10.4]) by mail2-smtp-roc.national.inria.fr with ESMTP; 02 Feb 2015 13:48:54 +0100 Received: from ns4.ensta.fr (localhost [127.0.0.1]) by ns4.ensta.fr (Postfix) with ESMTP id 6E1A7DB7F7; Mon, 2 Feb 2015 13:48:54 +0100 (CET) X-Virus-Scanned: amavisd-new at ns4.ensta.fr Received: from ns4.ensta.fr ([127.0.0.1]) by ns4.ensta.fr (ns4.ensta.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id oRz1xyG-jUV7; Mon, 2 Feb 2015 13:48:53 +0100 (CET) Received: from zemail.ensta.fr (zemail.ensta.fr [147.250.1.16]) by ns4.ensta.fr (Postfix) with ESMTP id 58B27DB7F2; Mon, 2 Feb 2015 13:48:53 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by zemail.ensta.fr (Postfix) with ESMTP id 46F54297166; Mon, 2 Feb 2015 13:48:53 +0100 (CET) Received: from zemail.ensta.fr ([127.0.0.1]) by localhost (zemail.ensta.fr [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id 4oPbasrnh989; Mon, 2 Feb 2015 13:48:50 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by zemail.ensta.fr (Postfix) with ESMTP id E4329297241; Mon, 2 Feb 2015 13:48:50 +0100 (CET) X-Virus-Scanned: amavisd-new at zemail.ensta.fr Received: from zemail.ensta.fr ([127.0.0.1]) by localhost (zemail.ensta.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id sUVSW7nh11U9; Mon, 2 Feb 2015 13:48:50 +0100 (CET) Received: from dhcpuei9.ensta.fr (dhcpuei9.ensta.fr [147.250.35.189]) by zemail.ensta.fr (Postfix) with ESMTPSA id BC2C3297166; Mon, 2 Feb 2015 13:48:50 +0100 (CET) From: =?utf-8?Q?Fran=C3=A7ois_Pessaux?= Content-Type: multipart/alternative; boundary="Apple-Mail=_E58D4AB7-ADAA-43C5-8C7F-B8F7F50E8761" Date: Mon, 2 Feb 2015 13:48:50 +0100 Message-Id: <31CDDC51-3C70-4086-8C25-90098B55D977@ensta-paristech.fr> Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) X-Mailer: Apple Mail (2.2070.6) Subject: [Caml-list] [CFP] CICM-15 - 2nd Call for Papers --Apple-Mail=_E58D4AB7-ADAA-43C5-8C7F-B8F7F50E8761 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii ------------------------------------------------------------------ [ We apologise if you receive multiple copies ] ------------------------------------------------------------------ 2nd Call for Papers=20=20=20=20=20=20=20=20=20= =20=20=20=20=20 Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions=20 to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014). This is a (short version of the) call for papers for CICM 2015, which will be held in Washington, D.C., 13-17 July 2015. The full version of the CFP is available from the conference web page at http://cicm-conference.org/2015/cicm.php ********************************************************************** Invited Speakers: ********************************************************************** * Leonardo de Moura, https://leodemoura.github.io/ "Formalizing mathematics using the Lean Theorem Prover" (http://leanprover.github.io/ ) * Tobias Nipkow, http://www21.in.tum.de/~nipkow/ "Analyzing the Archive of Formal Proofs" * Jim Pitman, http://www.stat.berkeley.edu/~pitman/ * Richard Zanibbi, http://www.cs.rit.edu/~rlaz/ "Math Search for the Masses: Multimodal Search=20 Interfaces and Appearance-Based Retrieval" ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe * Doctoral Programme Chair: Umair Siddique Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme will be organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, we will have co-located workshops. Currently planned are: * Formal Mathematics for Mathematicians * Theorem proving components for Educational software (ThEdu'15) * MathUI Furthermore we will have a doctoral programme to mentor doctoral students giving presentations and a tutorial on the generic proof assistant Isabelle. We also solicit for project descriptions, surveys, and work-in-progress papers. ********************************************************************** Important Dates ********************************************************************** Conference submissions: Abstract submission deadline: 16 February 2015 Submission deadline: 23 February 2015 Reviews sent to authors: 6 April 2015 Rebuttals due: 9 April 2015 Notification of acceptance: 13 April 2015 Camera ready copies due: 27 April 2015 Conference: 13-17 July 2015 Work-in-progress and Doctoral Programme submissions: Submission deadline: (Doctoral: Abstract+CV) 4 May 2015 Notification of acceptance: 25 May 2015 Camera ready copies due: 1 June 2015 More detailed information, e.g. on submission via EasyChair=20 and the Springer LNAI format, can be found on http://cicm-conference.org/2015/cicm.php --Apple-Mail=_E58D4AB7-ADAA-43C5-8C7F-B8F7F50E8761 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii 
<=
pre class=3D"mlarc-message-contents" style=3D"margin-top: 2em; margin-botto=
m: 0px; padding-left: 0px; border-left-style: none;">-------------------------------------------------------------=
-----
   [ We apologise if you receive multiple copies ]
------------------------------------------------------------------

 = ;            &n= bsp;            = ;  2nd Call for Papers        =       

 &nb= sp;            =  Conference on Intelligent Computer Mathematics
 &n= bsp;            = ;            &n= bsp;     CICM 2015

&n= bsp;            = ;            &n= bsp;   13-17 July 2015
    = ;            &n= bsp;          Washington = DC, USA


Digital and computation= al solutions are becoming the prevalent means for the
generat= ion, communication, processing, storage and curation of mathematical
information. Separate communities have developed to investigate and= build
computer based systems for computer algebra, automated= deduction, and
mathematical publishing as well as novel user= interfaces. While all of these
systems excel in their own ri= ght, their integration can lead to synergies
offering signifi= cant added value. The Conference on Intelligent Computer
Math= ematics (CICM) offers a venue for discussing and developing solutions =
to the great challenges posed by the integration of these di= verse areas.

CICM has been held annually as a = joint meeting since 2008, co-locating
related conferences and= workshops to advance work in these
subjects. Previous meetin= gs have been held in Birmingham (UK 2008),
Grand Bend (Canada= 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (= Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014).
<= br class=3D"">This is a (short version of the) call for papers for CICM 201= 5, which
will be held in Washington, D.C., 13-17 July 2015.
The full version of the CFP is available from t= he conference web page at
http://cicm-conference.org/2015/cicm.php
***********************************************= ***********************
Invited Speakers:
*****= *****************************************************************

*  Leonardo de Moura, https://leodemoura.github.io/
  "Formalizing mathematics using the Lean Theorem Prover"  (http://leanprover.github.io/)
*  Tobias Nipkow,&n= bsp;http://www21.in.= tum.de/~nipkow/
  "Analyzing the Archive of For= mal Proofs"
*  Jim Pitman, http://www.stat.berkeley.edu/~pitman/<= /a>
*  Richard Zanibbi, http://www.cs.rit.edu/~rlaz/
&nb= sp; "Math Search for the Masses: Multimodal Search 
   Interfaces and Appearance-Based Retrieval"

***********************************************************= ***********
The principal tracks of the conference will be:**************************************************************= ********

* Calculemus (Symbolic Computation an= d Mechanised Reasoning)
 Chair: Jacques Carette
* DML (Digital Mathematical Libraries)
 Chair: Vol= ker Sorge
* MKM (Mathematical Knowledge Management)
 Chair: Cezary Kaliszyk
* Systems and Data
 Chair: Florian Rabe
* Doctoral Programme
 Chair: Umair Siddique

Publicity c= hair is Serge Autexier. The local arrangements will be
coordi= nated by the Local Arrangements Chairs, Bruce R. Miller
(Nati= onal Institute of Standards and Technology, USA) and Abdou
Yo= ussef (The George Washington University, Washington, D.C.), and the
overall programme will be organized by the General Programme Chair,<= br class=3D"">Manfred Kerber (U. Birmingham, UK).

As in previous years, we will have co-located workshops. Currentlyplanned are:

*  Formal Mathem= atics for Mathematicians
*  Theorem proving components f= or Educational software (ThEdu'15)
*  MathUI

Furthermore we will have a doctoral programme to mentor d= octoral
students giving presentations and a tutorial on the g= eneric proof
assistant Isabelle. We also solicit for project = descriptions, surveys,
and work-in-progress papers.

******************************************************= ****************
Important Dates
**************= ********************************************************

Conference submissions:
Abstract submission deadli= ne:      16 February 2015
Submission= deadline:           &nbs= p;   23 February 2015
Reviews sent to authors:=            6 April =    2015
Rebuttals due:     = ;            &n= bsp;    9 April    2015
No= tification of acceptance:        13 Apri= l    2015
Camera ready copies due:   = ;        27 April    = ;2015
Conference:        &= nbsp;           &nbs= p;13-17 July     2015


Work-in-progress and Doctoral Programme submissions:
Submission deadline:
(Doctoral: Abstract+CV)   &= nbsp;         4 May  &nbs= p;   2015
Notification of acceptance:  &n= bsp;     25 May      2015=
Camera ready copies due:       = ;     1 June     2015


More detailed information, e.g. on subm= ission via EasyChair 
and the Springer LNAI format, can = be found on
http://cicm-conference.org/2015/cicm.php
<= div apple-content-edited=3D"true" class=3D"">


= --Apple-Mail=_E58D4AB7-ADAA-43C5-8C7F-B8F7F50E8761--