Florian CALL FOR ABSTRACTS -- DEADLINE APRIL 14 2018 CALL FOR EXTENDED ABSTRACTS -- DEADLINE APRIL 21 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, [email protected] * Florian Rabe, FAU Erlangen-Nürnberg, [email protected] * Nicolas Thiery, LRI Paris, [email protected]
_______________________________________________ Forum mailing list [email protected] https://mail.gap-system.org/mailman/listinfo/forum
