17:00 | Depart AIT by coach with English-speaking guide for Ayutthaya. |
17:45 | Arrive at Ayutthaya and visit Wat Pra Sri Maha Thai and Wat Rajburana. |
18:30 | Visit Wat Chaiwattanaram on the bank of the Chao Praya River opposit H.M. The Queen's palace. |
18:45 | Visit Wat Phra Srisanpet. |
19:00 | Depart for The Thai House Restaurant. |
19:20 | Arrive at the restaurant. Welcome fruit juice on arrival. |
19:45 | Dinner served. Menu attached. |
20:45 | Depart for AIT |
21:45 | Arrive at AIT |
Combinatorial Processes, Symbolic Computation and Analysis of Algorithms
Philippe Flajolet (INRIA-Rocquencourt)
Leapfrogging Samplesort, Eliezer A.Albacea (University of the Philippines, Los Banos)
Spanning 2-trees, Leizhen Cai (The Chinese University of Hong Kong)
Minimal Linear Invariants, Ming Kao (Duke University, USA)
Parallel Maximal Matching on Series-Parallel Digraphs, Luca Baffi, Rossella Petreschi (University di Roma ``La Sapienza'')
Efficient Equality-Testing and Updating of Sets, Tak Wah Lam, Ka Hing Lee (University of Hong Kong)
Binary Space Partitions for Sets of Hyperrectangles, Viet Hai Nguyen, Peter Widmayer (ETH, Zurich)
Transformation of Orthogonal Term Rewriting Systems, Sugwoo Byun(ETRI, Korea), Richard Kennaway and Ronan Sleep (University of East Anglia, UK)
An Automata-Driven Frame Disposal Algorithm and its Proof of Correctness, M. Satpathy, A. Sanyal, G. Venkatesh (IIT, Bombay)
Labeled lambda-Calculus and A Generalised Notion of
Strictness,
M. Gandhe, G. Venkatesh, Amitabha Sanyal (IIT, Bombay)
The Constructive Semantics of Synchronous Circuits and Languages, Gerard Berry (Ecole des Mines de Paris, Sophia-Antipolis)
Preemption Primitives in Reactive Languages, Eric Rutten (INRIA Rennes), R.K. Shyamasundar (TIFR, India)
Multi-Action Process Algebra, Wojcieh Fraczak (LRI, Orsay)
Complexity as a basis for comparing semantic models of concurrency, Alan Mycroft (Cambridge University), Pierpaolo Degano, Corrado Priami (Universita di Pisa)
Combinatory Formulations of Concurrent Languages, N. Raja, R.K. Shyamasundar (TIFR, India)
Constraints for Free in Concurrent Computation, Joachim Niehren and Martin Muller (DFKI, Saarbrucken)
Message recovery in distributed systems, Pajkaj Jalote, IIT Kanpur
Detecting Distributed Termination in the Presence of Node Failure, Xinfeng Ye (University of Auckland), John Keane (UMIST, Manchester)
An Extended Gradient Model for NUMA Multiprocessor Systems, Feixong Liu, T. Peinkenkamp, W. Damm (University of Oldenburg)
Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected Computers, Shao Dong Chen, Hong Shen, Rodney Topor (Griffith University)
Pipelined Band Join in Shared-Nothing Systems, Hongjun Lu, Kian-Lee Tan, (National University of Singapore)
Keynote address: Computer-Aided Verification
of Real-Time Systems, Zohar Manna (Stanford
University, USA)
Topic to be announced, Jean-Louis Lassez (IBM, Yorktown Heights, USA)
Inductive Logic Programming based on Genetic Algorithm, Kimihiro Yamamoto, Shozo Naito, Masaki Itoh (NTT Sofware Laboratories, Japan)
The Equivalence of the Subsumption Theorem and the Refutation-completeness for Unconstrained Resolutions, H. N. Cheng, Ronald de Wolf (Erasmus University of Rotterdam, Netherland)
Probabilistic Logic Programming and Bayesian Networks, Liem Ngo, Peter Haddawy (University of Wisconsin, USA)
Deriving and Applying Logic Program Transformers, Penny Anderson, David Basin (Max-Planck Institute, Saarbrucken, Germany)
Performance of a Data-Parallel Concurrent Constraint Programming System, Bo-Ming Tong, Ho-Fung Leung (The Chinese University of Hong Kong)
Formalizing Inductive Proofs of Network Algorithms, Ramesh Bharadwaj (McMaster University), Amy Felty, Frank Stomp (AT&T Bell Laboratories, USA)
TROM - An Object Model for Reactive System Development, R. Achuthan, V.S. Alagar, T. Radhakrishnan (Concordia University, Montreal, Canada)
Duration Calculus Specification of Scheduling for Tasks with Shared Resources, Phillip Chan and Dang Van Hung (UNU/IIST, Macau)
Trace Specifications of Non-deterministic Multi-object Modules, Michal Iglewski(University of Quebec, Canada), Marcin Kubica, Jan Madey (Warsaw University, Poland)
ESP-MC: An Experiment in the Use of Verification Tools, X. J. Chen (Universita di Roma ``La Sapienza''), Paola Inverardi (Universita di L'Aquila), C. Montangero (Universita di Pisa)