Call for Participation -- ASIAN'97
Asian Computing Science Conference
Kathmandu, Nepal, December 9--12, 1997
The third Asian Computing Science Conference, ASIAN'97, will be held in
Kathmandu on December 9--12, 1997 at the Hotel Yak & Yeti.
The series of annual Asian Computing Science Conferences (ASIAN for
short) was started in 1995 to provide a forum for researchers in
computer science from the Asian region and to promote interaction with
researchers from other regions. The first conference was held in
Bangkok, organized by the Asian Institute of Technology. The second
conference, ASIAN'96, was held in Singapore, organized by National
University of Singapore. Both were held in partnership with INRIA,
France, and the UNU/IIST, Macau. The proceedings were published as
Lecture Notes in Computer Science 1023 and 1179 from Springer-Verlag.
Their scope was a broad coverage of Computer Science, though there was
a focus on the more conceptual areas of algorithms, programming,
concurrency and parallelism, networking and security.
The 1997 conference will continue to emphasize the conceptual areas of
Computer Science. The following themes represent the areas of focus
for this year:
o Programming Languages and Compilation Technology
o Formal Reasoning and Constraints
o Real-Time Computing
o Network/Mobile Computing
Of the 94 papers submitted, the Program Committee has selected 24
regular papers and 10 poster papers. The conference will have Prof.
Michael Rabin (Harvard University and Hebrew University of Jerusalem)
as the keynote speaker, and Dr. Nicholas Ayache (INRIA, Sophia
Antipolis) and Prof. Randy Bryant (CMU, Pittsburgh) as invited
speakers.
Conference Web Page:
--------------------
More information, including the conference program, local arrangement
information and registration forms, will be available from
http://www.ueda.info.waseda.ac.jp/asian97.
Pre- and Post-Conference Activities:
------------------------------------
The 10th Asian School on Computer Science, organized by AIT and INRIA,
will be held in Kathmandu during December 5--8. Details will be made
available at
http://www.cs.ait.ac.th/school97.
Following the main ASIAN'97 conference held on December 9--11,
the following workshops will be held on December 12:
o Network Security: Birds of a Feather Session
[organized by Doug Tygar (CMU), tygar@cs.cmu.edu]
o Concurrency, Distribution and Mobility
[organized by Jean-Jacques Levy (INRIA) and
Catuscia Palamidessi (Penn State U.), catuscia@disi.unige.it]
Registration:
-------------
The registration form is available from the conference web page.
For those registering by email, please also fax a copy to the
registration office. The DEADLINE of early registration is November 15.
NOTE:
-----
Flights to and from Kathmandu should be reserved as EARLY AS POSSIBLE.
In case you have problem in getting your reservation, please contact
asian97@cs.ait.ac.th for assistance.
Sponsors:
---------
Asian Inst. of Technology (AIT)
Inst. National de Recherche en Informatique et en Automatique (INRIA)
Tata Institute of Fundamental Research (TIFR)
United Nations Univ. Intl. Inst. for Software Technology (UNU/IIST)
Waseda University
National University of Singapore (NUS)
International Centre for Integrated Mountain Development (ICIMOD)
Computer Association of Nepal (CAN)
AIT Alumni Association, Nepal Chapter
Program Co-Chairs:
------------------
R. K. Shyamasundar
Tata Institute of Fundamental Research
Bombay 400 005, India
phone/fax: +91-22-215-2971 (x2288) / 215-2181
e-mail: shyam@tcs.tifr.res.in
Kazunori Ueda
Dept. of Information and Computer Science
Waseda University
3-4-1, Okubo, Shinjuku-ku, Tokyo 169, Japan
phone/fax: +81-3-5286-3340 / 5285-7882
e-mail: ueda@ueda.info.waseda.ac.jp
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. Shyamasundar (TIFR Bombay, India)
Kazunori Ueda (Waseda U., Japan)
Program Committee:
------------------
Arnie Azcarraga (De La Salle U., Philippines)
Gerard Berry (Ecole des Mines, France)
Manfred Broy (Tech. U. Munich, Germany)
Gihan Dias (U. Moratuwa, Sri Lanka)
Phan Minh Dung (AIT, Thailand)
Georges Gonthier (INRIA, France)
Shigeki Goto (Waseda U., Japan)
Jan Friso Groote (CWI, Netherlands)
Nicolas Halbwachs (Verimag, France)
Jieh Hsiang (NTU, Taiwan)
Gerard Huet (INRIA, France)
Kanchana Kanchanasut (AIT, Thailand)
Deepak Kapur (SUNY Albany, USA)
Jimmy H. M. Lee (CUHK, Hongkong)
Chidchanok Lursinsap (Chula/AIT, Thailand)
Michael Maher (Griffith U., Australia)
Tatsuo Nakajima (JAIST, Japan)
Kesav V. Nori (TRC, India)
Catuscia Palamidessi (Penn State U., USA)
Amir Pnueli (Weizmann, Israel)
Willem P. de Roever (U. Kiel, Germany)
Taisuke Sato (Tokyo Inst. Tech., Japan)
Natarajan Shankar (SRI, USA)
R. K. Shyamasundar, Co-Chair (TIFR, India)
Ambuj Singh (UCSB, USA)
John Staples (U. Queensland, Australia)
Yohanes Stefanus (U. Indonesia, Indonesia)
Doug Tygar (CMU, USA)
Kazunori Ueda, Co-Chair (Waseda U., Japan)
Martin Wirsing (U. Munich, Germany)
Nor A. Yahaya (Telekom Malaysia, Malaysia)
Roland H. C. Yap (NUS, Singapore)
Zhou Chaochen (UNU/IIST, Macau)
Local Organizing Committee:
---------------------------
Pramod Pradhan, Chairperson (ICIMOD and AITAA, Nepal)
e-mail: pramod@icimod.org.np
Kanchana Kanchanasut (AIT, Thailand)
Suresh Regmi (CAN, Nepal)
Basanta Shrestha (ICIMOD, Nepal)
Sushil Pandey (ICIMOD, Nepal)
========================================================================
ASIAN'97 CONFERENCE and WORKSHOP REGISTRATION
---------------------------------------------
Last Name: _____________________________________________________________
First Name: ________________________________________(Prof/Dr/Mr/Miss/Ms)
Affliation: ____________________________________________________________
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 15, 1997. Registrations after Nov 15, will be treated
as on-site only.
ASIAN'97 Registration,
C/O Dr. Roland Yap,
Department of Information Systems and Computer Science,
National University of Singapore,
Lower Kent Ridge Road,
Singapore 119260,
Republic of Singapore
E-mail: ryap@iscs.nus.edu.sg
Telephone: +65 874-2972
Fax: +65 779-4580
Full registration for the conference:
NOTE THAT ALL RATES ARE IN SINGAPORE DOLLARS
(US$1.- appox. S$1.5)
Advance (until Nov 15) Late/On-Site (after Nov 15)
___Non-student S$450 ___Non-student S$550
___Student S$150 ___Student S$250
Half-day workshop ONLY registration (per workshop):
___Non-student S$50 ___Student S$25
Workshop announcements and registration will be coming soon.
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.
Workshop attendance is included in the full (non-student and student) fees.
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):
Amount to be charged:________________________
___Mastercard ___Visa
Name on Card:_____________________________________________________________
Card #:________________________________ Exp. Date:______________________
Authorized Signature:_____________________________________________________
Date Signed:_____________________
REFUNDS:
--------
Written requests for refunds must be received by the registration chair
no later than Nov 18, 1997. Refunds are subject to a $50 processing fee.
All no-show registrations will be billed in full.
============================================================================
ASIAN'97
Tentative Technical Programme
(The poster papers will be posted from the beginning of the conference.
The details of Poster papers are listed at the end of the programme.)
--------------------------------------------------------------------------
9 December 1997
--------------------------------------------------------------------------
0915-1030 : Keynote Address
Michael O. Rabin
Correctness of Programs and Protocols through Randomization
1030-1100 : Tea
1100-1230 : Session 1
Stephan Merz
Rules for Abstraction
Robert Bussow, Wolfgang Grieskamp
Combining Z and Temporal Interval Logics for the Formalization of
Properties and Behaviors of Embedded Systems
R. Ramanujam
Rules for Trace Consistent Reasoning
1230-1400 : Lunch
1400-1530 : Session 2
Sasikumar Punnekkat, Rob Davis, Alan Burns
Sensitivity Analysis of Real-Time Task Sets
Shin-Mu Tseng, Y. H. Chin, Wei-Pang Yang
Dynamic Multiprocessor Scheduling for Supporting Real-Time
Constraints
Zhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar
Heuristic Diff Acquiring in Lazy Release Consistency Model
1530-1600 : Tea
1600-1730 : Session 3
Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio
Representation of Discretely Controlled Continuous Systems in
Software-Oriented Formal Analysis
R. Wetprasit, A. Sattar, L. Khatib
A Generalized Framework for Reasoning with Multi-Point Events
Yan Georget, Philippe Codognet, Francesca Rossi
Implementing Constraint Retraction for Finite Domains
--------------------------------------------------------------------------
10 December 1997
--------------------------------------------------------------------------
0900-1030 : Session 4
Thomas Plagemann, Vera Goebel
INSTANCE: The Intermediate Storage Node Concept
Li Xuandong, Dang Van Hung, Zheng Tao
Checking Hybrid Automata for Linear Duration Invariants
Erich Mikk, Yassine Lakhnech, Michael Siegel
Hierarchical Automata as Model for Statecharts
1030-1100 : Tea
1100-1215 : Invited Lecture I
Nicholas Ayache
Medical Image Analysis and Simulation
1215-1345 : Lunch
1345-1515 : Session 5
Masateru Harao
Proof Discovery in LK System By Analogy
Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh
Efficient Induction of Executable Logic Programs from Examples
B. Le Charlier, C. Leclere, S. Rossi, A. Cortesi
Automated Verification of Behavioural Properties of Prolog Programs
1515-1645 : Poster Session (Over Tea)
--------------------------------------------------------------------------
Excursion to Bhakatapur and Banquet
--------------------------------------------------------------------------
--------------------------------------------------------------------------
11 December 1997
--------------------------------------------------------------------------
0900-1015 : Invited Lecture II
Randal E. Bryant and Miroslav N. Velev
Verification of Pipelined Microprocessors by Comparing Memory Execution
Sequences in Symbolic Simulation
1015-1045 : Tea
1045-1215 : Session 6
Gerard Boudol
Typing the Use of Resources in a Concurrent Calculus
Paul Roe
An Imperative Language with Read/Write Type Modes
Kazuhiko Ohno, Masahiko Ikawa, Masahiro Goshima, Shin-ichiro Mori,
Hiroshi Nakashima, Shinji Tomita
Efficient Goal Scheduling in Concurrent Logic Language using Type-Based
Dependency Analysis
1215-1330 : Lunch
1330-1500 : Session 7
Ryu Hasegawa
An Analysis of Divisibility Orderings and Recursive Path Orderings
T. B. Dinesh, Susan M. Uskudarli
Share-Where Maintenance in Visual Algebraic Specifications
Satoshi Fujita
A Fault Tolerant Broadcast Scheme in Star Graphs
1500-1530 : Tea
1530-1700 : Session 8
Ken-etsu Fujita
Calculus of Classical Proofs I
Richard Watson, Eric Salzman
Tracing the Evaluation of Lazy Functional Languages:
a Model and its Implementation
Y. Ben Asher, E. Stein
Basic Results in Automatic Transformations of Shared Memory Parallel
Programs into Sequential Programs
1700-1715 : Closing Session
--------------------------------------------------------------------------
Poster Papers
--------------------------------------------------------------------------
Mauri Kaipainen, Pantelis Papadopoulos, Pasi Karhu
Recurrent Oscillatory Self-organizing Map: Adapting to Complex
Environmental Periodicities
C. Lursinsap, K. Kanchanasut, T. Siriboon
Basic Binary Decision Diagram Operations for Image Processing
Tatsuo Nakajima
Adaptive Object Storage System for Mobile Computing Environments
Morioka Tomohiko
Structure of User Interface Module for Practical Internet Messages
Mihal Badonski, Mirjana Ivanovic, Zoran Budimac
Software Specification Using LASS
Eiichi Horita, Ken Mano
Nepi^2: a Two-Level Calculus for Network Programming Based on the
pi-Calculus
Man Lin, Jacek Malec, Simin Nadjm-Tehrani
On Semantics of Reactive Rule-Based Systems
Jean-Raymond Gagne, John Plaice
The Non-Standard Semantics of Esterel
Shigeru Kusakabe, Kentaro Inenaga, Makoto Amamiya
Hybrid Support for Lenient Implementation of Array-Comprehension
Mouhssine Bouzoubaa
Solver for Hierarchical CSP Containing Several Constraint Types and
Multi-output Constraints
--------------------------------------------------------------------------
ASIAN'97 Workshops
--------------------------------------------------------------------------
Network Security: Birds of a Feather Session
[organized by Doug Tygar (CMU), tygar@cs.cmu.edu]
Description: We invite all ASIAN-97 attendees to make brief (5-10
minute) presentations on recent results, projects, position
statements, reactions, or ideas in a special "Birds of a Feather"
session devoted to networking and security on Friday morning. ALL
attendees are invited to present and participate! This will also
be an opprotunity for lively discussion on recent work. We will
distribute a sign-up sheet for BoF session at the ASIAN-97
meeting.
Concurrency, Distribution and Mobility
[organized by Jean-Jacques Levy (INRIA) and
Catuscia Palamidessi (U. Genova), catuscia@disi.unige.it]
Description: This workshop, which will be rather informal,
is meant to be an opportunity for people to discuss their recent
(or old, and undeservedly forgotten) results in the following,
and related, topics: Concurrency Theory,
Distributed Systems,
Names Mobility,
Agents Mobility.
All people interested in these topics are welcome to participate.
Those who intend to give a talk should send the title and a short
abstract to Catuscia Palamidessi <catuscia@disi.unige.it> and to
Roland Yap <ryap@iscs.nus.edu.sg>
Workshop-only participants are encouraged to pre-register. Information
about registration and local arrangements are available at the ASIAN 97 web
page:
http://www.ueda.info.waseda.ac.jp/asian97
--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------