[Forwarded since this might be of interest to Haskellites. Papers
on f.p. are definitely welcome! KH]
Dear colleague,
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: [EMAIL PROTECTED]
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: [EMAIL PROTECTED]
Local Organization
------------------
Stan Steinberg
Department of Math. and Statistics
University of New Mexico
email: [EMAIL PROTECTED]
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
[EMAIL PROTECTED]
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
===========================================================================
