[Date Index] [Thread Index] [Author Index]
Second Call for Papers ISSAC 91
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).