%\special{landscape}
\documentclass{article}
\newcommand\viiipt{\normalsize}

%\topmargin 0pt
%\advance \topmargin by -\headheight
%\advance \topmargin by -\headsep
%\textheight 19cm
%\oddsidemargin 0pt
%\evensidemargin \oddsidemargin
%\marginparwidth 0.5in
%\textwidth 27.5cm
%\advance\voffset by -15mm
%\advance\hoffset by -15mm

\usepackage{multicol}
\usepackage{graphics}

\pagestyle{empty}

\begin{document}

%\setlength{\columnsep}{10mm}

%\begin{multicols}{3}
%\begin{multicols}{1}
%
\raggedright
%\raggedcolumns

The Second International Symposium on Parallel Symbolic Computation
(PAS\-CO'97) presents 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.
Topics include:
%
high performance parallel algebraic computation,
%
high performance combinatorial and discrete methods,
high preformance automatic theorem proving,
%
design of high performance symbolic,
functional, and constraint/logic languages and systems.

{PASCO'97}
will be held under the sponsorship of ACM SIGSAM and SIGNUM
at the Aston Wailea Resort, Maui, Hawaii, U.S.A. from
July 20 -- 22, 1997.  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),
and the exhibitions, systems demonstration area, and social program
will be shared among the conferences.  PASCO'97 registration
permits participation in all ISSAC'97 activities

\smallskip

For more details about the conference and about registration, please
consult the enclosed registration leaflet or the web page
{\tt http://www.csc.ncsu.edu/pasco97/}, or contact the
local organizers.

\bigskip
%=====================
{\bf Symposium Chair:}
%=====================
 
\smallskip
\begin{tabular}{l@{}}
  Hoon Hong  \\
  RISC-Linz
  Johannes Kepler University  \\
  A-4040 Linz, Austria
\end{tabular}
 
\begin{tabular}{l@{\hspace{3pt}}l@{}}
  Phone: & +43 (7236) 3231-48 \\
  Fax: & +43 (7236) 3231-30 \\
  email:& {\viiipt\tt Hoon.Hong@risc.uni-linz.ac.at}
\end{tabular}
\bigskip

%==============================================
{\bf Local Arrangements:}
%==============================================

\smallskip
\begin{tabular}{l@{}}
  Stan Steinberg \\
%%%  Department of Math. and Statistics \\
  University of New Mexico \\
%%%  Albuquerque, New Mexico 87131 \\
\end{tabular}
 
\begin{tabular}{l@{\hspace{3pt}}l@{}}
%%%  Phone: & (505) 277 4733 \\
  email:& {\viiipt\tt stanly@math.unm.edu}
\end{tabular}
\bigskip

%==============================================
{\bf Publicity:}
%==============================================
 
\smallskip
\begin{tabular}{l@{}}
  Markus Hitz \\
  North Carolina State University\\
\end{tabular}
 
\begin{tabular}{l@{\hspace{3pt}}l@{}}
  email:& {\viiipt\tt mahitz@eos.ncsu.edu}
\end{tabular}
\bigskip

%==============================================
{\bf Registrations:}
%==============================================
 
\smallskip
\begin{tabular}{l@{}}
  Maria Paola Bonacina \\
%%%  Dept.\ Comput. Sci.\\
  University of Iowa \\
\end{tabular}
 
\begin{tabular}{l@{\hspace{3pt}}l@{}}
  email:& {\viiipt\tt bonacina@cs.uiowa.edu}
\end{tabular}
\bigskip

%==============================================
{\bf Treasurer:}
%==============================================
 
\smallskip
\begin{tabular}{l@{}}
  Sam Dooley \\
  IBM T. J. Watson Research \\
\end{tabular}
 
\begin{tabular}{l@{\hspace{3pt}}l@{}}
  email:& {\viiipt\tt dooley@watson.ibm.com}
\end{tabular}
\bigskip

%=============================
{\bf Program Committee:}
%=============================
 
\smallskip
\begin{tabular}{l@{\hspace{5pt}}l@{}}
Gene Cooperman & Northeastern U.\\
Wayne Eberly & U. Calgary\\
Tetsuro Fujise & Mitsubishi Research\\
Kevin Hammond & U. of St.\ Andrews\\
Jieh Hsiang & National Taiwan U.\\
Jean-Marie Jacquet & FUNDP Namur\\
Sverker Janson & Swedish Inst.\ Comp.\ Sci.\\
Erich Kaltofen (chair) & N. C. State University\\
Herbert Kuchen & RWTH Aachen\\
Wolfgang K\"uchlin & U. T\"ubingen\\
Mohamed O. Rayes & Texas Instruments\\
Jean-Louis Roch & LMC/IMAG Grenoble\\
Stan Steinberg & U. New Mexico\\
\end{tabular}


\bigskip
\centerline{\bf\large Preliminary Program}

\bigskip

\newcommand\Track[3]{\par\bigskip{\bfseries Session #1, Track #2} (#3)\par\medskip}
\newcommand\Paper[2]{\smallskip{\itshape #1}\hfill\break#2}
\newcommand\Author[2]{#1, #2}

\centerline{\large\bfseries Sunday, July 20}

\Track{P}{1}{2:00pm--3:00pm}

PASCO '97 begins at 2pm.

\Paper{Efficient Parallel Solution of Sparse Systems of Linear
      Diophantine Equations}%
{\Author{Mark Giesbrecht}{University of Manitoba}}

\Paper{Fast Rectangular Matrix Multiplications and Improving
      Parallel Matrix Computations}%
{\Author{Xiaohan Huang and Victor Y. Pan}{City University of New York}}

\Paper{Towards an efficient implementation of a fast algorithm for
      multipoint polynomial evaluation and its parallel processing}%
{\Author{Hirokazu Murao}{University of Tokyo} and
\Author{Tetsuro Fujise}{Mitsubishi Research Institute}}

\Track{Q}{1}{3:30pm--4:10pm}

\Paper{Fast parallel algebraic numbers computations}%
{\Author{Thierry Gautier}{ETH Zurich} and
\Author{Jean-Louis Roch}{LMC-IMAG Grenoble}}

\Paper{Processor-Efficient Parallel Matrix Inversion over
      Abstract Fields: Two Extensions}%
{\Author{Wayne Eberly}{University of Calgary}}

\bigskip
\centerline{\large\bfseries Monday, July 21}

\Track{A}{2}{8am--9:30am}
\Paper{An evaluation of Penny: a system for fine grain
      implicit parallelism}%
{\Author{Johan Montelius and Seif Haridi}{Swedish Institute of Computer Science}}

\Paper{Evaluating Parallel Logic Programming Systems on
      Scalable Multiprocessors}%
{\Author{V\'\i tor Santos Costa}{Universidade do Porto}
\Author{Ricardo Bianchini and In\`es de Castro Dutra}{Federal University of Rio de Janeiro}}

\Paper{Extended Dynamic Dependent And-parallelism in ACE}%
{\Author{Gopal Gupta and Enrico Pontelli}{New Mexico State University}}

\Paper{Distributed Partial Evaluation}%
{\Author{Michael Sperber and Peter Thiemann}{Universit\"at T\"ubingen}}

\Track{B}{2}{9:45am--11:15am}
\Paper{Experiments with subdivisions of search in distributed
      theorem proving}
{\Author{Maria Paola Bonacina}{University of Iowa}}

\Paper{Deriving Efficient Parallel Programs for Complex Recurrences}
{\Author{Wei-Ngan Chin, Y.M. Teo, and S.H. Tan}
{National University of Singapore}}

\Paper{A Parallel Implementation of Cost-based Abductive
      Reasoning}
{\Author{Shohei Kato, Hirohisa Seki, and Hidenori Itoh}
{Nagoya Institute of Technology}}

\Paper{Parallel Implementation through Object Graph Rewriting}
{\Author{John Glauert}{University of East Anglia, Norwich}}

\Track{invited lecture}{1\&2}{11:30am--12:30pm}
\Paper{Title to be announced}%
{\Author{Monica Lam}{Stanford University}}

\Track{C}{2}{2pm--3pm}
\Paper{Computation of replicable functions on Risa/Asir}%
{\Author{Masayuki Noro}{Fujitsu Laboratories Ltd.} and
\Author{John McKay}{Concordia University, Montr\'eal}}

\Paper{The computational complexity of the Wu-Ritt type unmixed
      decomposition of radical ideals}%
{\Author{Agnes Szanto}{Cornell University}}

\Paper{Mixed representation of polynomials oriented towards fast
      parallel shift}%
{\Author{Eugene Zima}{Moscow State University}}

\Track{D}{2}{4pm--5pm}
\Paper{Improvement of Message Communication in Concurrent Logic
      Language}%
{\Author{Kazuhiko Ohno, Masahiko Ikawa, Shin-ichiro Mori, 
      Hiroshi Nakashima, and Shinji Tomita}{Kyoto University}}

\Paper{A Proposal for Syntactic Data Integration for Math Protocols}%
{\Author{Olaf Bachmann and Hans Sch\"onemann}
{Universit\"at Kaiserslautern} and
\Author{Simon Gray}{Kent State University}}
 
\Paper{An Overview of the Design of Distributed Oz}%
{\Author{Seif Haridi and Peter Van Roy}%
{Swedish Institute of Computer Science} and
\Author{Gert Smolka}{Universit\"at des Saarlandes}}

\bigskip
\centerline{\large\bfseries Tuesday, July 22}

\Track{E}{2}{8am--9:30am}

\Paper{Tools for Parallel/Distributed Mathematical Computation}%
{\Author{Paul S. Wang}{Kent State University}}

\Paper{CABAL: Polynomial and power series algebra on
      a parallel computer}%
{\Author{Arthur Norman}{Trinity College, Cambridge} and
\Author{John Fitch}{University of Bath}}

\Paper{CALYPSO: a Computer Algebra Library for Parallel
      Symbolic Computation}%
{\Author{Giovanni Cesari}{ETH Zurich and Universit\`a degli Studi di Trieste}}

\Paper{Maple on a massively parallel, distributed memory machine}%
{\Author{Laurent Bernardin}{ETH Zurich}}

\smallskip
PASCO '97 ends.

%\setcounter{unbalance}{3}
%\end{multicols}

\end{document}
