Newsgroups: comp.parallel
From: on@nntp.ait.ac.th ( Olivier Nicole)
Subject: Asian Computing Science Conference 1995, Bangkok, Thailand
Organization: AIT, Thailand
Date: 29 Sep 1995 17:31:47 GMT
Message-ID: <44hai3$62g@usenet.srv.cis.pitt.edu>

	The Asian Computing Science Conference 1995

		 11-13 December, 1995

		  Bangkok,  Thailand


	        CALL FOR PARTICIPATION


The Asian Computing Science Conference 1995 (AsianCSC95) is an international 
conference held in Asia to foster scientific exchanges among international
computer scientists. A major goal of the AsianCSC is to foster communication 
and cooperation among the diverse communities  involved in the practice and 
theory of computing, including those involved  in systems, languages, and 
applications.  It is the first conference of its kind covering areas 
in computer science in which there are sufficient research interest in Asia.
Organized by the Asian Institute of Technology (AIT), INRIA
and the United Nations International Institute for Software Technology, Macau.

Up-to-date information on the conference can be found at URL:

                        http://www.cs.ait.ac.th/conf/

Registration form to the conference can be obtain by sending an email to:

                        acsc-reg@cs.ait.ac.th

with the word "form" as mail Subject.


Keynote Address:	Zohar Manna, Stanford University

Invited Speakers:	Gerard Berry, Ecole des Mines de Paris, France
			Philippe Flajolet, INRIA, France
			Jean-Louis Lassez, IBM TJ Watson, USA


List of Contributed Papers:



Leapfrogging Samplesort
Eliezer A. Albacea (University of the Philippines Los Ba\~nos)

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)

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)

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 Resolution
S.~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 Igleski, Marcin Kubica, Jan Madey (University of Quebec, Canada)

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)}

