<div dir="ltr"><div>Short: Please consider submitting to CICM 2017 by mid March.</div>  <a href="http://www.cicm-conference.org/2017/cicm.php?event=&menu=dates">http://www.cicm-conference.org/2017/cicm.php?event=&menu=dates</a><div><br></div><div>Details:</div><div><br></div><div><div>  Call for Papers</div><div>                                                                                 </div><div>         10th Conference on Intelligent Computer Mathematics</div><div>      <span class="gmail-Apple-tab-span" style="white-space:pre">   </span>                    - CICM 2017 - </div><div>                           July 17-21, 2017</div><div>                  University of Edinburgh, Scotland</div><div>                 <a href="http://www.cicm-conference.org/2017">http://www.cicm-conference.org/2017</a></div><div><br></div><div>----------------------------------------------------------------------</div><div><br></div><div>Digital and  computational solutions are becoming  the prevalent means</div><div>for the generation, communication, processing, storage and curation of</div><div>mathematical  information.  Separate  communities  have  developed  to</div><div>investigate  and build  computer based  systems for  computer algebra,</div><div>automated deduction, and mathematical publishing as well as novel user</div><div>interfaces. While all of these systems excel in their own right, their</div><div>integration  can   lead  to   synergies  offering   significant  added</div><div>value.  The  Conference  on Intelligent  Computer  Mathematics  (CICM)</div><div>offers a  venue for discussing  and developing solutions to  the great</div><div>challenges posed by the integration of these diverse areas.</div><div><br></div><div>CICM has been held annually as a joint meeting since 2008, co-locating</div><div>related   conferences  and   workshops  to   advance  work   in  these</div><div>subjects. Previous  meetings have been  held in Birmingham  (UK 2008),</div><div>Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),</div><div>Bremen (Germany  2012), Bath (UK  2013), Coimbra (Portugal  2014), </div><div>Washington DC (USA 2015) and Bialystok (Poland 2016).</div><div><br></div><div>This  is a  call for  papers  for CICM  2017,  which will  be held  in</div><div>Edinburgh, Scotland, July 17-21, 2017. CICM 2017 also invites work-in-</div><div>progress papers.</div><div><br></div><div>The principal tracks of the conference will be:</div><div><br></div><div>* Track: Calculemus (chair: Matthew England)</div><div>  All topics in the intersection of computer algebra systems and</div><div>  automated reasoning systems including:</div><div>  - Automated theorem proving in computer algebra systems.</div><div>  - Computer algebra and symbolic computation in theorem proving</div><div>    systems.</div><div>  - Theory, design and implementation of interdisciplinary systems for</div><div>    computer mathematics.</div><div>  - Case studies and applications that involve a mix of computation</div><div>    and reasoning.</div><div>  - Case studies in formalization of mathematical theories that include</div><div>    non-trivial computations.</div><div>  - Representation of mathematics in computer algebra systems.</div><div>  - Input languages, programming languages, types and constraint</div><div>    languages, and modeling languages for mathematical assistant systems.</div><div><br></div><div>* Track: Digital Mathematical Libraries (DML) (chair: Olaf Teschke)</div><div>  All topics related to the  formation of a Global Digital Mathematics</div><div>  Library (GDML) network, ranging from experiences from existing DMLs,</div><div>  policies and standards facilitating interoperability, to development</div><div>  and   integration   of   new  techniques   for   content   creation,</div><div>  preservation, enhancement and retrieval of the corpus, including:</div><div>  - DML creation and maintenance (content aggregation, validation,</div><div>    curation, enhancement).</div><div>  - DML architecture and representations (organization, workflows,</div><div>    policies, standards).</div><div>  - DML access and applications (retrieval, interfaces, interoperability).</div><div>  - DML collections and systems (experiences from various existing DMLs).</div><div><br></div><div>* Track: Mathematical Knowledge Management (MKM) (chair: Florian Rabe)</div><div>  - Knowledge representation using, e.g., formal logics, computational</div><div>    systems, narrative document formats, or databases</div><div>  - Solutions to create, store, disseminate, discover, or manipulate</div><div>    mathematical knowledge</div><div>  - Corpora of knowledge inlcuding documents, theories, theorems, proofs,</div><div>    models, algorithms, exercises, or examples</div><div>  - Methods, systems, frameworks, case studies, challenges, benchmarks,</div><div>    or applications for mathematical knowledge</div><div>  - Comparisons, evaluations, or integrations of MKM solutions</div><div><br></div><div>* Track: Systems & Projects (chair: Osman Hasan)</div><div>  - Systems: Stand-alone; plugins, libraries, or extensions of</div><div>    existing systems; or integrations of existing systems</div><div>  - Data: Formalizations; harvests or new processing of existing data;</div><div>    or case studies, test cases, or benchmark suites for systems</div><div>  - Projects: finished, ongoing or new</div><div>  - Survey papers</div><div><br></div><div>* Track: Doctoral Programme (chair: TBD)</div><div><br></div><div>The overall programme is organized by the General Program Chair Herman</div><div>Geuvers.  The  local  arrangements  will  be  coordinated  by  Jacques</div><div>Fleuriot.  The publicity chair is Serge Autexier.</div><div><br></div><div>We plan  to have proceedings  of the  conference as in  previous years</div><div>with  Springer Verlag  as  a  volume in  Lecture  Notes in  Artificial</div><div>Intelligence (LNAI).</div><div><br></div><div>*Important Dates* </div><div><br></div><div> Conference submissions</div><div>  - Abstract submission deadline:  15. March 2017</div><div>  - Submission deadline:<span class="gmail-Apple-tab-span" style="white-space:pre">   </span>   22. March 2017</div><div>  - Reviews sent to authors:<span class="gmail-Apple-tab-span" style="white-space:pre">        </span>   26. April 2017</div><div>  - Rebuttals due:  <span class="gmail-Apple-tab-span" style="white-space:pre">               </span>   30. April 2017</div><div>  - Notification of acceptance:<span class="gmail-Apple-tab-span" style="white-space:pre">     </span>   12. May 2017</div><div>  - Camera ready copies due:<span class="gmail-Apple-tab-span" style="white-space:pre">  </span>   26. May 2017</div><div>  - Conference:  <span class="gmail-Apple-tab-span" style="white-space:pre">    </span>      <span class="gmail-Apple-tab-span" style="white-space:pre">     </span>   17.-21. July 2017</div><div><br></div><div> Workshop Proposals</div><div>  - Submission deadline:           10. February 2017</div><div>  - Notification of acceptance:    15. February 2017</div><div><br></div><div>  More details on the conference are available from</div><div><br></div><div>       <a href="http://www.cicm-conference.org/2017">http://www.cicm-conference.org/2017</a></div><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>Patrik Jansson, Professor of Computer Science, <br></div><div><span style="font-size:12.8px">Department of Computer Science and Engineering,</span><br></div><div>Chalmers U. of Tech. & U. of Gothenburg</div><a href="https://www.chalmers.se/cse/EN/people/jansson-patrik" target="_blank">https://www.chalmers.se/cse/EN/people/jansson-patrik</a><br><div><br></div></div></div></div></div>
</div></div>