Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [Coq-Club] Call for Sessions, ICMS 2018


view this post on Zulip Email Gateway (Aug 22 2022 at 16:36):

From: Josef Urban <josef.urban@gmail.com>
6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE

University of 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@jku.at>

George Labahn <glabahn@uwaterloo.ca>

Josef Urban <josef.urban@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

...


Last updated: Mar 29 2024 at 12:28 UTC