[om-a] First Call: International Conference on Polynomial System Solving
Jean-Charles FAUGERE
Jean-Charles.Faugere at lip6.fr
Fri Jul 9 18:45:42 CEST 2004
First Call for Participation
International Conference on Polynomial System Solving
November 24-25-26, 2004
Université Pierre et Marie Curie Paris, France
in honor of Daniel Lazard
Daniel Lazard, Professor of Computer Science at Université Pierre et Marie
Curie, will retire at the end of the year 2004. This conference will be held in
honor of his many major contributions to computer algebra, polynomial system
solving, and applications. The program will consist of invited talks and
contributed presentations.
Scope
Since the meeting is held in honor of Lazard's achievements, we solicit research
papers on topics related to Lazard's works and interests, for instance:
Algebraic resolution of polynomial systems
Gröbner bases, triangular sets, algebraic representation of solutions,
specifications of polynomial system solvers, practical and theoretical
improvements, efficient implementations, complexity, effective differential
algebra, ...
Quantifier elimination and real solutions of polynomial systems
Algorithms for studying real solutions of polynomial systems in many senses
(number, topological invariants, ...), improvements of cylindrical algebraic
decomposition (CAD).
Effective Galois theory
Techniques improving the resolution of polynomial systems using symmetries,
computations in the field of effective Galois theory, ...
Applications
Resolution of polynomial systems arising in applications using symbolic/numeric
techniques: robotics, signal theory, cryptography, statistics, ...
Publication
Accepted contributed papers (extended abstracts) will be published in the
proceedings that will be available at the meeting. After the meeting the
extended versions of the contributed papers will be published in a special issue
of the Journal of Symbolic Computation after a standard journal refereeing
procedure.
Invited Speakers
(to be completed)
B. Buchberger(Research Institute for Symbolic Computation, Austria)
J. Calmet(Universität Karlsruhe, Germany)
J. Davenport(Bath University, UK)
M.F. Roy(Université de Rennes 1, France)
C. Traverso(Università di Pisa, Italy)
Program Committee
A. Valibouze, Chair(Université Pierre et Marie Curie, France)
D. Augot(INRIA Rocquencourt, France)
C. Brown(United States Naval Academy, USA)
X.-S. Gao(Academy of Mathematics and System Sciences, China)
H. Hong(North Carolina State University, USA)
E. Hubert(INRIA Sophia-Antipolis, France)
I. Kotsireas(Wilfrid Laurier University, Canada)
B. Mourrain(INRIA Sophia-Antipolis, France)
E. Schost(Ecole Polytechnique, France)
A. Steel(University of Sydney, Australia)
B. Sturmfels(University of California at Berkeley, USA)
K. Yokoyama(Fujitsu Laboratories, Japan)
Local Organizers
The conference is organized by the Computer Algebra Team (CALFOR) of LIP6
(Université Pierre et Marie Curie) and the SALSA INRIA project.
Sponsors
INRIA Rocquencourt, France
LIP6, Université Paris et Marie Curie, France
Wilfrid Laurier University, Canada
RAAG (Real Algebraic and Analytic Geometry) European Network
SMF (Société Mathématique de France)
Important Dates and Instructions for authors
Each contributor must submit a title and a brief abstract not exceeding 3 pages
formatted by using LaTeX (with the templates available at
http://www-calfor.lip6.fr/ICPSS). The contribution should be sent to
icpss at calfor.lip6.fr.
Deadline for submissions:September 15, 2004
Other Information
The conference will be held at Université Paris et Marie Curie from November 24
to 26, 2004. More information is available at:
http://www-calfor.lip6.fr/ICPSS
This document was translated from LATEX by HEVEA.
--
om-announce at openmath.org - public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems
More information about the Om-announce
mailing list