From:  Olivier Nicole
Subject: Asian Computing Science Confeence 1995
Date: 
Message-ID: <3kt86u$kbk@cs5.cs.ait.ac.th>
                           FIRST CALL FOR PAPERS
                 1995 ASIAN COMPUTING SCIENCE CONFERENCE
                           11-13 December, 1995
                           Pathumthani, THAILAND

              An international Conference co-organized by:
                The Asian Institute of Technology (AIT),
 Institut National de Recherche en Informatique et en Automatique (INRIA),
   United Nations University Institute of Software Technology (UNU/IIST).


Conference co-Chairs:
        Shigeki Goto (NTT, Japan)
        Joxan Jaffar (IBM Yorktown, USA)
        Kanchana Kanchanasut (AIT, Thailand)

Organizing Committee:
        Dines Bjorner (UNU/IIST, Macau)
        Jean-Jacques Levy (INRIA, France)
        Kesav Nori (Tata RDDC, India)
        H. N. Phien (AIT, Thailand)

Advisory Committee:
        Kilnam Chon (KAIST, Korea)
        Phan Dinh Dieu (Hanoi, Vietnam)
        Nguyen Hau Le (Northern Telecom, Canada)
        Gerard Huet (INRIA, France)
        Haruhisa Ishida (U of Tokyo, Japan)
        Gilles Kahn (INRIA, France)
        Kanchit Malaivongse (NECTEC, Thailand)

Programme Committee:
        Serge Abiteboul (INRIA, France)
        Anuchit A. (Stanford U, USA)
        Surapong A. (NIDA, Thailand)
        Philippe Flajolet (INRIA, France)
        Chris W. George (UNU/IIST, Macau)
        Mordecai J. Golin (HKUST, Hong Kong)
        Gerard Huet (INRIA, France)
        Christian Huitema (INRIA, France)
        Dang Van Hung (UNU/IIST, Macau)
        Hsien-Kuei Hwang  (Academia Sinica, Taiwan)
        Prapass J. (Chulalongkorn U, Thailand)
        Kamal Karlapalem (HKUST, Hong Kong)
        Somnuek K. (Kasetsart U, Thailand)
        Jean-Jacques Levy (INRIA, France)
        Hoshi Mamoru (U Elec-Comm, Japan)
        A. A. Nazief (U of Indonesia, Indonesia)
        Akko Oka. (NTT, Japan)
        Amir Pnueli (Weizmann Inst, Israel)
        Somchai P. (Chulalongkorn U, Thailand)
        Xu Qiwen (UNU/IIST, Macau)
        S. Ramadass (U Sain Malaysia, Malaysia)
        S. Ramesh  (IIT Bombay, India)
        Louiqa Raschid (U of Maryland, USA)
        R. Sadananda (AIT, Thailand)
        Masahiko Sato (Tohoku U, Japan)
        Taisuke Sato  (ETL, Japan)
        R.K. Shyamasundar (TIFR Bombay, India)
        Nguyen Thanh Son (Polytech HCM, Vietnam)
        D. Srivastava (ATT Bell Lab, USA)
        Peter J. Stuckey (U of Melbourne, Australia)
        Wittaya W.  (NIDA, Thailand)
        Qi Yulu  (AIT, Thailand)

The conference is intended to provide a forum in Asia  for researchers in
computer science.  A major goal of  ACSC  is to  foster communication and
cooperation  among the diverse communities  involved  in the practice and
theory of  computing, including those involved in systems, languages, and
applications. It is expected that every accepted paper will be presented.
Contributed papers presenting original research in the following areas of
computer science (but not exclusive) are sought:

        Algorithms
        Knowledge Representation and Automated Reasoning
        Specification Languages and Software Verification
        Parallel, Networking and Distributed  Systems
        Databases
        Reactive Systems

Important Dates:
        Submission of Papers             15 June, 1995
        Notification of Acceptance       20 August, 1995
        Final Version                    1 September, 1995

Submissions:
        Authors are invited to submit full papers (in English, up to 18 pages,
        typeset 12 point) to:
                Kanchana Kanchanasut
                Computer Science Program
                Asian Institute of of Technology
                Km. 42 Paholyothin Highway
                Klong Luang, Pathumthani 12120
                THAILAND
                Phone: +66 2 524 5703
                Fax: +66 2 524 5721
                e-mail: ······@cs.ait.ac.th

If ordinary mail is used,  five (5)  copies of  the paper  should be  sent by
express or  courier mail.  Electronic  submission is  encouraged via  e-mail,
in  the  PostScript(tm)  printable files,  however  a printed reference  copy
should be sent by post. Each submission, both by ordinary mail and by e-mail,
should be  accompanied by a  separate message providing  a single postal  and
e-mail address for communication,  complete title,  author(s), affiliation(s)
and 200 word abstract.

Conference Format:
        The conference will be three days long from Monday to Wednesday, and
        will include several tutorials and invited talks. It will take place
        at the  AIT Center,  which is 17 Km. north of  Bangkok International
        Airport or 42 Km. north of Bangkok.