[CC] ================================================ AMAST Links 02 04

              Asian Computing Science Conference, ACSC'95
              Pathumthani, Thailand, 11-13 December, 1995

   The full version of this Call for Papers is available in two forms:
   plain-text (?=txt) and LaTeX (?=tex) respectively at URL: 
   http://www.cs.utwente.nl/data/amast/links/v02/i04/full/AC0204CC.?

  *Conference co-Chairs.* S Goto (NTT, Japan), J Jaffar (IBM Yorktown,
USA), K Kanchanasut (AIT, Thailand).
  *Organizing Committee.* D Bjorner (UNU/IIST, Macau), J-J Levy (INRIA,
France), K Nori (Tata RDDC, India), H N Phien (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 at the conference and included in the proceedings which is
expected to be published in the _Lecture Notes in Computer Science_
series by Springer-Verlag.
  *Topics.* 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.
  *Submissions.* Full papers (in English, up to 18 pages, 12pt) to:
   Kanchana Kanchanasut
   Computer Science Program, Asian Institute of Technology
   Km. 42 Paholyothin Highway, Klong Luang, Pathumthani 12120, Thailand
   Phone: +66 2 524 5703, Fax: +66 2 524 5721, E-mail: kk@iist.unu.edu
If ordinary mail is used, five copies of the paper should be sent by
express or courier mail. Electronic submission is encouraged via e-mail
(PostScript(tm) printable files), but a printed reference copy should
be sent by post. See full version for further submission requirements.
  *Dates.* Subm: 15 June 1995, Notif: 20 Aug. 1995, Final: 1 Sep. 1995
  *Conference Format.* The conference will be three days long from
Monday to Wednesday, and will include several tutorials and invited
talks. See the full version for further information.