\documentstyle{article}
\begin{document}
\begin{center}
{\large{\bf AIZU INTERNATIONAL SYMPOSIUM ON PARALLEL
    ALGORITHMS/ARCHITECTURE SYNTHESIS (pAs'95)  }}
\end{center}
\begin{center}
\vspace{0.1cm}
{\large{\bf PRELIMINARY PROGRAM }} 
\end{center}
\vspace{0.1cm}
\begin{center}
{\bf MARCH 14 (Tuesday)}\\
\end{center}
\begin{itemize}
\item 8:30 - 9:00 {\bf Registration}
\end{itemize}
\vspace{0.1cm}
\begin{center}
{\large{\bf Tutorials }} \\
\end{center}
\vspace{0.1cm}

\begin{itemize}

\item 9:00 - 10:30 \hspace{0.5cm}{\bf T1}\\
{\bf C. Jesshope,} {\em University of Surrey, UK}\\
General Purpose Scalable Parallel Computers
\item 10:30 - 11:00 {\bf Break}
\item 11:00 - 12:30 \hspace{0.5cm}{\bf T2}\\
{\bf H. Burkhart,} {\em University of Basel, Switzerland}\\
Structured Parallel Programming: Methods - Languages -Tools
\item 12:30 - 13:30 {\bf Lunch}
\item 13:30 - 15:00 \hspace{0.5cm}{\bf T3}\\
{\bf H. Zima,} {\em University of Vienna, Austria}\\
High Performance Languages
\item 15:00 - 15:30 {\bf Break}
\item 15:30 - 17:00 \hspace{0.5cm}{\bf T4}\\
{\bf D. F. Hsu,} {\em Fordham University, USA}\\
Interconnection Networks and Parallel Algorithms

\end{itemize}
\begin{center}
{\bf MARCH 15 (Wednesday)}\\
\end{center}
\begin{itemize}
\item 8:30 - 9:30 {\bf Registration}
\end{itemize}
\begin{itemize}
\item 9:30 - 10:00 {\bf OPENING}
\item 10:00 - 11:00 Invited talk\\
{\bf T. Kunii, S. Nishimura,} {\em University of Aizu, Japan}\\
Parallel Solid Model on the Graphics Computer VC-1
\item 11:00 - 12:00 Invited talk\\
{\bf C. Lengauer, M. Griebl,} {\em University of Passau, Germany}\\
On the parallelization of loop nests containing while loops.
\item 12:00 - 13:00 {\bf LUNCH}
\item 13:00 - 14:00 Invited talk\\
{\bf H. Tanaka, and co-authors,} {\em Universities of Japan}\\
JUMP-1 Project
\item 14:00 - 15:00 Invited talk\\
{\bf H. Zima,} {\em University of Vienna, Austria}\\
Supercompilers for Massively Parallel Architectures
\item 15:00 - 15:30 {\bf Coffee, tea}
\end{itemize} 
\begin{center}
{\bf {\Large Stream A: Tools and Technology}}
\end{center}
\begin{itemize}
\item 15:30 - 16:00\\ 
{\bf A. Bode,} {\em Technical University of M\"unchen, Germany}\\
Methods and Tools for the Efficient Use of Parallel Computer Architectures
\item 16:00 - 16:30\\ 
{\bf O. Hansen, J. Krammer,} {\em Technical University of M\"unchen, Germany}\\
A Scalable Performance Analysis Tool for PowerPC Based MPP Systems
\item 16:30 - 17:00\\ 
{\bf P. Croll, I. Jelly, and I. Gorton,} {\em The University of Sheffield, UK}\\
Software Engineering Techniques and Tools for High Performance Parallel Systems
\item 17:00 - 17:30\\ 
{\bf V.E. Malyshkin,} {\em The Russian Academy of Sci., Novosibirsk, Russia}\\  
Functionality in ASSY System and Language of Functional Programming
\end{itemize} 
\begin{center}
{\bf {\Large Stream B: Algorithms and Techniques}}
\end{center}
\begin{itemize}
\item 15:30 - 16:00\\ 
{\bf A.P. Vazhenin,} {\em The Russian Academy of Sci., Novosibirsk, Russia}\\
Parallel Algorithm for Solving Systems of Linear Equations
with Dynamically Changed Length of Operands
\item 16:00 - 16:30\\
{\bf J. Wang, H. Lung, and Y. Katsumata,} {\em Fujitsu Systems
  Business of America, Inc., USA}\\ 
Implementing a 3D Multigrid Algorithm on Fujitsu's Vector Parallel Supercomputer
\item 16:30 - 17:00\\ 
{\bf T. Rauber and G. Runger,} {\em Universitat des Saarlandes, Germany} \\
Aspects of a Distributed Solution of the Brusselator Equation
\item 17:00 - 17:30\\ 
{\bf R. Huang, T. Kunii,} {\em
  University of Aizu, Japan}\\
Parallel Algorithms for Extracting Ridges and Ravines
\vspace{0.3cm}
\item 18:30  {\bf SYMPOSIUM DINNER}
\end{itemize} 
\begin{center}
{\bf MARCH 16 (Thursday)}\\
\end{center}
\begin{itemize}
\item 8:45 - 9:45 Invited talk\\
{\bf D. Sugimoto,} {\em University of Tokyo, Japan}\\
GRAPE Project
\item 9:45 - 10:45 Invited talk\\
{\bf T. Nogi,} {\em Kyoto University, Japan}\\
ADENA Project
\item 10:45 - 11:00 {\bf Coffee, tea}
\item 11:00 - 12:00 Invited talk\\
{\bf C. Jesshope,} {\em University of Surrey, UK}\\
Asynchronous Parallel Computing: a Journey across Scale
\item 12:00 - 13:00 {\bf LUNCH}
\end{itemize} 
\begin{center}
{\bf {\Large Stream A: Architectures}}
\end{center}
\begin{itemize}
\item 13:00 - 13:30\\ 
{\bf V. Varshavsky, V. Marakhovsky, and T. Chu,} {\em University of
  Aizu, Japan, Cirrus Logic Inc., USA}\\
Logical Timing (Global Synchronization of Asynchronous Arrays)
\item 13:30 - 14:00\\ 
{\bf M. Hamda,} {\em Hong Kong University of Sci. and Technology, Hong Kong }\\
Modified Mesh-connected Computer for Image Processing Applications
 \item 14:00 - 14:30\\ 
{\bf Ce-Kuen Shieh, An-Chow Lai and Jyh-Chang Ueng,} {\em National Cheng Kung University, Taiwan}\\
Cohesion: An Efficient Distributed Shared Memory System
Supporting Multiple Memory Consistency Models
\item 14:30 - 15:00\\ 
{\bf V.O. Roda and T.T. Lin,} {\em University of Sao Paulo, Brazil}\\  
On the Effect of Spare Positioning on the Reconfigurability
of Two-dimensional Processor Arrays
\item 15:00 - 15:30 {\bf Coffee, tea}
\end{itemize} 
\begin{center}
{\bf {\Large Stream B: Graph Theory and Networks}}
\end{center}
\begin{itemize}
\item 13:00 - 13:30\\ 
{\bf Q.P. Gu and S. Peng,} {\em University of Aizu, Japan,}\\
Fault Tolerant Routing in Toroidal Networks
\item 13:30 - 14:00\\ 
{\bf Zhi-Zhong Chen and Xin He,} {\em Tokyo Denki University, Japan}\\
Parallel Algorithms for Maximal Acyclic Sets
 \item 14:00 - 14:30\\ 
{\bf Shou-Cheng Hu and Chang-Biau Yang,} {\em National Sun Yat-sen University, Taiwan}\\
Fault Tolerance on Star Graphs
\item 14:30 - 15:00\\ 
{\bf Shyh-Chain Chern, Tai-Ching Tuan and Jung-Sing Jwo,} {\em National Sun Yat-sen University, Taiwan}\\  
Hamiltonicity, Vertex Symmetry, and Broadcasting of
Uni-directional Hypercubes


\item 15:00 - 15:30 {\bf Coffee, tea}
\end{itemize} 
 
\begin{center}
{\bf {\Large Stream A: Distributed Systems}}
\end{center}
\begin{itemize}
\item 15:30 - 16:00\\ 
{\bf P.K. Reddy and S. Bhalla,} {\em Delhi Institute of Technology,
  India, University of Aizu, Japan}\\
Non-blocking Concurrency Control in Distributed Database Systems
\item 16:00 - 16:30\\
{\bf Y. Nakano,} {\em Fujitsu Lab Ltd., Japan }\\ 
Analysis of Communication Data: Compression Network
\item 16:30 - 17:00\\ 
{\bf Tong-Ying Juang, C.P. Chiu and Kun-Ming Yu,} {\em Chung-Hua Polytechnic Institute, Taiwan} \\
Concurrent Rollback for Crash Recovery in Extended Hypercube Networks
\item 17:00 - 17:30\\ 
{\bf M.V. Screenivas and S. Bhalla,} {\em Delhi Institute of Technology,
  India, University of Aizu, Japan}\\
Garbage Collection in Message Passing Distributed Systems
\end{itemize}
\newpage
\begin{center}
{\bf {\Large Stream B: Scheduling and Load Balancing}}
\end{center}
\begin{itemize}
\item 15:30 - 16:00\\ 
{\bf Weiping Zhu and C.F. Steketee,} {\em University of South Australia, Australia}\\
An Experimental Study of Load Balancing on Amoeba
\item 16:00 - 16:30\\
{\bf B. Benko, M. Ojstersek and V. Zumer,} {\em University of Maribor, Slovenia}\\ 
Analysis and Evaluation of an Extended Duplication Scheduling Heu\-ristic
\item 16:30 - 17:00\\ 
{\bf H. Shen, H. Kitajima, H. Kobayashi and T. Nakamura} {\em Tohoku University, Japan} \\
Task Scheduling with Locality Consideration for a Clustered
Parallel FL Reduction System
\item 17:00 - 17:30\\ 
{\bf W. Lowe and W. Zimmermann,} {\em University of  Karlsruhe, Germany }\\
On Finding Optimal Clusterings of Task Graphs
\end{itemize}
\begin{center}
{\bf {\Large Stream C: Poster Session}}
\end{center}
\begin{itemize}
\item 15:30 - 16:30\\ 
\end{itemize}
\begin{center}
{\bf MARCH 17 (Friday)}\\
\end{center}
\begin{itemize}
\item 8:45 - 9:45 Invited talk\\
{\bf T. Ikedo,} {\em University of Aizu, Japan}\\
Aizu Supercomputer Project
\item 9:45 - 10:45 Invited talk\\
{\bf N. Mirenkov,} {\em  University of Aizu, Japan}\\
Visualization and Sonification of Methods
\item 10:45 - 11:00 {\bf Coffee, tea}
\item 11:00 - 12:00 Invited talk\\
{\bf D. F. Hsu,} {\em Fordham University, USA}\\
A Journey into Multicomputer Routing Algorithms
\item 12:00 - 13:00 {\bf LUNCH}
\end{itemize} 
\newpage
\begin{center}
{\bf {\Large Stream A: Formal Methods}}
\end{center}
\begin{itemize}
\item 13:00 - 13:30\\ 
{\bf A. Max Geerling,} {\em University of Nijmegen, The Netherlands}\\
Program Transformations and Skeletons: Formal Derivation of Parallel Programs
\item 13:30 - 14:00\\ 
{\bf T. Heywood and C. Leopold,} {\em  University of Edinburgh, UK}\\
Dynamic Randomized Simulation of Hierarchical PRAMs on Meshes
 \item 14:00 - 14:30\\ 
{\bf N.A. Anisimov and A.A. Kovalenko,} {\em The Russian Academy of
  Sci., Vladivostok, Russia}\\
Towards Petri Net Calculi based on Synchronization via Places
\item 14:30 - 15:00\\ 
{\bf A.E. Doroshenko and A.B. Godlersky,} {\em Ukrainian Academy of
  Sciences, Kiev, Ukraine}\\  
Constructing Parallel Implementation with Algebraic Programming \\Tools
\end{itemize}
\begin{center}
{\bf {\Large Stream B: Algorithms and Tools}}
\end{center}
\begin{itemize}
\item 13:00 - 13:30\\ 
{\bf R. Sarnath,} {\em St Cloud State University, USA}\\
Efficient Scalable Mesh Algorithms for Merging, Sorting and Selection
\item 13:30 - 14:00\\
{\bf B. Herndon, A. Raefsky, R. Goossens, and R. Dutton,} {\em Stanford
  University, USA}\\ 
Parallelizing a PDE Solver: Experiences with PISCES
\item 14:00 - 14:30\\ 
{\bf W. Cai, Tee L. Pian and S. J. Turner,} {\em Nanyang Technological
  University, Singapore} \\
A Framework for Visual Parallel Programming
\item 14:30 - 15:00\\ 
{\bf Lin Peng Huang and Kam Wing Ng,} {\em The Chinese University of
  Hong Kong, Hong Kong }\\
Implementing Higher-order Gamma on MasPar: A Case Study
\item 15:00 - 15:30\\
{\bf A. Sh. Nepomniaschaya and Ya. I. Fet,} {\em  The Russian Academy of Sci., Novosibirsk, Russia}\\
Investigation of Some Hardware Accelerators for Relational Algebra
Operations
\end{itemize}


\end{document}