<https://maths.dur.ac.uk/icms2024/ICMS2024.html> - Call for Session
Proposals*
The *8th 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 2020
<http://www.iaa.tu-bs.de/AppliedAlgebra/ICMS2020/ICMS2020_Sessions.html>, ICMS
2018 <https://icms-conference.org/2018/sessions>, ICMS 2016
<https://icms-conference.org/2016/sessions.html>,
*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: Kevin Buzzard
<https://www.imperial.ac.uk/people/k.buzzard>, Bettina Eick
<http://www.iaa.tu-bs.de/beick/>, Anton Leykin
<https://antonleykin.math.gatech.edu/>
- or to the General Chair: Alicia Dickenstein
<http://mate.dm.uba.ar/~alidick/>
- at latest by *17 November 2023*.
3.
The decision on the proposal will be made
- by the program chair, the general chair and the advisory committee
- by *4 December 2023.*
*How to organize a session*
- Maintain a session web page (see template in html-format
<https://icms-conference.org/2020/icms_session_2020> or markdown-format
<https://icms-conference.org/2020/icms_session_2020.txt>).
- 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 a 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 2024.
- 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 (by *16
March 2024*; 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 be 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 hints 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
- …
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
