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
 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)
 Submit it
 to the program chair (Hoon Hong)
 by email
 at latest by Jan 31 2014.
 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
 noncommutative 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
 ...
 interdisciplinary
 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
 ...

