*To*: isabelle-users at cl.cam.ac.uk*Subject*: [isabelle] CICM 2011: 2nd Call for Papers, Systems & Projects Track*From*: Makarius <makarius at sketis.net>*Date*: Mon, 31 Jan 2011 11:43:11 +0100 (CET)*User-agent*: Alpine 1.10 (LNX 962 2008-03-14)

Second Call for Papers, including NEW Systems and Projects track Conference on Intelligent Computer Mathematics (CICM) Bertinoro, Forli (Italy), 18-23 July 2011 http://cicm11.cs.unibo.it Track A: Mathematical Knowledge Management (MKM) Track B: Calculemus Track C: Systems & Projects

** MKM track ** * Representations of mathematical knowledge * Repositories of formalized mathematics * Mathematical digital libraries * Diagrammatic representations * Multi-modal representations * Mathematical OCR * Mathematical search and retrieval * Deduction systems * Math assistants, tutoring and assessment systems * Authoring languages and tools * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows ** Calculemus track ** * Theorem proving in computer algebra (CAS) * Computer algebra in theorem proving (PA and ATP) * Case studies and applications that both involve computer algebra and mechanised reasoning * Representation of mathematics in computer algebra * Adding computational capabilities to PA and ATP * Formal methods requiring mixed computing and proving * Combining methods of symbolic computation and formal deduction * Mathematical computation in PA and ATP * Theory, design and implementation of interdisciplinary systems for computer mathematics * Theory exploration techniques * Input languages, programming languages, types and constraint languages, and modeling languages for mechanised mathematics systems (PA, CAS, and ATP). * Infrastructure for mathematical services

***** Submission ***** CICM seeks both formal and work-in-progress submissions.

The web page for electronic submission is: http://www.easychair.org/conferences/?conf=cicm11 <--- not 2011 ***** Important Dates ***** For formal submissions: Abstract submission: March 03, 2011 Submission deadline: March 11, 2011 Reviews sent to authors: April 07, 2011 Rebuttals due: April 14, 2011 Notification of acceptance: April 21, 2011 Camera ready copies due: May 09, 2011 For work-in-progress submissions: Abstract submission: April 30, 2011 Submission deadline: May 7, 2011 Notification of acceptance: May 30, 2011 Camera ready copies due: June 7, 2011 CICM conference: ***** Programme Committee Chairs ***** General chair: James Davenport (University of Bath) ** MKM track ** Florian Rabe (Jacobs University, Germany) Chair Laurent Bernardin (Maplesoft)

Patrick Ion (American Mathematical Society) Johan Jeuring (University of Utrecht) Fairouz Kamareddine (Heriot-Watt University) Manfred Kerber (University of Birmingham) Andrea Kohlhase (DFKI Bremen) Paul Libbrecht (University of Saarbruecken) Bruce Miller (National Institute of Science and Technology) Adam Naumowicz (University of Bialystok) Claudio Sacerdoti Coen (University of Bologna) Petr Sojka (Masaryk University) Volker Sorge (University of Birmingham) Masakazu Suzuki (Kyushu University) Enrico Tassi (INRIA) Makarius Wenzel (University of Paris-South) Freek Wiedijk (Radboud University Nijmegen) ** Calculemus track ** William Farmer (McMaster University, Canada) Chair Thorsten Altenkirch (Nottingham University) Serge Autexier (DFKI Bremen) Christoph Benzmueller (Articulate Software) Anna Bigatti (University of Genoa) Herman Geuvers (Radboud University Nijmegen) Deepak Kapur (University of New Mexico) Cezary Kaliszyk (University of Tsukuba) Assia Mahboubi (Ecole Polytechnique) Francisco-Jesus Martin-Mateos(University of Seville) Russell O'Connor (INRIA and McMaster University) Grant Passmore (University of Cambridge and University of Edinburgh) Silvio Ranise (Fondazione Bruno Kessler) Alan Sexton (University of Birmingham) Adam Strzebonski (Wolfram Research) ** Systems and Projects Tract ** Josef Urban (Radboud University Nijmegen) Chair Andrea Asperti (University of Bologna) Michael Beeson (San Jose State University) Jacques Carette (McMaster University) Michael Kohlhase (Jacobs University) Christoph Lange (Jacobs University) Piotr Rudnicki (University of Alberta) and members of the MKM and Calculemus programme committees More details are at http://cicm11.cs.unibo.it

- Previous by Date: [isabelle] Announcing Isabelle2011
- Next by Date: [isabelle] Call for Papers: THedu'11 at CADE-23
- Previous by Thread: [isabelle] Announcing Isabelle2011
- Next by Thread: [isabelle] Call for Papers: THedu'11 at CADE-23
- Cl-isabelle-users January 2011 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list