From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 523C97F102 for ; Wed, 17 Feb 2016 09:07:52 +0100 (CET) IronPort-PHdr: 9a23:y+8PxRLFADFFzAJPUdmcpTZWNBhigK39O0sv0rFitYgULv/xwZ3uMQTl6Ol3ixeRBMOAu60C17ad6viwEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35vxi7z5osWDKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDxdqE8CLhZFygOMmYv5cStuwOQYxGI4y4HX38Zn1xBHhTI/BD3RL/9vCj78OZwkGmhMNf5QPgdRCiv/6ZmUl672288Kzcl/TSP2YRLh6VBrUf5qg== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=serge.autexier@dfki.de; spf=None smtp.mailfrom=serge.autexier@dfki.de; spf=None smtp.helo=postmaster@sea-mail.dfki.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of serge.autexier@dfki.de) identity=pra; client-ip=134.96.191.185; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="serge.autexier@dfki.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of serge.autexier@dfki.de) identity=mailfrom; client-ip=134.96.191.185; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="serge.autexier@dfki.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sea-mail.dfki.de) identity=helo; client-ip=134.96.191.185; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="postmaster@sea-mail.dfki.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AdAQAzKcRWmbm/YIZEGoQMbQGqPQGNZ4QIIYI8gzCBPzwQAQEBAQEBAQEQAQEBAQEICwkJIS6CLYI4BkMCETUCBRoHAhEdXgGHfw4sq16PHgEBAQEGAQEBAQEBGnuIVYIzgkQlgxYrgQ8Fh1WPLo1QhFaEUIVWhj+ICDeCOgQcgTVpAYcogTgBAQE X-IPAS-Result: A0AdAQAzKcRWmbm/YIZEGoQMbQGqPQGNZ4QIIYI8gzCBPzwQAQEBAQEBAQEQAQEBAQEICwkJIS6CLYI4BkMCETUCBRoHAhEdXgGHfw4sq16PHgEBAQEGAQEBAQEBGnuIVYIzgkQlgxYrgQ8Fh1WPLo1QhFaEUIVWhj+ICDeCOgQcgTVpAYcogTgBAQE X-IronPort-AV: E=Sophos;i="5.22,459,1449529200"; d="scan'208";a="203443550" Received: from sea-mail.dfki.de ([134.96.191.185]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 17 Feb 2016 09:07:51 +0100 Received: from sea-mail.dfki.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id CDDD69DD26_6C42A56B for ; Wed, 17 Feb 2016 08:07:50 +0000 (GMT) Received: from mail.dfki.de (lnv-104.sb.dfki.de [134.96.191.146]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client did not present a certificate) by sea-mail.dfki.de (Sophos Email Appliance) with ESMTPS id 6EA659DD3D_6C42A56F for ; Wed, 17 Feb 2016 08:07:50 +0000 (GMT) Received: from mbp-autexier.informatik.uni-bremen.de (mbp-autexier.informatik.uni-bremen.de [134.102.204.169]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.dfki.de (Postfix) with ESMTPSA id 498EE311B3; Wed, 17 Feb 2016 09:07:50 +0100 (CET) Received: by mbp-autexier.informatik.uni-bremen.de (Postfix, from userid 501) id 2098D3728E68; Wed, 17 Feb 2016 09:07:50 +0100 (CET) To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Cc: serge.autexier@dfki.de Message-Id: <20160217080750.2098D3728E68@mbp-autexier.informatik.uni-bremen.de> Date: Wed, 17 Feb 2016 09:07:50 +0100 (CET) From: serge.autexier@dfki.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] 2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016 Second Call for Papers & Updates 9th Conference on Intelligent Computer Mathematics - CICM 2016 - July 25-29, 2016 University of Bialystok, Poland http://www.cicm-conference.org/2016 +----------------------------- NEWS ---------------------------------+ | The new abstract submission deadline 9. March 2016 and all other | | deadlines adjusted accordingly | | CICM will host 4 workshops (Formal Mathematics for Mathematicians, | | Mathematical User Interfaces, Openmath, and Theorem Provers | | Components for Educational Software) and 2 tutorials | +--------------------------------------------------------------------+ 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 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), Coimbra (Portugal 2014), and Washington DC (USA 2015). This is a call for papers for CICM 2016, which will be held in Bialystok, Poland, July 25-29, 2016. The principal tracks of the conference will be: * Track: Calculemus (chair: Leonardo de Moura) * Track: Digital Mathematical Libraries (DML) (chair: Frank Tompa) * Track: Mathematical Knowledge Management (MKM) (chair: Bruce Miller) * Track: Systems & Data (chair: Moa Johansson) * Track: Doctoral Programme (chair: TBD) Like in previous years, project descriptions are welcomed as well. The overall programme is organized by the General Program Chair Michael Kohlhase. The workshop and publicity chair is Serge Autexier. The local arrangements will be coordinated by Adam Naumowicz. We plan to have proceedings of the conference as in previous years with Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). *New Important Dates* Conference submissions - Abstract submission deadline: 9. March 2016 - Submission deadline: 16. March 2016 - Reviews sent to authors: 20. April 2016 - Rebuttals due: 23. April 2016 - Notification of acceptance: 5. May 2016 - Camera ready copies due: 20. May 2016 - Conference: 25.-29. July 2016 Work-in-progress and Doctoral Programme - Submission deadline (Doctoral: Abstract+CV): 10. May 2016 - Notification of acceptance: 29. May 2016 - Camera ready copies due: 29. June 2016 More details on the conference are available from http://www.cicm-conference.org/2016/cicm.php?menu=cfp