The full version of this Call for Papers is available in two forms:
plain-text and LaTeX respectively.
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 KanchanasutIf 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.
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
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.