Preliminary Program of ASIAN'97


                               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.)

--------------------------------------------------------------------------
8 December 1997
--------------------------------------------------------------------------

1700-2000 : Registration


--------------------------------------------------------------------------
9 December 1997
--------------------------------------------------------------------------

0900-0915 : Opening Session

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

--------------------------------------------------------------------------
1900-2100  "Namaste Reception" by ICIMOD
--------------------------------------------------------------------------

--------------------------------------------------------------------------
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-1330 : Lunch

1330-1500 : 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

1500-1630 : 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


--------------------------------------------------------------------------
12 December 1997
--------------------------------------------------------------------------

0900-1130 : Post-Conference Workshop 1

  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.

0900-1200 : Post-Conference Workshop 2

  Concurrency, Distribution and Mobility
  [organized by Jean-Jacques Levy (INRIA) and
   Catuscia Palamidessi (Penn State Univ.), 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).

The conference proceedings will be published as Lecture Notes in Computer Scinece 1345, Springer-Verlag.


Last update: November 15, 1997, by Kazunori Ueda