\documentstyle{article}
\topmargin -30pt \headheight 12pt \headsep 25pt \footheight 12pt
\footskip 30pt
\setlength{\oddsidemargin}{-1.5cm}
\setlength{\textwidth}{19.0cm}
\addtolength{\topmargin}{-1cm}
\setlength{\textheight}{27cm}
\pagestyle{empty}
\def\asian#1{{\sc Asian#1}}
\setlength{\parindent}{0pt}
\def\notbut#1#2{\rlap{#2}\hphantom{#1}}
\begin{document}
 
\begin{center}
{\Large\sc Second Call for Papers - \asian{'97}}\\[3mm]
{\Large\bf Asian Computing Science Conference}\\[3mm]
{\large\bf Kathmandu, Nepal,  December 9--11, 1997}
\end{center}
 
\vspace*{3mm}

\parbox[t]{6.4cm}{\footnotesize\advance\baselineskip by-0.5pt

{\bf Sponsors}:\\[1mm]
%
Asian Inst. of Technology (AIT)\\
Inst. National de Recherche en \\
\null\quad Infor\-ma\-tique et en Automatique (INRIA) \\
Tata Institute of Fundamental Research (TIFR) \\
United Nations Univ. Intl. Inst. for \\
\null\quad Soft\-ware Technology (UNU/IIST) \\
Waseda University
 
\vspace*{3mm}

{\bf Program Co-Chairs:}\\[1mm]
% 
{\bf R. K.  Shyamasundar} \\
Tata Institute of Fundamental Research \\
Bombay 400 005, India \\
phone/fax: +91-22-215-2971 (x2288) / 215-2181\\
e-mail: {\tt shyam@tcs.tifr.res.in}\\[3pt]
% 
{\bf Kazunori Ueda}\\
Dept. of Information and Computer Science\\
Waseda University\\
3-4-1, Okubo, Shinjuku-ku, Tokyo 169, Japan\\
phone/fax: +81-3-5286-3340 / 5285-7882\\
e-mail: {\tt ueda@ueda.info.waseda.ac.jp}

\vspace*{5mm}
{\bf \leavevmode
\hbox{\asian{'9X}}\llap{\asian{'9X}\kern.15pt} Steering Committee:}\\[1mm]
%
Dines Bj{\o}rner (UNU/IIST, Macau) \\
Shigeki Goto (Waseda U., Japan) \\
Joxan Jaffar (NUS, Singapore) \\
Kanchana Kanchanasut (AIT, Thailand) \\
Gilles Kahn (INRIA, France) \\
Jean-Jacques Levy (INRIA, France) \\
R.~K. Shyamasundar (TIFR Bombay, India) \\
Kazunori Ueda (Waseda U., Japan)
 
\vspace*{5mm}
 
{\bf Program Committee:}\\[1mm]
%
Arnie Azcarraga (De La Salle U., Philippines)\\
G{\'e}rard Berry (Ecole des Mines, France)\\
Manfred Broy (Tech.~U. Munich, Germany)\\
Gihan Dias (U. Moratuwa, Sri Lanka)\\
Phan Minh Dung (AIT, Thailand)\\
Georges Gonthier (INRIA, France)\\
Shigeki Goto (Waseda U., Japan)\\
%
Jan Friso Groote (CWI, Netherlands)\\
Nicola Halbwachs (V{\'e}rimag, France)\\
Jieh Hsiang (NTU, Taiwan)\\
G{\'e}rard Huet (INRIA, France)\\
Kanchana Kanchanasut (AIT, Thailand)\\
%
Deepak Kapur (SUNY Albany, USA)\\
Jimmy H. M. Lee (CUHK, Hongkong)\\
Chidchanok Lursinsap (Chula/AIT, Thailand)\\
Michael Maher (Griffith U., Australia)\\
Tatsuo Nakajima (JAIST, Japan)\\
Kesav V. Nori (TRC, India)\\
Catuscia Palamidessi (U. Genova, Italy)\\
Amir Pnueli (Weizmann, Israel)\\
Willem P. de Roever (U. Kiel, Germany)\\
Taisuke Sato (Tokyo Inst.\ Tech., Japan)\\
%
Natarajan Shankar (SRI, USA)\\
R. K. Shyamasundar, {\bf Co-Chair} (TIFR, India)\\
Ambuj Singh (UCSB, USA)\\
John Staples (U. Queensland, Australia)\\
Yohanes Stefanus (U. Indonesia, Indonesia)\\
Doug Tygar (CMU, USA)\\
Kazunori Ueda, {\bf Co-Chair} (Waseda U., Japan)\\
Martin Wirsing (U. Munich, Germany)\\
%
Nor A. Yahaya (Telekom Malaysia, Malaysia)\\
Roland H. C. Yap (NUS, Singapore)\\
Zhou Chaochen (UNU/IIST, Macau)
% {\it Somebody}* (???, Korea)

 
\vspace*{5mm}

{\bf Local Arrangement Chair:}\\[1mm]
{\bf Kanchana Kanchanasut} (AIT, Thailand)\\
e-mail: {\tt Kanchana.Kanchanasut@ait.ac.th}
}
%
\parbox[t]{2.5mm}{
   \rule[-23.1cm]{0.2mm}{23.5cm}
}
%
\begin{minipage}[t]{11.9cm}
\advance\baselineskip by-1pt
 
{\bf Background:}
The series of annual Asian Computing Science Conferences (\asian{} for
short) was started in 1995 to provide a forum for
researchers in computer science from the Asian region and to promote
interaction with researchers from other regions.
%
The first conference was held in Bangkok, organized by the
Asian Institute of Technology.  The second conference, \asian{'96}, was
held in Singapore, organized by National University of Singapore.  Both
were held in partnership with INRIA, France, and the UNU/IIST, Macau.
The proceedings were published as Lecture Notes in Computer Science 1023
and 1179 from Springer-Verlag.
%
Their scope was a broad coverage of Computer Science, though there was a
focus on the more conceptual areas of algorithms, programming, concurrency
and parallelism, networking and security.

\vspace*{4mm}
{\bf Scope:}
The 1997 conference will continue to emphasize the conceptual areas of
Computer Science, though papers in all areas will be considered.  The
following themes represent the areas of focus for this year:
\begin{center}
\begin{tabular}{l}
$\bullet$ Programming Languages and Compilation Technology\\
$\bullet$ Formal Reasoning and Constraints\\
$\bullet$ Real-Time Computing\\
$\bullet$ Network/Mobile Computing
\end{tabular}
\end{center}

{\bf Invited Speakers:}
\begin{center}
\begin{tabular}{l}
Prof.~Michael Rabin (Harvard Univ.\ and Hebrew Univ.\ of Jerusalem)\\
Dr.~Nicholas Ayache (INRIA, Sophia Antipolis)\\
Prof.~Randy Bryant (CMU, Pittsburgh)
\end{tabular}
\end{center}

{\bf Paper submissions:}
Authors are invited to send manuscripts by e-mail
in a self-contained PostScript file (gzipped and uuencoded), 
complemented by one hardcopy sent to the address (in the left column)
of R.~K.~Shyamasundar.
%
The length guidelines are 10--12 pages in 11-point font and 3000
words.  In addition, a separate e-mail message should be sent containing the
paper title and a 150-word abstract, authors, keywords, postal address,
e-mail address and fax number.
%
E-mail submissions should be sent to both

\begin{center}
\fbox {{\tt asian97@tcs.tifr.res.in} and
{\tt asian97@ueda.info.waseda.ac.jp}} .
\end{center}

If e-mail is not available, five hardcopies and the above coversheet
information should be sent to R.~K.~Shyamasundar.
 
\vspace*{4mm}
 
\noindent
{\bf Publication:}
The proceedings are expected to be published by Springer-Verlag in the
LNCS series.  In addition to regular papers,
we hope to accept posters, which will appear as two-page abstracts in the
proceedings.  Papers and posters must be presented at the conference by
one of the authors.
 
\vspace*{4mm}
 
\noindent
{\bf Important dates:}
\begin{center}
\begin{tabular}{lll}
\bf June 16, 1997&\bf Paper submission deadline\\
August 11, 1997&      Acceptance decisions\\
September 1, 1997&    Camera-ready copy due\\
December 9--11, 1997& \asian{'97}, Main Conference\\
December 12, 1997&    \asian{'97}, Workshops\\
\end{tabular}
\end{center}
 
{\bf Pre- and Post-Conference Activities:}
The 10th Asian School on Computer Science at AIT, Bangkok will be held
during November 29--December 4. Details will be made available at {\tt
  http://www.cs.ait.ac.th/school97}.  On December 12, workshops will be
held in association with the main conference.
 
\vspace*{4mm}
 
\noindent
{\bf Conference Web Page:}
Additional information will be available from\\
\verb|http://tcs.tifr.res.in/~asian97| and\\
\verb|http://www.ueda.info.waseda.ac.jp/asian97|.

\end{minipage}

\end{document}
