Programme for ASIAN'98 Flag


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

Top
Tuesday, December 8th

Flag Invited Talk 1: 9:00 - 10:00

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

Flag Session 1: 10:30 - 12:30

Flag Tutorial 1: 2:00 - 5:00

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


Top
Wednesday, December 9th

Flag Invited Talk 2: 9:00 - 10:00

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

Flag Session 2: 10:30 - 12:00

Flag Session 3: 13:30 - 15:00

Flag Session 4: 15:30 - 17:00

Top
Conference Dinner

Flag Makati Shangri-La Hotel: 19:00


Top
Thursday, December 10th

Flag Keynote Address: 9:00-10:00

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

Flag Session 5: 10:30 - 12:30

Flag 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