Hi, I would like to invite all of you to submit a paper to the Conference on Intelligent Computer Mathematics, and particularly its Systems & Data track (Washington DC, July 13-17).
This track is very inclusive. It aims at an exchange of ideas between developers and users in any area related to computer-mediated mathematics. Any system or data related to mathematics is in scope. It is an ideal forum to publish digital resources whose values cannot be represented by a paper alone, which tend to be hard to publish in conferences or journals. The demands are minimal: at most 5 pages, as well as online availability. There's no cap on accepted papers - everything the PC reviews positively will be accepted. Submitting to this track can provide an occasion and an incentive to do some documentation work has to be done sooner or later anyway. Systems can be for example: - stand-alone systems - plugins, libraries, or extensions of existing systems - integrations of existing systems. Data can be for example: - formalizations - harvests or new processing of existing data - case studies, test cases, or benchmark suites for systems. You can find more details here: http://www.cicm-conference.org/2015/cicm.php?event=sysproj&menu=general The abstract submission deadline is February 16 2015. Paul Dehaye Paul-Olivier Dehaye SNF Assistant Professor of Mathematics University of Zurich http://user.math.uzh.ch/dehaye/contact_info.txt -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
