[Prev][Next][Index][Thread]
ASIAN'99 Preliminary Program (Dec 10-12, Phuket)
Call for Participation
ASIAN'99
Asian Computing Science Conference
Phuket, Thailand, December 10-12, 1999
Conference Web Page: http://www.cs.ait.ac.th/ASIAN99
(Mirror: http://www.comp.nus.edu.sg/~asian99)
The fifth Asian Computing Science Conference, ASIAN'99, will be held in
Prince of Songkhla University (Phuket Campus), Phuket, Thailand,
on December 10-12, 1999.
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.
The 1999 conference will continue to emphasize the conceptual areas of
Computer Science. The following themes represent the areas of focus
for this year:
* Embedded and Real-Time Systems
* Formal Reasoning and Verification
* Distributed and Mobile Computing
Keynote and 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).
Conference Web Page:
--------------------
More information can be found on the conference web page:
http://www.cs.ait.ac.th/ASIAN99
A mirror of the above page is also available at
http://www.comp.nus.edu.sg/~asian99
Post-Conference Activities:
------------------------------------
The 11th Asian School on Computer Science, organized by AIT and INRIA,
will be in Phuket after ASIAN'99. The Asian School will offer an
intensive course entitled:
Automata, Circuit Design and Verification.
The course which will be taught 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
Registration:
-------------
Conference registration is to be made online from the conference webpage.
Registration fees in US Dollars are:
Early (by Nov 15) Late/On-site
Non-Student $300 $400
Student $200 $250
Accommodation:
-------------
Hotel reservations can be booked through Asian Premier Holidays,
fax: +66 (0)76 246 270 or 246 271. This should be done as early
as possible. See the webpage for the form and details.
Sponsors:
---------
Asian Inst. of Technology (AIT)
Inst. National de Recherche en Informatique et en Automatique (INRIA)
United Nations Univ. Intl. Inst. for Software Technology (UNU/IIST)
National University of Singapore (NUS)
Thailand Network Information Center (THNIC)
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
ASIAN'9x 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 Committee:
------------------
Gerard Berry (ENSMP & INRIA, France)
Phan Min Dung (AIT, Thailand)
Cedric Fournet (Microsoft Research, UK)
Kokichi Futatsugi (JAIST, Japan)
Shigeki Goto (Waseda U., Japan)
Dang Van Hung (UNU/IIST, Macau)
Vinod Kathail (HP, USA)
Michael Lyu (CUHK, Hong Kong)
Yen-Jen Oyang (NTU, Taiwan)
Frank Pfenning (CMU, USA)
Sanjiva Prasad (IIT, Delhi, India)
Abdul Sattar (Griffith U., Australia)
R.K. Shyamasundar (TIFR Bombay, India)
Aravind Srinivasan (Bell Labs, USA)
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
E-Mail: Kanchana.Kanchanasut@ait.ac.th
Local Chair:
------------
Rattana Wetprasit (Prince of Sonkhla University, Thailand)
E-Mail: rattana@ratree.psu.ac.th
==========================================================================
ASIAN'99
Asian Computing Science Conference
Phuket, Thailand, December 10 - 12, 1999
Preliminary Program
==========================================================================
Friday, December 10, 1999
==========================================================================
8.00 - 8.45 Registration
8.45 - 9.00 Inaugural Session
--------------------------------------------
9.00 -10.00 Keynote Talk: Amir Pnueli
--------------------------------------------
(Details to be announced)
--------------------------------------------
10.00-10.30 Tea/Coffee Break
--------------------------------------------
10.30-12.20 Session 1: Temporal Logic
--------------------------------------------
Relating May and Must Testing Semantics for Discrete
Timed Process Algebras,
Luis Fernando Llana Diaz and David de Frutos Escrig
An Expressive Extension of TLC,
Jesper G. Henriksen
Completeness and Decidability of a Fragment of Duration Calculus
with Iteration
Dang Van Hung and Dimitar P. Guelev
Faster Model Checking for Open Systems
Madhavan Mukund, K Narayan Kumar, Scott A. Smolka
--------------------------------------------
12.20-14.00 Lunch
--------------------------------------------
14.00-15.50 Session 2: Logic
--------------------------------------------
Structural sharing and efficient proof search in propositional
intuitionistic logic
D. Galmiche, D. Larchey-Wendling
Lemma Generalization and Non-Unit Lemma Matching for
Model Elimination
Koji Iwanuma, Kenichi Kishino
A CPS-transform of the Constructive Classical Logic
Ichiro Ogata
On L^k(Q) Types and Boundedness of IFP(Q) on Finite Structures
Anil Seth
--------------------------------------------
15.50-16.10 Tea/Coffee Break
--------------------------------------------
16.10-17.30 Session 3: Mobility
--------------------------------------------
The game of the name in cryptographic tables
Roberto M. Amadio, Sanjiva Prasad
Transactional Cache Management with Aperiodic Invalidation Scheme
in Mobile Environments
IlYoung Chung, Chong-Sun Hwang
Programming the Mobility Behaviour of Agents by
Composing Itineraries
Seng Wai Loke, Heinz Schmidt, and Arkady Zaslavsky
==========================================================================
Saturday, December 11, 1999
==========================================================================
--------------------------------------------
9.00 -10.00 Invited Talk: Nicolas Halbwachs
--------------------------------------------
Validation of Synchronous Reactive Systems:
From Formal Verification to Automatic Testing
--------------------------------------------
10.00-10.30 Tea/Coffee Break
--------------------------------------------
10.30-12.20 Session 4: Verification
--------------------------------------------
A Framework for Formal Reasoning about Open Distributed Systems
L. Fredlund and D. Gurov
Verifying probabilistic programs using a Hoare like logic
J.I. den Hartog
Demand-Driven Model Checking for Context-Free Processes
Jens Knoop
Formal Verification of the MCS List-based Queuing Lock
Kazuhiro Ogata and Kokichi Futatsugi
--------------------------------------------
12.20-14.00 Lunch
--------------------------------------------
14.00-15.20 Session 5: Programming Languages/Logic Programming
--------------------------------------------
Entailment of Non-Structural Subtype Constraints
Joachim Niehren, Tim Priesnitz
Beyond Tamaki-Sato Style Unfold/Fold Transformations for
Normal Logic Programs
Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan,
I.V. Ramakrishnan
An Argumentation Approach to Semantics of Declarative Programs
with Defeasible Inheritance
Ekawit Nantajeewarawat, Vilas Wuwongse
--------------------------------------------
15.20-15.50 Tea/Coffee Break
--------------------------------------------
16.00-16.55 Session 6: General
--------------------------------------------
On Automating Inductive and Non-Inductive Termination Methods
Fairouz Kamareddine and Francois Monin
Asynchronous links in the PBC and M-nets
Hanna Klaudel, Franck Pommereau
--------------------------------------------
17.00-18.50 Poster Presentation and Tea/Coffee break
--------------------------------------------
19.00 Leave for Conference Banquet from Conference Site
--------------------------------------------
19.30 Conference Banquet
==========================================================================
Sunday, December 12, 1999
==========================================================================
--------------------------------------------
9.00-10.00 Invited Talk: Krishna Palem
--------------------------------------------
Emerging Application Domains and the Computing Fabric
--------------------------------------------
10.00-10.30 Tea/Coffee Break
--------------------------------------------
10.30-12.20 Session 7: Hardware
--------------------------------------------
Rapid Prototyping Techniques for Fuzzy Controllers
Chantana Chantrapornchai, Sissades Tongsima, Edwin Sha
Observable Sharing for Functional Circuit Description
Koen Claessen, David Sands
Formal Verification of Descriptions with Distinct Order of
Memory Operations
G. Ritter, H. Hinrichsen, and H. Eveking
Logical Relations in Circuit Verification
Mia Indrika
--------------------------------------------
12.20-14.00 Lunch
--------------------------------------------
14.00-15.50 Session 8: Hardware & Algorithms
--------------------------------------------
BDD-nodes can be more expressive
Frank Reffel
Separators are as Simple as Cutsets
Hong Shen
Ant Colony System for the Ship-berthing Problem
Chia Jim Tong, Andrew Lim
A Parallel Approximation Algorithm for the Max Cut Problem
on Cubic Graphs
Tiziana Calamoneri, Irene Finocchi, Yannis Manoussakis,
Rossella Petreschi
--------------------------------------------
16.00 Excursion: Evening Cruise
--------------------------------------------