ASIAN'96 Preliminary Program (long)

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

                   PRELIMINARY PROGRAM --- ASIAN'96


                       RELC International Hotel

                  2nd - 5th December, 1996, Singapore

The 1996 Asian Computing Science Conference, ASIAN'96, will be held in
Singapore on December 2nd - 5th, 1996 at the RELC International Hotel.
The main purpose of the ASIAN'9x conferences is to provide a local forum
for Asian researchers in computer science.  The scope of the conference
is a broad coverage of computer science with a focus on the conceptual
areas of computer science with some selected themes every year.

This is the second time the conference is being held. The first conference
ASIAN'95 (also called ACSC'95 last year) was held in Bangkok, Thailand,
in December 1995, and was organized by the Asian Institute of Technology 
in partnership with INRIA, France, and the UNU/IIST, Macau.
Its proceedings appeared as Springer-Verlag's LNCS 1023.

The following themes represent the areas of focus for this year,
though there are many papers in other areas:

* Programming (semantics, languages, systems, paradigms, ...)
* Concurrency & Parallelism (algorithms, formalisms, systems, ...)
* Networking & Security (algorithms, protocols, formalisms, systems, ...)

The main conference will be held from Monday, 2nd December, 1996 to
Wednesday, 4th December, 1996.  A conference reception and pre-registration
will be held on Sunday, 1st, December in the evening at the conference
venue, RELC.  After the conference, there will be three post-conference 
workshops on Thursday, 5th December, 1996.

                           INVITED SPEAKERS

The  keynote  speaker will be David HAREL (Weizmann Institute, Israel).  
The invited speakers will be:  Jean-Chrysostome BOLOT (INRIA, France) on 
networking,  Gert SMOLKA (DFKI Saarbruken, Universitaat des 
Saarlandes, Germany) on programming languages, and 
Doug TYGAR (Carnegie Mellon University, USA) on secure electronic commerce.

                           IMPORTANT DATES

           November 22-29, 1996    9th Asian School on C.S.
           December 1              Reception and Registrations
           December 2-4, 1996      ASIAN'96, Main Conference
           December 5, 1996        ASIAN'96, Workshops

                      PRE-CONFERENCE ACTIVITIES

The  9th  Asian  School on Computer Science: Synthesis & Verification of 
Finite-State Machine Based Systems by G. Berry, N. Halbwachs and E. Sentovich
will   be   held  on  22-29  November  1996,  in  Rayong,  Thailand.
(See http://www.cs.ait.ac.th/school96).  

                      POST-CONFERENCE WORKSHOPS

Post-conference workshops will be held on December 5, 1996 in association
with the main conference.  The following is a the list of the 
planned workshops:

  * Constraints and Constraint Programming

  * Computer Networking

  * Coordination Technology for Collaborative Applications

                         CONFERENCE WEB PAGE

Additional information on the conference program, registration
and workshops is available from:


                         PRELIMINARY PROGRAM

                           KEYNOTE SPEAKER

Some Thoughts on Statecharts, 13 Years Later
David Harel, Weizmann Institute of Science, Israel

                           INVITED SPEAKERS

End-to-end Behavior of the Internet: Measurements, Analysis, and Applications
Jean-Chrysostome Bolot, INRIA, France

The Oz Programming Language and System
Gert Smolka, DFKI, Universitat des Saarlandes, Germany

Cryptographic Postage Indicia
Doug Tygar, Carnegie Mellon University, USA



Randomized Parallel List Ranking for Distributed Memory Multiprocessors
    Frank Dehne, S.W. Song

Suffix Arrays for Multiple Strings: a Method for On-line 
Multiple String Searches
    Fei Shi

Relations among Parallel and Sequential Computation Models
    Heribert Vollmer

Constraints and Logic Programming

The Expressive Power of "Possible-is-Certain" Semantics
    S. Greco, D. Sacca

Using Stochastic Methods to Guide Search in CLP: a Preliminary Report
    Jimmy H.M. Lee, Ho-Fung Leung, Peter J. Stuckey, Vincent W.L. Tam, 
    Hon-Wing Won

Backtrackable State with Linear Affine Implication and Assumption Grammars
    Paul Tarau, Veronica Dahl, Andrew Fall

Declarative Debugging in Constraint Logic Programming
    Alexandre Tessier

Distributed Systems

An Improved Logging and Checkpointing Scheme for Recoverable Distributed
Shared Memory
    Taesoon Park, Sungbok Cho, Heon Y. Yeom

Distributed Concurrency Control in Real-time Cooperative Editing Systems
    Chengzheng Sun, Yun Yang, Yangchun Zhang, David Chen

Variable Timestamp-based Distributed Deadlock Detection and Resolution
    Hui Wu, Wei-Ngan Chin

Formal Systems

Lambda-definable Term Rewriting Systems
    Sugwoo Byun, Richard Kennaway, Ronan Sleep

Sets as Anti-Chains
    Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian

A Typed Lamda Calculus of Objects
    Luigi Liquori, Giuseppe Castagna

Intensionality versus Extensionality and Primitive Recursion
    Pierre Valarcher

On the Bounded Theories of Finite Trees
    Sergei Vorobyov

Networking and Security

Broadcasting in Star Graphs with Byzantine Failures
    Yukihiro Hamada, Aohan Mei, Feng Bao, Yoshihide Igarashi

Blind Threshold Signatures Based on Discrete Logarithm
    Wen-Shenq Juang, Chin-Laung Lei

Computation of the k-Error Linear Complexity of Binary Sequences with Period 2^n
    Takayasu Kaida, Satoshi Uehara, Kyoki Imamura

Symbolic Rights and Vouchers for Access Control in Distributed Object Systems
    Vincent Nicomette, Yves Deswarte

The Heuristics for the Constrained Multicast Routing
    Zong-Ben Xu, Bo-Ting Yang

On Design and Analysis of a New Block Cipher
    Xun Yi

Programming and Systems

CHESSBOARD: A Synergy of Object-Oriented Concurrent Programming and 
Program Layering
    Tzilla Elrad, Baoling Sheen, Novak V. Nastasic

A Calculational Approach to Flattening Nested Data Parallelism in
Functional Languages
    Gabriele Keller, Martin Simons

Concurrent Object-oriented Programming in Tempo++
    Rafael Ramirez

A Universal Scripting Framework or Lamda: the Ultimate "little language"
    Olin Shivers

Design and Application of a Light-Weight Persistency Mechanism
    Markus Theissinger

Specification and Verification

Hierarchical Verification using Verification Diagrams
    Anca Browne, Zohar Manna, Henny B. Sipma

A Dynamic Evolution for the Specification of Distributed Systems
    Issam A. Hamid, Ferhat Khendek

Formal Verification and Evaluation of Execution Time in the Envelope Theory
    Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani

Design of Controllers for Linear Hybrid Systems
    Rupak Majumdar, R.K. Shyamasundar

Checking Linear Duration Invariants by Linear Programming
    Li Xuandong, Dang Van Hung

                            POSTER SESSION

Conjunctive Vector Representations for Set Valued Feature Descriptions
    Michael Carl

Constructive Negation in Definite Constraint Logic Programs
    Vijay Chandru, Suman Roy, Ramesh Subrahmanyam

Multilevel Master-Slave Parallel Programming Models
    Hsin-Chu Chen, Alvin Lim, Nazir A. Warsi

Improving the X.509 Protocol for ATM Networks
    Shaw-Cheng Chuang

InterMUD Communications (IMC) Protocol with Extensions to VRMLise
MultiUser Domains (MUDs)
    Chan Fang Khoon, James Seng, L-S. Ooi, J-K. Tan, Kevin Mok, Tan Tin Wee

ALPS-HI: An Annotated Logic Programming System with Hypothetical Implications
    Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima

Constructing More Relevant Models
    Lifeng He, Yuyan Chao, Yuka Simajiri, Hirohisa Seki, Hidenori Itoh

Formal Analysis for Continuous Systems Controlled by Programs
    Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio

Implementation Tuning of a Dataflow Language on a Stock 
Parallel Machine with Visualization Tools
    Shigeru Kusakabe, Kentaro Inenaga, Kiyotoshi Nishimura, Makoto Amamiya

Overall System for Secure Wireless Mobile Networks
    Arthur Li, Omran Bukhres

Materialized View Adaptation in Distributed Databases
    Mukesh Mohania, Guozhu Dong

Coupling Object-orientation & Deduction - a Modelling Perspective
    E. Ravindran, S.C. Hui

An Integer Programming-Based Nurse Rostering System
    John Thornton, Abdul Sattar

Synthesizing Parallel Divide-and-Conquer Algorithms Using the 
List Interleave Operator
    Razvan Voicu



The Asian Institute of Technology (AIT)
CICC (Singapore/Japan)
ILOG (Singapore)
Inst. National de Recherche en Informatique et en Automatique (INRIA, France)
National University of Singapore (NUS)
United Nations University, Intl. Inst. for Software Technology 
    (UNU/IIST, Macau)

                            PROGRAM CHAIR

Joxan Jaffar,
Department of Information Systems & Computer Science,
National University of Singapore, Singapore 119260, Singapore

Phone: +65 772 6731   Fax: +65 779 4890   E-mail: joxan@iscs.nus.sg

                     ASIAN'9X STEERING COMMITTEE

Dines Bjorner (UNU/IIST, Macau)         Shigeki Goto (Waseda U., Japan)
Joxan Jaffar (NUS, Singapore)           Kanchana Kanchanasut (AIT, Thailand)
Gilles Kahn (INRIA, France)             Jean-Jacques Levy (INRIA, France)
R.K. Shyamasunder (TIFR Bombay, India)

                          PROGRAM COMMITTEE

Martin Abadi (SRC, DEC, USA)            Eliezer A. Albacea (U. of Phillipines)
A. Anuchitanukul (Bank of Thailand/AIT) Kim Bruce (Williams College, USA)
Rance Cleaveland (NCSU, USA)            Dang Van Hung (UNU/IIST, Macau)   
Li Gong (Sunsoft, USA)                  Shigeki Goto (Waseda U., Japan)
Seif Haridi (SICS, Sweden)              Nevin Heintze (Bell Labs, USA)
Pascal van Hentenryck (Brown U., USA)   Jieh Hsiang (NTU, Taiwan)
Kyoki Imamura (Kyushu IT, Japan)        Joxan Jaffar, Chair (NUS, Singapore)  
Tomasz Janowski (UNU/IIST, Macau)       Gilles Kahn (INRIA, France)
Lam Kwok-Yan (NUS, Singapore)           John Lamping (Xerox PARC, USA)
Peter Lee (CMU, USA)                    Jean-Jacques L'evy (INRIA, France)
C. Lursinsap (Chulalongkorn U/AIT)      Michael Maher (Griffith U., Australia)
Hideo Miyahara (Osaka U., Japan)        Gustaf Neumann (Essen U., Germany)
Vijay Saraswat (ATT Research, USA)      S. Sudarshan (IIT, Bombay)
R. Sureswaran (USM, Malaysia)           Doug Tygar (CMU, USA)
Philip Wadler (U. of Glasgow, UK)       Belawati Widjaja (U. of Indonesia)
Roland Yap (NUS, Singapore)

                       LOCAL ARRANGEMENTS CHAIR

Roland Yap (NUS, Singapore),  E-mail: ryap@iscs.nus.sg

                      POST-CONFERENCE WORKSHOPS

The following workshops are planned for Thursday, December 5, 1996:

Topic: Constraints and Constraint Programming
Contact Organizer(s): Bing Liu (liub@iscsc.nus.sg)
URL: http://www.iscs.nus.sg/~asian96/constraint-cfp.html

Computer Networking
Contact Organizer(s): Shigeki Goto (goto@goto.info.waseda.ac.jp),
                      Tan Tin Wee (tinwee@irdu.nus.sg)
URL: http://www.iscs.nus.sg/~asian96/networking-cfp.html

Topic: Coordination Technology for Collaborative Applications"
Contact Organizer(s): Wolfram Conen (conen@wi-inf.uni-essen.de),
                      Gustaf Neumann (gustaf.neumann@uni-essen.de)
                      Peter Bernus (bernus@cit.gu.edu.au)
URL: http://mohegan.wi-inf.uni-essen.de/asian96
     also (http://www.iscs.nus.sg/~asian96/coord-cfp.html)


                      ASIAN'96 REGISTRATION FORM



If registering by e-mail, please provide a copy of the form via fax, 
or mail hardcopies of the form and other relevant information.

Last Name: ____________________________________________

First Name: ___________________________________________ (Prof/Dr/Mr/Miss/Ms)





Daytime Phone:_____________________________________________




Early registrations for the conference must be sent to the address
below by Nov 11, 1996. Registrations after Nov 11, will be treated
as on-site only.

     ASIAN'96 Registration,
     C/O Prof. Joxan Jaffar,
     Department of Information Systems and Computer Science,
     National University of Singapore,
     Lower Kent Ridge Road,
     Singapore 119260, Singapore     

Conference registration: (all rates are in Singapore Dollars)
     Advance (until Nov 11)            Late/On-Site (after Nov 11)

     ___Non-student    $420            ___Non-student     $520

     ___Student        $150            ___Student         $200

Post-conference workshops (per workshop):

     ___Non-student    $60             ___Student         $30

One-day workshop ONLY registration (per workshop):

     ___Non-student    $150            ___Student         $35

Please indicate desired workshops:
___Constraints     ___Networking    ___Coordination Technology

Conference fees include conference attendance, refreshments at breaks,
conference dinner and one copy of the proceedings. Student registration
includes all of the above (proceedings is likely), except conference
dinner. Student registrants must provide a copy of a valid student ID
card or an official letter from their department.


   ___Vegetarian  ___Muslim  ___Others (please specify): __________________


Payments must be remitted using one of the following (please check one):
(payment by check and bank should be made to the "National University
of Singapore)
[If you have difficulty with getting a draft in Singapore
dollars, you may send us a draft in a major currency but please add
US$20 (or equivalent) to cover exchange rates and bank charges,
but please note this is the least preferable option]

___ Enclosed check (drawn from a Singapore bank in Singapore dollars only)
       Bank ________________________________ Check# ______________________

___ Enclosed bank draft (in Singapore dollars only)
       Bank ________________________________ Draft# ______________________

___ Charge to Credit Card (please fill out the following and sign):

    Visa [ ]  Mastercard [ ] 

Amount to be charged:_________

Name on Card:______________________________________________

Card #:____________________________________________________

Exp. Date:________________Date Signed:_____________________

Authorized Signature:______________________________________


                      HOTEL BOOKING INFORMATION


                          Hotel Booking Form

Please complete and return this form before November 14, 1996 to:

Hotel Registration
Asian Computing Science Conference (ASIAN'96)
c/o Winston Leow
RELC International Hotel
RELC Building
30 Orange Grove Road
Singapore 258352

Tel: +65 737-9044;  Fax: +65 733-9976;  Email: relcih@singnet.com.sg

[Please email us a copy of your hotel booking information as well.]

The hotel which we will be using as the conference venue and
conference hotel is the RELC (Regional English Language Center).
The room rates below, in Singapore dollars, include breakfast
and is the net rate after tax.
Reservations made after November 14, 1996 are subject

Tick your choice:

  ___ Single or Twin sharing: $115.57 per room
  ___ Triple sharing: $138.23 per room

Please provide the names of your room mates (for those sharing with
ASIAN'96 participants)

[ ]Mr. [ ]Mrs. [ ]Miss [ ]Ms.

Family Name:_______________________________________________

First Name:________________________________________________





Daytime Phone:_____________________________________________



Please advise us if you have any special needs:____________


Arrival Date:______________ Time: ___________

Departure Date: ___________ Time: ___________

A room deposit of one day's stay is REQUIRED and must accompany this
form. Payment should be made to "RELC International Hotel".

Payments must be remitted using one of the following (please check one):

___ Enclosed check (drawn from a Singapore bank in Singapore dollars only)
       Bank ________________________________ Check# ______________________

___ Enclosed bank draft (in Singapore dollars only)
       Bank ________________________________ Draft# ______________________

___ Charge to Credit Card (please fill out the following and sign):

    Visa [ ]  American Express [ ] Mastercard [ ] Diners Club [ ]

Amount to be charged:_________

Name on Card:______________________________________________

Card #:____________________________________________________

Exp. Date:________________Date Signed:_____________________

Authorized Signature:______________________________________