1995 Asian Computing Science Conference



Social Events


Sunday, December 10th, 19:00--22:00

Registration

Welcoming Reception

Monday, December 11th, 17:00--22:00

Ayutthaya by Night

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

Tuesday, December 12th, 19:30--23:00

Conference Banquet



Monday, December 11th


8:00--9:00

AsianCSC95 Opening Session

9:00--9:30

Coffee Break

9:30--10:30

AsianCSC95 Invited Talk

Combinatorial Processes, Symbolic Computation and Analysis of Algorithms
Philippe Flajolet (INRIA-Rocquencourt)

10:30--10:45

Coffee Break

10:45--12:15

AsianCSC95 Session 1: Algorithms

Chair: 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)

12:15--13:30

13:30--15:00

AsianCSC95 Session 2: Algorithms

Chair: Mordecai Golin (HKUST, Hong Kong)

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)

15:00--15:30

Coffee Break

15:30--17:00

AsianCSC95 Session 3: Knowledge Representation and Programming Languages

Chair: Jean-Jacques Lévy (INRIA-Rocquencourt)

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)



Tuesday, December 12th


8:00--9:00

AsianCSC95 Invited Talk

The Constructive Semantics of Synchronous Circuits and Languages, Gerard Berry (Ecole des Mines de Paris, Sophia-Antipolis)

9:00--9:30

Coffee Break

9:30--10:30

AsianCSC95 Session 4: Concurrency and Networking

Chair: Dang Van Hung (UNU/IIST, Macau)

Preemption Primitives in Reactive Languages, Eric Rutten (INRIA Rennes), R.K. Shyamasundar (TIFR, India)

Multi-Action Process Algebra, Wojcieh Fraczak (LRI, Orsay)

10:30--10:45

Coffee Break

10:45--12:15

AsianCSC95 Session 5: Concurrency and Networking

Chair: Amir Pnueli, (Weizmann Institute, Israel)

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)

12:15--13:00

Lunch

13:00--14:30

AsianCSC95 Session 6: Concurrency and Networking

Chair: Shigeki Goto, (NTT, Japan)

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)

14:30--15:00

Coffee Break

15:00--16:00

AsianCSC95 Session 7: Data Bases

Chair: Serge Abiteboul (Stanford University)

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)

19:00--23:00

Conference Banquet

Keynote address: Computer-Aided Verification of Real-Time Systems, Zohar Manna (Stanford University, USA)



Wednesday, December 13th


8:00--9:00

AsianCSC95 Invited Talk

Topic to be announced, Jean-Louis Lassez (IBM, Yorktown Heights, USA)

9:00--9:30am

Coffee Break

9:30--10:30am

AsianCSC95 Session 8: Knowledge Representation and Programming Languages

Chair: Joxan Jaffar (NUS, Singapore)

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)

10:30--10:45

Coffee Break

10:45--12:15

AsianCSC95 Session 9: Knowledge Representation and Programming Languages

Chair: Kanchana Kanchanasut (AIT, Thailand)

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)

12:15--13:00

Lunch

13:00--14:30

AsianCSC95 Session 10: Specifications and Verification

Chair: Dines Bjorner (UNU/IIST, Macau)

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)

14:30--15:00

Coffee Break

15:00--16:00

AsianCSC95 Session 11: Specifications and Verification

Chair: S. Ramesh, IIT(Bombay), India

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)

4:00pm

End of the Conference


1995 Asian Computing Science Conference