ICMS 2020 - Call for Session Proposals

The 7th International Congress on Mathematical Software will consist of several topical sessions. Each session will provide an overview of the challenges, achievements and progress in a subfield of mathematical software research, development and use. The program committee will consist of the session organizers. We solicit session proposals.

For inspiration, have a look at the sessions of past ICMS: ICMS 2018, ICMS 2016,

You are invited to propose a session if you

• are active in mathematical software research, development and use,
• want to serve the research community by nurturing and facilitating mathematical software work in your area, and
• would like to focus only on the scientific matters in the organization (not on other matters such as administrative, logistic, etc).

How to propose a session

1. Prepare a session proposal with the following contents.

   • title of the session
   • name(s) of the organizer(s), with contact addresses and emails
   • aim and scope of the session (at most 150 words)

2. Submit it

   • to one of the program chairs: Anna Bigatti,
     Folkmar Bornemann, Jacques Carette
   • or to the General Chair: Michael Joswig
   • at latest by 02 December 2019.

3. The decision on the proposal will be made

   • by the program chair, the general chair and the advisory committee
   • until 16 December 2019

How to organize a session

• Maintain a session web page (see template in html-format or markdown-format).
• Send a call for short abstracts (about 200 words) to the potential speakers in the topic area of the session.
• Review the submitted abstracts and make decision on their acceptance, as soon as each one arrives.
• Post accepted short abstracts on the session web page.
• Complete the process by 24 February 2020
• During the meeting: manage the session, and arrange for chair(s) for each time slot.

Extended abstracts for the proceedings may be submitted via EasyChair (until 16 March 2020; details TBA) by those who were accepted as speakers in any session. Session organisers can have papers themselves (acceptance agreed by an appropriate programme chair).

Format of a session

• A session will consist of one or more time slots.
• A time slot will consist of 2 talks (of 25+5 minutes)
• We encourage that each session begins with one general overview talk (may be given by a session organizer).

“Talks” may also include software presentations. Demos aiming at a wide audience should submitted to the Software Fair.

Possible topics for sessions

• These are not exclusive. You can propose any mathematical topic.
• These are not required titles of sessions. You can propose any title.

• These are provided as initial hint for topics and titles.

• logic

  • theorem proving
  • formalization of mathematics
  • logic minimization
  • quantifier elimination
  • ….

• number theory

  • diophantine equations
  • algebraic numbers theory
  • analytic number theory
  • elliptic curves
  • ….

• combinatorics

  • partition
  • graph
  • matroid
  • finite summation, difference equations
  • arithmetic combinatorics
  • algebraic combinatorics
  • analytic combinatorics
  • topological combinatorics
  • …

• algebra

  • group theory
  • linear algebra
  • polynomial algebra
  • differential algebra
  • homological algebra
  • non-commutative algebra
  • tensor algebra
  • ….

• analysis

  • numerical analysis
  • functional analysis
  • differential/integral equations
  • special functions
  • ….

• geometry

  • computational geometry
  • polyhedral geometry
  • algebraic geometry
  • differential geometry
  • algebraic topology
  • differential topology
  • …

• inter-disciplinary

  • statistics
  • optimization
  • cryptography
  • coding
  • scientific computation
  • engineering computation
  • mathematical document processing
  • education
  • …

• mathematical problem solving platform

  • AI, machine learning and big-data methods in mathematics
  • computer understanding and natural language processing of mathematics
  • mathematical theory exploration
  • mathematical knowledge management
  • user interface
  • programming language
  • kernel design
  • …