From ryap@comp.nus.edu.sg Fri May 7 14:49:33 1999 Date: Fri, 7 May 1999 14:05:58 PDT From: Roland Yap Hock Chuan Reply-To: Theory-A - TheoryNet World-Wide Events , Roland Yap Hock Chuan To: THEORYNT@LISTSERV.NODAK.EDU Subject: CFP: ASIAN'99 (Asian Comput. Science Conf.), Dec 10-12,Phuket,Thailand CALL for PAPERS ASIAN'99 Asian Computing Science Conference Phuket, Thailand, December 10-12, 1999 Conference Web Page: http://www.comp.nus.edu.sg/~asian99 Paper submission deadline: July 12, 1999 BACKGROUND: ---------- The series of annual Asian Computing Science Conferences (ASIAN) was initiated in 1995 by AIT, INRIA and UNU/IIST to provide a forum for researchers in computer science from the Asian region and to promote interaction with researchers from other regions. The first four conferences have been held, respectively, in Bangkok, Singapore, Katmandu and Manila. In addition to support from the host countries, they have also been sponsored by INRIA, France, UNU/IIST, Macau and NUS, Singapore. The proceedings have been published as Lecture Notes in Computer Science, Springer-Verlag. SCOPE: ------ The scope of the conferences has been a broad coverage of Computer Science, but with a focus on a few chosen specific themes concerning the formal aspects of algorithms, programming, concurrency and parallelism, networking and security. The 1999 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: * Embedded and Real-Time Systems * Formal Reasoning and Verification * Distributed and Mobile Computing INVITED SPEAKERS: ---------------- The keynote speaker at ASIAN'99 will be Amir Pnueli (Weizmann Institute, Israel). The invited speakers are: Nicolas Halbwachs (VERIMAG, CNRS, France) and Krishna Palem (Courant Institute, New York University, USA). SUBMISSIONS: ----------- We invite submissions on original research not published or submitted for publication elsewhere. Submission procedure is described below. The proceedings are to be published by Springer-Verlag in the LNCS series. Plans are also being made to publish a special issue, in an international journal, of papers selected from ASIAN'99. 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. STEERING COMMITTEE: ------------------ Shigeki Goto (Waseda U., Japan) Jean-Jacques Levy (INRIA, France) Joxan Jaffar (NUS, Singapore) R.K. Shyamasundar (TIFR Bombay, India) Gilles Kahn (INRIA, France) Kazunori Ueda (Waseda U., Japan) Kanchana Kanchanasut (AIT, Thailand) Zhou Chaochen (UNU/IIST, Macau) Program Co-Chairs: ----------------- P.S. Thiagarajan Roland H.C. Yap Chennai Mathematical Institute School of Computing 92 G.N.Chetty Road National University of Singapore T.Nagar Chennai 600 017 Lower Kent Ridge Road India Singapore 119260 Republic of Singapore E-Mail : pst@smi.ernet.in E-Mail: ryap@comp.nus.edu.sg Telephone: +91-44-828 4232 Telephone: +65 874-2972 Fax: +91-44-825 0573 Fax: +65 779-4580 PROGRAM COMMITTEE: ----------------- (This is a preliminary list) Gerard Berry (ENSMP & INRIA, France) Shigeki Goto (Waseda U., Japan) Dang Van Hung (UNU/IIST, Macau) Frank Pfenning (CMU, USA) Sanjiva Prasad (IIT, Delhi, India) Abdul Sattar (Griffith U., Australia) Peter Stuckey (U. of Melbourne, Australia) P.S. Thiagarajan (co-chair) (CMI, India) Farn Wang (IIS, Academia Sinica, Taiwan) Limsoon Wong (KRDL, Singapore) Roland Yap (co-chair) (NUS, Singapore) GENERAL CHAIR: ------------- Kanchana Kanchanasut, Asian Institute of Technology, Thailand LOCAL CHAIR: ----------- Rattana Wetprasit (Prince of Sonkhla University, Thailand) IMPORTANT DATES: --------------- Paper submission deadline: July 12 Acceptance decisions: August 30 Camera-ready copy due: September 20 PAPER SUBMISSION PROCEDURE: -------------------------- Authors are invited to submit manuscripts by e-mail in a self-contained PostScript file (gzipped and uuencoded) to asian99@comp.nus.edu.sg. This is to be complemented by one hard copy sent to the program co-chair, Roland Yap, at the above address. The length guidelines are 12 pages in 11-point font. Submissions preferably should be formatted in the LNCS style (see http://www.springer.de/comp/lncs/authors.html). In addition, a separate e-mail message should be sent containing the paper title and an abstract (at most 150 words), authors, keywords, postal address, e-mail address and fax number. If e-mail is not available, five hard copies each and the above coversheet information should be sent by paper mail to both PC chairs at the above addresses. POST CONFERENCE ASIAN SCHOOL: ---------------------------- In conjunction with ASIAN99, the 11th Asian School on Computer Science will be held from December 13-15, 1999, in Phuket, Thailand. The school will offer an intensive course entitled: Automata, Circuit Design and Verification. The course which will be conducted by Jean Vuillemin (Ecole Normale Superieure), Gerard Berry (Ecole des Mines de Paris & INRIA) and Nicolas Halbwachs (Verimag, CNRS). For more details, see the following URL: http://www.cs.ait.ac.th/Workshop/ASCS99