<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>