International Workshop on Distributed and Internet Programming

DIPLCL99
International Workshop on Distributed and Internet Programming with Logic and Constraint Languages

PROGRAM
http://www.binnetcorp.com/wshops/ICLP99DistInetWshop.html

Las Cruces, New Mexico USA

This workshop will be held in conjunction with ICLP99 - the International Conference on Logic Programming
http://www.CS.NMSU.Edu/~complog/conferences/iclp99/

With the paradigm shift to highly inter-connected computers and programming tools, logic and constraint languages have a unique opportunity to contribute to practical distributed and Internet application development. Simplicity, remote executability, robustness, automatic memory management, are among the features logic and constraint languages share with emerging tools like Java. Superior meta-programming, high-level distributed programming facilities, integrated dynamic database operations, declarative semantics are among their competitive advantages. Embedding of declarative components in Internet applications as well as recent Java-based implementations of logic and constraint programming languages are promising a quick integration of declarative programming research in widely used mainstream software systems.

Extending the scope of its predecessors held at JICSLP'96 and ICLP'97 , the workshop explores the use of declarative programming tools for developing practical distributed and Internet applications as well as theoretical work based on logic and constraint programming techniques giving new insights on understanding emerging technologies.

Topics of interest include but are not limited to :

logic and constraint languages with remote processing abilities, mobile code, distributed objects
intelligent and mobile agents, multi-agent systems, coordination languages
theoretical work on foundations of distributed logic and constraint programming and Internet technologies
semantic issues in distributed programming
declarative languages for distributed AI
implementation technologies for declarative Internet programming languages
declarative Internet content analyzers and natural language tools
declarative tools for groupware, collaborative work technologies, virtual worlds
component-based programming (with first-class component specifications)
fault tolerance and security (dependable programming)
parallel and distributed constraint programming

The workshop is intended to show the potential of logic and constraint programming languages as a competitive technology for distributed and Internet application development and bring them closer to be recognized as mainstream software development tools. The main focus is on new and original research, but we also encourage the submission of papers describing products, and prototypes in development. Vision papers discussing the potential of emerging technologies for distributed and Internet programming are also welcome.

Please send electronic submission (PDF or PostScript) to diplcl99@cs.unt.edu. If this is not possible, please send five hardcopies to one of the workshop chairs.

Submission deadline: August 27, 1999

Notification of acceptance: October 15, 1999

Camera ready copy: November 5, 1999

Conference Dates: November 29-December 4, 1999

Workshop Date: November 29-December 4, afternoon sessions, during ICLP'99

Workshop Chairs

Peter Van Roy
Université catholique de Louvain
at Louvain-la-Neuve & Mozart Consortium,
Dept. of Computing Science and Engineering
Place Sainte-Barbe, 2
B-1348 Louvain-la-Neuve, BELGIUM
pvr@info.ucl.ac.be Paul Tarau
University of North Texas & BinNet Corporation
Department of Computer Science
P.O Box 311366, Denton
Texas 76203-1366
USA
t a r a u@cs.unt.edu

Program Committee
Hassan Aït-Kaci (Simon Fraser University, Canada)
Joe Armstrong (Bluetail, Sweden)
Paolo Ciancarini (University of Bologna, Italy)
Veronica Dahl (Simon Fraser University, Canada)
Andrew Davison (Asian Institute of Technology, Thailand)
Koen De Bosschere (University of Ghent, Belgium)
Denys Duchier (University of the Saarland, Germany)
Markus Fromherz (Xerox PARC, USA)
Bert Halstead (Curl Corporation, USA)
Dan Sahlin (Ericsson, Sweden)
Ehud Shapiro (Weizmann Institute, Israel)
Paul Tarau (University of North Texas, USA)
Peter Van Roy (Université catholique de Louvain, Belgium)

List of accepted papers