Programme for ASIAN'98

---

Organizers, Programme List of Participants Paper Submission, Authors' Instructions Local Arrangement Registration Puzzle

---

Tuesday, December 8th

Invited Talk 1: 9:00 - 10:00

Testing Proofs by Examples
Susumu Hayashi (Kobe University, Japan)

Session 1: 10:30 - 12:30

• Rigid Reachability

Harald Ganzinger, Florent Jacquemard and Margus Veanes
• Mechanizing Reasoning about Large Finite Tables in a Rewrite based Theorem prover

Deepak Kapur and M. Subramaniam
• A Polymorphic Language which is Typable and Poly-step

Luca Roversi
• Cut Elimination for Classical Proofs as Continuation Passing Style Computation

Ichiro Ogata

Tutorial 1: 2:00 - 5:00

Semantics and Logic for Provable Fault-Tolerance
Tomasz Janowski (UNU/IIST, Macau)

---

Wednesday, December 9th

Invited Talk 2: 9:00 - 10:00

The rewriting calculus as a semantics of ELAN
Claude Kirchner (INRIA, France)

Session 2: 10:30 - 12:00

• Taxonomy and Expressiveness of Preemption: A syntactic approach

Sophie Pinchinat, Eric Rutten, R.K. Shyamasundar
• Exploring Regional Locality in Distributed Shared Memory

Zhiyi Huang, Chengzheng Sun, and Abdul Sattar
• Guaranteed Mutually Consistent Checkpointing in Distributed Computations

Zhonghua Yang, Chengzheng Sun, Abdul Sattar, and Yanyan Yang

Session 3: 13:30 - 15:00

• Tried Linear Hashing

C.H. Ang, S.T. Tan, and T.C. Tan
• A New Factoring Algorithm for Magic Predicates

Xiaoyong Du, Zhibin Liu, and Naohiro Ishii
• An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs

Sun-yuan Hsieh, Gen-huey Chen, Chin-wen Ho

Session 4: 15:30 - 17:00

• Type Inference for First-Class Messages with Feature Constraints

Martin Mueller and Susumu Nishimura
• Two flavors of Offline Partial Evaluation

Simon Helsen, Peter Thiemann
• First-class Contexts in ML

Masatomo Hashimoto

Conference Dinner

Makati Shangri-La Hotel: 19:00

---

Thursday, December 10th

Keynote Address: 9:00-10:00

Formal Methods: Past, Present, and Future
Jeannette M. Wing (CMU, USA)

Session 5: 10:30 - 12:30

• A Comparison of Petri Net Semantics under the Collective Token Philosophy

Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
• Bisimulation Lattice of Chi Processes

Yuxi Fu
• Eventuality in LOTOS with a Disjunction Operator

Yoshinao Isobe, Yutaka Sato, and Kazuhito Ohmaki
• Towards a characterisation of finite-state message-passing systems

Madhavan Mukund, K Narayan Kumar,Jaikumar Radhakrishnan, and Milind Sohoni

Tutorial 2: 14:00 - 17:00

Mobile Computation: Calculus and Languages
R.K. Shyamasundar (TIFR Bombay, India)

---

hsiang@csie.ntu.edu.tw and ohori@kurims.kyoto-u.ac.jp