Call For Session Proposal

The 4th 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.

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 the program chair (Hoon Hong)
    • by email
    • at latest by Jan 31 2014.
  3. The decision on the proposal will be made
    • by the program chair, the general chair and the advisory committee
    • within a week of the submission.

How to organize a session

  • Maintain a session web page (a template will be provided).
  • Send a call for abstracts to the potential speakers in the topic area of the session (a template will be provided).
  • Review the submitted abstracts and make decision on their acceptance, as soon as each one arrives.
  • Complete the process by May 15 2014.
  • During the meeting, chair the session.

Format of a session

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

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
    • 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
    • mathematical theory exploration
    • mathematical knowledge management
    • user interface
    • programming language
    • kernel design
    • ...


Return to the top page