Advances in Computing Science — ASIAN 2000

6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings

  • He Jifeng
  • Masahiko Sato
Conference proceedings ASIAN 2000

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1961)

Table of contents

  1. Front Matter
    Pages I-X
  2. Jinyan Li, Kotagiri Ramamohanarao, Guozhu Dong
    Pages 15-32
  3. Der-Rong Din, Shian-Shyong Tseng, Mon-Fong Jiang
    Pages 69-87
  4. Silvano Dal Zilio
    Pages 88-103
  5. Keiichi Kaneko, Yasuto Suzuki
    Pages 119-132
  6. Antonin Kučera
    Pages 133-148
  7. Zhiyong Huang, Binjia Jiao, B. Prabhakaran, Conrado R. Ruiz Jr
    Pages 149-161
  8. Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar
    Pages 162-181
  9. Pierpaolo Degano, Francesca Levi, Chiara Bodei
    Pages 199-214
  10. M. Dezani-Ciancaglini, I. Salvo
    Pages 215-236
  11. Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
    Pages 237-254
  12. U. Bhattacharya, R. Chaki
    Pages 263-272
  13. Masahiro Kimoto, Masako Takahashi
    Pages 273-289
  14. Back Matter
    Pages 299-299

About these proceedings


The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. The previous ?ve conferences were held, respectively, in Bangkok, Singapore, Kathmandu, Manila, and Phuket. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year’s conference (ASIAN2000) attracted 61 submissions from which 18 papers were selected through an electronic program committee (PC) meeting. The themes for this year’s conference are: – Logics in Computer Science – Data Mining – Networks and Performance The key note speaker for ASIAN2000 is Jean Vuillemin (ENS, France) and the invited speakers are Ramamohanarao Kotagiri (U. Melbourne, Australia) and Alain Jean-Marie (LIRMM, France). We thank them for accepting our - vitation. This year’s conference is sponsored by the Asian Institute of Technology (Thailand), INRIA (France), the National University of Singapore (Singapore), and UNU/IIST (Macau SAR, China). We thank all these institutions for their continued support of the ASIAN series. This year’s conference will be held in Penang, Malaysia. We are much obliged to Universiti Sains Malaysia and Penang State Government for providing the conference venue and to Dr. Abdullah Zawawi Haji Talib for making the local arrangements. We also wish to thank the PC members and the large number of referees for thesubstantialworkputinbytheminassessingthesubmittedpapers.


AI Logic Computer Science Logic Hardware Mathematical Logic Multimedia Network Performance Networking Program Semantics algorithms computer science database logic model checking programming proving

Editors and affiliations

  • He Jifeng
    • 1
  • Masahiko Sato
    • 2
  1. 1.International Institute for Software TechnologyUnited Nations UniversityMacauChina
  2. 2.Graduate School of InformaticsKyoto UniversityKyotoJapan

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41428-5
  • Online ISBN 978-3-540-44464-0
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site