[Prev][Next][Index][Thread]
ASIAN'96 Preliminary Program (long)
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
PRELIMINARY PROGRAM --- ASIAN'96
ASIAN COMPUTING SCIENCE CONFERENCE
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:
http://www.iscs.nus.sg/~asian96
---------------------------------------------------------------------------
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
PAPERS
------
Algorithms
----------
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
------------------------------------------------------------------------
SPONSORS
--------
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
==========================================================================
ASIAN'96 CONFERENCE and WORKSHOP REGISTRATION
---------------------------------------------
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)
Address/Mailstop:________________________________________________________
_________________________________________________________________________
City:_____________________________State:___________________
Country:____________________________Zip:___________________
Daytime Phone:_____________________________________________
Fax:_______________________________________________________
Email:_____________________________________________________
REGISTRATION FEES:
------------------
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.
SPECIAL MEAL REQUIREMENTS:
___Vegetarian ___Muslim ___Others (please specify): __________________
METHOD OF PAYMENT:
------------------
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
Singapore
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)
GUEST INFORMATION:
[ ]Mr. [ ]Mrs. [ ]Miss [ ]Ms.
Family Name:_______________________________________________
First Name:________________________________________________
Address/Mailstop:__________________________________________________________
__________________________________________________________
City:_____________________________State:___________________
Country:____________________________Zip:___________________
Daytime Phone:_____________________________________________
Fax:_______________________________________________________
Email:_____________________________________________________
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".
METHOD OF PAYMENT:
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:______________________________________
==========================================================================