From: Andreas Neubacher
Subject: CFP: PASCO'97 -- 2nd ACM Symposium on Parallel Symbolic Computation
Date: 
Message-ID: <584jp6$fju@alijku04.edvz.uni-linz.ac.at>
Dear colleagues,

we think that you might be interested in either contributing a paper to or
in attending the second international ACM symposium on

		 Parallel Symbolic Computation (PASCO'97)

			 July 20 to July 22, 1997

		     Aston Wailea Resort, Maui, Hawaii

		     (near Maui Super Computer Center)
 
The conference is sponsored by ACM and the proceedings will be published by
the ACM press.

Many execellent papers chosen from the proceedings of the first symposium
have been also published as

    a special issue of Journal of Symbolic Computation 

(http://www.risc.uni-linz.ac.at/people/hhong/jsc-pasco/main.html).

This year, the conference will take place in federation with ISSAC'97 and
IMACS-ACA'97.

Please, take a look at our CFP and visit our site on the WWW for more
information. If you know of other interested researchers in the area of
parallel symbolic computation, please pass on the news.


					Best regards from the
					PASCO'97 program committee.

===========================================================================

                             CALL FOR PAPERS

                                 PASCO'97

                       Second International Symposium

                       Parallel Symbolic Computation

                            July 20 - 22, 1997

                  Aston Wailea Resort, Maui, Hawaii, USA

===========================================================================

  The Second International Symposium on Parallel Symbolic Computation
  (PASCO'97) seeks papers presenting original research on all aspects
  of high performance symbolic computation. High performance is meant
  as pertaining to the solution of large problems by means of parallel,
  distributed, multi-processor, or networked computers. Typical,
  but not exclusive topics of interest include: 
  
    - high performance parallel algebraic computation, 
  
    - high performance combined symbolic/numeric methods
  
    - high performance combinatorial and discrete methods,
  
    - high preformance automatic theorem proving,
  
    - design of high performance symbolic, functional, and
      constraint/logic languages and systems,
  
    - symbolic solution of applications problems in mathematics,
      science, and engineering by high performance means.


Sponsors
--------
      SIGSAM      ACM SIG Symbolic Manipulation
      SIGNUM      ACM SIG Numerical Mathematics
        

Meeting Format
--------------
      PASCO'97 will be held in federation with ISSAC'97
      (the International Symposium on Symbolic and
      Algebraic Computation, July 20-23 at the same
      location). There will be plenary speakers addressing
      the joint audience, and the exhibitions and systems
      demonstration area will be shared among the
      conferences. Papers to ISSAC'97 and PASCO'97 are
      submitted normally to the respective PC Chairs. For
      electronic submission to PASCO'97, see below. The
      final version of accepted papers will be published in
      Proceedings by ACM Press and will be available at
      the meeting. Several high quality papers from the
      first conference (PASCO'94) were published in a
      JSC special issue.
      Authors of accepted papers are expected to present
      their work at the meeting. Persons registering for
      PASCO'97 can attend ISSAC'97 talks. 



Program Committee
-----------------
      Gene Copperman       Northeastern University
      Wayne Eberly         University of Calgary
      Tetsuro Fujise       Mitsubishi Research Inc.
      Kevin Hammond        University of St. Andrews
      Jieh Hsiang          National Taiwan University
      Jean-Marie Jacquet   FUNDP Namur
      Sverker Janson       Swedish Institute of Computer Science
      Herbert Kuchen       RWTH Aachen
      Wolgang Kuechlin     Universitaet Tuebingen
      Mohamed O. Rayes     Texas Instruments
      Jean-Louis Roch      LMC/IMAG Grenoble
      Stan Steinberg       University of New Mexico



Program Committee Chair                
-----------------------                
      Erich Kaltofen
      Mathematics Department
      North Carolina State University
      Raleigh, N.C. 27695-8205 

      Phone: +1 (919) 515 8785
      Fax:   +1 (919) 515 3798
      email: ········@eos.ncsu.edu


Symposium Chair
---------------
      Hoon Hong                       
      RISC-Linz, Research Institute   
      for Symbolic Computation        
      Johannes Kepler University      
      A-4040 Linz, Austria/Europe

      Phone: +43 (7236) 3231-48
      Fax:   +43 (7236) 3231-30
      email: ·········@risc.uni-linz.ac.at


Local Organization
------------------
      Stan Steinberg
      Department of Math. and Statistics
      University of New Mexico

      email: ······@math.unm.edu
      

Important Deadlines
-------------------
      Submission:    January 15, 1997
      Notification:  March, 1997
      Camera-ready:  May, 1997



Submission Guideline
--------------------
      Papers must be prepared in ACM Proceedings format.
      The LaTeX style files

      - acmconf.sty
      - acm.bst

      can be downloaded from our web page, or by
      anonymous FTP from

        ftp.mcs.kent.edu  (directory  /pub/issac97).


      Instructions for electronic submission can be
      obtained by sending electronic mail to

        ·······@csc.ncsu.edu

      with  HELP  as subject line.

      Authors unable to submit electronically are requested
      to send 20 copies (printed double-sided if possible)
      of their paper and a cover letter to the PC chair.


Further Information
-------------------

      Visit our web site at:

        http://www.csc.ncsu.edu/pasco97

===========================================================================