[Prev][Next][Index][Thread]
[Second CFP] ASIAN'97 - Asian Computing Science Conference
-
To: APPIAr@fct.unl.pt, acclaim@sics.se, aiia@di.unito.it, apng-all@apng.org, atp_alias@cs.jcu.edu.au, ccl@dfki.uni-sb.de, clp@iscs.nus.sg, concurrency@cwi.nl, csp-list@cert.fr, cup@icot.or.jp, dbworld@cs.wisc.edu, dma-list@nic.surfnet.nl, eapls@mailbase.ac.uk, eclipse_users_moderated@ecrc.de, flprog@informatik.uni-muenchen.de, g-ganzinger@mpi-sb.mpg.de, gulp@di.unipi.it, ikbsbb@inf.rl.ac.uk, jicslp96@informatik.uni-bonn.de, life-users@cs.sfu.ca, linear@cs.stanford.edu, logic@cs.cornell.edu, lprolog@central.cis.upenn.edu, oz-users@dfki.uni-sb.de, prolog-pe@bach.ces.cwru.edu, prolog-vendors@sics.se, ps@dfki.uni-sb.de, quintus-users@quintus.com, reflection@p300.cpl.uiuc.edu, reliable_computing@interval.usl.edu, rewriting@loria.fr, seipel@sunflower.informatik.uni-tuebingen.de, sicstus-users@sics.se, theorem-provers@ai.mit.edu, theorynt@listserv.nodak.edu, types@dcs.gla.ac.uk
-
Subject: [Second CFP] ASIAN'97 - Asian Computing Science Conference
-
From: Kazunori UEDA <ueda@ueda.info.waseda.ac.jp>
-
Date: Thu, 01 May 1997 12:39:31 +0900
-
cc: ueda@ueda.info.waseda.ac.jp, shyam@tcs.tifr.res.in, Kanchana.Kanchanasut@ait.ac.th
-
Delivery-Date: Wed, 30 Apr 1997 22:45:55 -0500
(LaTeX version follows plain text. Please post. Sorry if you receive
this message more than once. Now the three invited speakers have
confirmed, and conference homepages are available.)
========================================================================
Second Call for Papers - ASIAN'97
ASIAN COMPUTING SCIENCE CONFERENCE
Kathmandu, Nepal, December 9-11, 1997
========================================================================
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.
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:
- Programming Languages and Compilation Technology
- Formal Reasoning and Constraints
- Real-Time Computing
- Network/Mobile Computing
INVITED SPEAKERS (confirmed):
- Prof. Michael Rabin (Harvard Univ. and Hebrew Univ. of Jerusalem)
- Dr. Nicholas Ayache (INRIA, Sophia Antipolis)
- Prof. Randy Bryant (CMU, Pittsburgh)
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 (below) 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
asian97@tcs.tifr.res.in and asian97@ueda.info.waseda.ac.jp .
If e-mail is not available, five hardcopies and the above coversheet
information should be sent to R. K. Shyamasundar.
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.
IMPORTANT DATES:
- JUNE 16, 1997 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
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
http://www.cs.ait.ac.th/school97. On December 12, workshops will be
held in association with the main conference.
CONFERENCE WEB PAGE:
Additional information, including tourist information, will be
available from:
- http://tcs.tifr.res.in/~asian97
- http://www.ueda.info.waseda.ac.jp/asian97
SPONSORS:
- Asian Inst. of Technology (AIT)
- Inst. National de Recherche en Informatique et en Automatique (INRIA)
- Tata Institute of Fundamental Research (TIFR)
- United Nations Univ. Intl. Inst. for Software Technology (UNU/IIST)
- Waseda University
PROGRAM CO-CHAIRS:
R. K. Shyamasundar - and - Kazunori Ueda
Tata Institute Dept. of Information and
of Fundamental Research Computer Science, Waseda University
Bombay 400 005, India 3-4-1, Okubo, Shinjuku-ku, Tokyo 169, Japan
phone: +91-22-215-2971 (x2288) phone: +81-3-5286-3340
fax: 215-2181 fax: 5285-7882
e-mail: shyam@tcs.tifr.res.in e-mail: ueda@ueda.info.waseda.ac.jp
ASIAN'9X STEERING COMMITTEE:
Dines Bjorner (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, India) Kazunori Ueda (Waseda U., Japan)
PROGRAM COMMITTEE: (to be finalized)
Arnie Azcarraga (De La Salle U., Philippines)
Gerard 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 (Verimag, France)
Jieh Hsiang (NTU, Taiwan)
Gerard 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, Co-Chair (TIFR, India)
Ambuj Singh (UCSB, USA)
John Staples (U. Queensland, Australia)
Yohanes Stefanus (U. Indonesia, Indonesia)
Doug Tygar (CMU, USA)
Kazunori Ueda, 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)
LOCAL ARRANGEMENT CHAIR:
Kanchana Kanchanasut (AIT, Thailand)
e-mail: Kanchana.Kanchanasut@ait.ac.th
========================================================================
\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}