Second Call for Papers ISSAC 91
- To: mathgroup at yoda.ncsa.uiuc.edu
- Subject: Second Call for Papers ISSAC 91
- From: SMWATT at IBM.COM
- Date: Mon, 17 Dec 90 18:18:40 EST
SECOND CALL FOR PAPERS
ISSAC'91
International Symposium on
Symbolic and Algebraic Computation
July 15-17, 1991 Bonn, Germany
The Conference
--------------
ISSAC'91 is the sixteenth in a series of conferences originated in 1966.
It is now the major annual forum for the exchange of ideas and techniques
in symbolic mathematical computation.
This is a conference for the users of computer algebra as well as the
designers of algorithms and systems. It will feature original research
contributions and application reports as well as invited lectures,
tutorials and demonstrations of hardware and software.
The topics of the conference include, but are not limited to:
* Algorithms, languages and systems for symbolic and algebraic computation
* Applications in mathematics, science and engineering
* Automatic theorem proving and programming
* Computational geometry, group theory and number theory
* Interface and integration of symbolic, numeric and graphical computing
* Influence on education
Instructions for Authors
------------------------
Submissions of two forms are being sought: ``full papers'' presenting
original research in areas related to the conference (up to 10 pages)
and ``application reports'' on the use of computer algebra in
other areas (2 pages).
Authors should prepare 10 copies. Submissions are due by January 15, 1991
to either one of the Program Committee Co-chairs. All submissions will
be refereed. Authors will be notified of acceptance or rejection by
March 15, 1991. The final camera-ready version of the paper is due
by April 15, 1991 for inclusion in the proceedings which will be available
at the Conference.
Proposals for tutorials, panel discussions and demonstrations are also wanted.
Addresses for Submissions
-------------------------
Michael Pohst Stephen Watt
Department of Mathematics IBM T.J. Watson Research Center
University of Duesseldorf P.O. Box 218,
4000 Duesseldorf 1, Germany Yorktown Heights, NY 10598, USA
E-mail: pohst at dd0rud81.bitnet E-mail: smwatt at ibm.com
Conference Committee
--------------------
Conference Chair: Fritz Schwarz, St. Augustin
Conference Co-Chair: Wolfgang Lassner, Leipzig
Program Committee: Michael Pohst, Co-chair (Germany)
Stephen Watt, Co-chair (USA)
David Bayer (USA)
John Cannon (Australia)
Guy Cherry (USA)
Dominique Duval (France)
John Fitch (UK)
Joachim von zur Gathen (Canada)
Vladimir Gerdt (USSR)
Marc Giusti (France)
Malcolm MacCallum (UK)
Roman Maeder (Switzerland)
Michael Moeller (Germany)
Teo Mora (Italy)
Exhibition Chair: Knut Wolf, St. Augustin
Local Arrangements: Christine Harms, St. Augustin
Further Information
-------------------
Christine Harms, GMD,
Postfach 1240,
5205 St. Augustin 1, Germany
Telephone: 49-2241-142473
Telefax: 49-2241-142618
E-mail: gf1022 at dbngmd21.bitnet
ISSAC'91 is being organized by the Gesellschaft fuer Informatik (GI)
in Cooperation with ACM/SIGSAM, SAME and the Gesellschaft fuer Mathematik und
Datenverarbeitung mbH (GMD).