---------- Forwarded message ----------
From: James Wan <jim_g_...@hotmail.com>
Date: 11 March 2014 11:19
Subject: Conference announcement: ICMS 2014
To: nmbrt...@listserv.nodak.edu


Dear number theorists,



Please forward this to any potentially interested
colleagues and students!



The 4th International
Congress on Mathematical Software



A satellite conference of ICM2014

August 5-9 2014, Seoul, Korea

http://voronoi.hanyang.ac.kr/icms2014/



Scope: the
appearance of mathematical software is one of the most important new
developments in mathematics, and this phenomenon should be studied as a
coherent whole. We hope this conference can serve as the main forum for
mathematicians, scientists and programmers who are interested in mathematical
software. Each session will provide an overview of the challenges and progress
in a field, and will aim to address all aspects of mathematical software, such
as functionality, design, algorithm, application, and practice.



Special Sessions:

Mathematical Theory Exploration

Computational Group Theory

Coding Theory

Computational Topology

Numerical Algebraic Geometry

Geometry

Curves and Surfaces

Quantified Reasoning

Automated Proofs by Induction

Random Walks

Groebner Bases

Triangular Decompositions of Polynomial Systems

Parametric Polynomial Systems

Web, and Mobile Interfaces for Mathematics

Mathematical Editing and Scientific Visualization



Invited speakers:

Jonathan Borwein

Bruno Buchberger

Wolfram Decker

Andrew Sommese

Lloyd Trefethen



Important dates:

Short abstract (200-500 words) submission deadline: March
31 2014

Extended abstract (2-8 pages) submission deadline: April
30 2014

For details see http://voronoi.hanyang.ac.kr/icms2014/Submission_contents.html

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to