ASIAN'00 Programme

November 25
===========

 8:30 -  9:00   Registration of Participants

 9:00 -  9:30   Opening (USM VC, Joxan Jaffar)

 9:30 - 10:30	Keynote Talk
		Jean Vuillemin (Ecole Normale Superieure, France).
		Finite Digital Synchronous Circuits are characterised 
		by 2-algebraic truth table

10:30 - 11:00   TEA/COFFEE BREAK

11:00 - 11:30   Regular Talk 1
		Masahiro Kimoto and Masako Takahashi
		On Computable Tree Functions

11:30 - 12:00   Regular Talk 2
		Kamal Lodaya
		Sharpening the undecidability of interval temporal logic

12:00 - 12:30   Regular Talk 3
		Elvira Albert, Cesar Ferri, Frank Steiner, and German Vidal
		Improving Functional Logic Programs by Difference-Lists

12:30 - 14:00   LUNCH BREAK

14:00 - 14:30   Regular Talk 4
		Pierpaolo Degano, Francesca Levi, Chiara Bodei
		Safe Ambients: Control Flow Analysis and Security.

14:30 - 15:00   Regular Talk 5
		M.Dezani-Ciancaglini, Ivano Salvo
		Security Types for Mobile Safe Ambients

15:00 - 15:30   TEA/COFFEE BREAK

15:30 - 16:00   Regular Talk 6
		Silvano Dal-Zilio
		Spatial Congruence for Ambients is Decidable

16:00 - 16:30   Regular Talk 8
		Martin Leucker
		On model checking synchronised hardware circuits

20:00 - 22:00   Reception Dinner by USM

November 26
===========

 9:00 - 10:00	Invited Talk 1
		Alain Jean-Marie (LIRMM, France)
		Performance Evaluation of Networks: 
		New Problems and Challenges

10:00 - 10:30   Regular Talk 9
		Ettikan Kandasamy Karuppiah
		IPv6 Performance Analysis on FreeBSD Workstations using
		simple Applications

10:30 - 11:00   TEA/COFFEE BREAK

11:00 - 11:30   Regular Talk 10
		DongChun Lee, JeomGoo Kim and JooSeok Song
		Performance of Location Caching Scheme to Support
		Call Locality in Wireless Networks.


11:30 - 12:00   Regular Talk 11
		Der-Rong Din and Shian-Shyong Tseng
		Genetic Algorithm for Extended Cell Assignment Problem
		in Wireless ATM Network

12:00 - 12:30   Regular Talk 7
		Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad
		and S. Arun-Kumar
		Reflecting BDDs in Coq

12:30 - 14:00   LUNCH BREAK

14:00 - 14:30   Regular Talk 12
		Chong-Won Park and Young-Yearl Han
		A Practical Parity Scheme for Tolerating Triple Disk Failures
		in RAID Architectures


14:30 - 15:00   Regular Talk 13
		R. Chaki and U. Bhattacharya
		A New Multihop Logical Topology for Reliable
		Broadband Communication

15:00 - 15:30   Regular Talk 14
		R. Chaki and U. Bhattacharya
		A New Scalble Topology for Multihop Optical Networks

15:30 - 16:00   Tea/Coffee

17:45 - 19:30   Local Cultural Tour

19:30 - 22:30   Conference Banquet

November 27
===========

 9:00 - 10:00	Invited Talk 2
		Ramamohanarao Kotagiri (Univ. of Melbourne, Australia)
		Emerging Patterns and Classification

10:00 - 10:30   Regular Talk 15
		Keiichi Kaneko and Yasuto Suzuki
		Node-to-Set Disjoint Paths Problem in Rotator Graphs

10:30 - 11:00   TEA/COFFEE BREAK

11:00 - 11:30   Regular Talk 16
		Antonin Kucera
		On Simulation-Checking with Sequential Systems

11:30 - 12:00   Regular Talk 17
		B. Prabhakaran,  Binjia Jiao, Conrado R. Ruiz, Jr. and Zhiyong
		Reusing Animations in Databases for Multimedia Presentations

12:00 - 12:30   Regular Talk 18
		Authors: Choon-Bo Shim, Jae-Woo Chang
		A Spatio-temporal Representation Scheme for Modeling
		Moving Objects in Video Data

12:30 - 12:40   Closing (Joxan Jaffar)

12:45 - 14:00   Lunch