[Reliable_computing] FW: ICMS 2018 - Call for Sessions
Kreinovich, Vladik
vladik at utep.edu
Fri Jan 5 10:46:20 CST 2018
FYI
From: Matthew England
Sent: Friday, January 05, 2018 6:47 AM
Communicated on behalf of James
===============================================================================
6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE
Notre Dame, 24--27 July 2018
http://icms-conference.org/2018/
CALL FOR SESSIONS
===============================================================================
The 6th International Congress on Mathematical Software will be held from
July 24 to July 27, 2018 at the University of Notre Dame.
The General Chair is James H. Davenport and the Local Chairs are
Jonathan Hauenstein and Andrew Sommese.
The program consists 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. A list of possible topics
is given at the bottom. The program committee will consist of the session
organizers. At this time we solicit session proposals.
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
by email to one of the Program Chairs:
Manuel Kauers <manuel.kauers at jku.at<mailto:manuel.kauers at jku.at>>
George Labahn <glabahn at uwaterloo.ca<mailto:glabahn at uwaterloo.ca>>
Josef Urban <josef.urban at gmail.com<mailto:josef.urban at gmail.com>>
at latest by Jan 31, 2018.
The decision on the proposal will be made
by the program chairs, the general chair, and the advisory board
within mid-February 2018.
How to organize a session?
Maintain a session web page. Send a call for abstracts to the potential
speakers in the topic area of the session. Review the submitted abstracts
and make decision on their acceptance, preferrably on a rolling basis.
Complete the process by April 15, 2018. During the meeting, chair your
session.
Format of a session
A session will consist of one or more time slots. A time slot will consist
of about 3-4 talks. We encourage that each session begins with one general
overview talk (may be given by a session organizer). This format is meant
only as a rough frame; the organization of a session can be done in a quite
free fashion (e.g., concerning the duration of the individual
contributions). "Talks" may also include software presentations and demos.
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
...
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.louisiana.edu/pipermail/reliable_computing/attachments/20180105/c534ebda/attachment.html>
More information about the reliable_computing
mailing list