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

                         CALL FOR PAPERS 

                           PASCO'94

                   First International Symposium
 
                   Parallel Symbolic Computation

               September 26 -- 28, 1994 Linz - Austria

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

The First International Symposium on Parallel Symbolic Computation 
(PASCO'94) will be devoted communicating significant developments 
in all the areas pertinent to  ``Parallel Symbolic Computation''.  


Motivation 
---------- 
The interplay between parallelism and symbolic computation poses 
inspiring scientific challenges, which deserve much focused attention.  
However, there has not yet been a dedicated forum, and this symposium 
addresses the need.

It is also expected that further progress can be made through the
interaction between parallel symbolic algorithm designers and parallel
high-level language designers.  This symposium is intended to provide
a framework for establishing this fruitful dialogue.


Sponsors
--------
      ACCLAIM     European Union ESPRIT Basic Research Action 
      CEI-PACT    Central European Initiative on Parallel Computation
      BMWF        Austrian Ministry of Science
      FWF         Austrian National Science Foundation
      ACPC        Austrian Center for Parallel Computation
      RISC        Research Institute for Symbolic Computation, Austria
        


Scope 
----- 
The scope includes but is not limited to algorithms, languages,
software systems and application in any area of parallel symbolic
computation such as:

      *  Parallel Computer Algebra
      *  Parallel Automated Deduction
      *  Parallel Constraint/Logic Languages
      *  Parallel Functional Languages

where parallelism is interpreted broadly to include concurrent,
distributive, cooperative schemes, etc.



Scientific Program
------------------
The program will consist of invited lectures and contributed papers 
selected from the submissions. Software demonstrations will be scheduled 
on request. A panel discussion session will be also part of the program.



Publication
-----------                          
      * Proceedings:  Will be made available at the meeting
                      by an international publisher.
      * Journal:      Several high quality papers will appear 
                      as a special issue of the Journal of Symbolic 
                      Computation (JSC),  that is planned to appear 
                      in early  1995.



Invited speakers
----------------
      Kevin Hammond (UK)           on Parallel Functional Languages
      Claude Kirchner (France)     on Parallel Automated Deduction  
      Gert Smolka (Germany)        on Parallel Constraint/Logic Languages
      Paul Wang (USA)              on Parallel Computer Algebra
      


Program Committee
-----------------
      A. Aiba, (Japan)
      L. Augustsson, (Sweden)                 
      M. P. Bonacina, (USA) 
      B. Char, (USA)
      J. Della Dora, (France) 
      J. Fitch, (UK)                          
      B. Fronhoefer, (Germany)
      K. Hammond, (UK)                        
      S. Haridi, (Sweden) 
      J. Hsiang, (Taiwan)
      J. Johnson, (USA)   
      H. Kredel, (Germany)                    
      H. Kuchen, (Germany)     
      W. Kuechlin, (Germany)
      E. Lusk, (USA)  
      R. Maeder, (Switzerland)                
      C. Palamidessi, (Italy)
      J. L. Roch, (France) 
      V. Saraswat, (USA)                      
      D. Saunders, (USA)
      G. Smolka, (Germany)                    
      P. Van Hentenryck, (USA) 
      P. Viry, (Japan)                        
      M. Wallace, (Germany)
      P. Wang,  (USA)	
      S. Watt, (USA)                          
      K. Yelick, (USA)  
      R. Zippel, (USA) 



Program Committee 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: hhong@risc.uni-linz.ac.at



Symposium Chair
---------------
      Bruno  Buchberger
      RISC-Linz,  Research Institute
      for Symbolic Computation
      Johannes Kepler University
      A-4040 Linz, Austria/Europe
      
      Phone: +43 (7236) 3231-41
      Fax:   +43 (7236) 3231-30
      email: buchberg@risc.uni-linz.ac.at



Local Organization
------------------
      RISC-Linz, Austria
      Olga Caprotti
      Andreas Neubacher
      Wolfgang Schreiner

      email: pasco94@risc.uni-linz.ac.at 
      
      

Important Deadlines
-------------------
      Submission:    July   1,  1994 
      Notification:  August 1,  1994 
      Camera-ready:  August 31, 1994 



Submission Guideline
--------------------
      The first page must include: 
          * the title, 
          * the authors' addresses, 
          * the abstract 
          * a list of keywords.

      The introduction must consist of a brief and intuitive description of:
          * the problem that is tackled in the paper
          * the motivation and importance
          * the method used in the paper
          * the performance or the result
          * the related works and the originality claim

      Submission must be:
          * in English 
          * at most 10 pages long, using LaTeX format in "pasco.sty" style
            available from the anonymous-ftp site: 

               ftp.risc.uni-linz.ac.at      /pub/pasco94/

          * sent in uuencoded-compressed Postscript or dvi file, 
            created in Unix by:

                 cat paper.dvi | compress | uuencode paper.dvi.Z > paper.uue

          * via e-mail to the Program Committee Chair at:  

                 pasco94@risc.uni-linz.ac.at



Further Information
-------------------
For further information, or technical assistance 
in preparing submissions, contact

      email: pasco94@risc.uni-linz.ac.at