[Hol-info] CALL FOR ABSTRACTS: ICMS Session on Composable Mathematical Software

[Florian R. <flo...@gm...>]

     CALL FOR ABSTRACTS -- DEADLINE APRIL 14 2018
     Session on Composable mathematical software

   at the

   International Congress on Mathematical Software - ICMS 2018 -

   University of Notre Dame, 24-27 July 2018
     We invite submissions of short abstracts (deadline: APRIL 14) and extended abstracts (deadline: APRIL 21) for our session
   "Towards Composable Mathematical Software".
   We welcome submissions about work in progress, theoretical results,
   experimental results, and software demos.

   Accepted short abstracts will be presented at the congress.
   Accepted extended abstracts will additionally appear in the conference proceedings.
     If you would like to submit an abstract, please follow the guidelines at
   http://icms-conference.org/2018/submission-guidelines/. If you have any questions
   please contact the session organisers by email.
  
   Session description:

   There is a wealth of mathematical software available today, most of which are
   free and open-source, but very specialised: for example nauty for graph
   isomorphism, Singular for polynomials, Pari for number theory. Additionally
   there are databases of objects like the OEIS, or the Small Group Library.
     In contemporary mathematics research, we use and combine these specialised
   tools, which requires domain-specific knowledge, data access and conversion,
   and low-level programming for interfacing between them.

   This is tedious, error-prone, and does not scale: Addressing the demand for
   better composability there are huge software packages like SageMath, data
   description languages like OpenMath, and RPC mechanisms like SCSCP.

   The aim of this session is to provide a forum for developers and users of
   mathematical software with an interest in composablity and interoperability of,
   and knowledge and data exchange between systems, to share experiences, solutions,
   and a vision for the future.
  

   Organizers:

    * Markus Pfeiffer, St. Andrews University, mar...@st...
    * Florian Rabe, FAU Erlangen-Nürnberg, flo...@fa...
    * Nicolas Thiery, LRI Paris, Nic...@u-...