[mercury-users] CFP: DIPLCL99 - International Workshop on Distributed and Internet Programming with Logic and Constraint Languages

Paul Tarau "t a r a u" at silo.csci.unt.edu
Mon Jun 14 09:50:13 AEST 1999


We apologize in advance if you receive redundant copies of this announcement
from multiple mailing lists.

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

      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 at 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                               Paul Tarau
 Université catholique de Louvain            University of North Texas
 at Louvain-la-Neuve & Mozart Consortium,    & BinNet Corporation
 Dept. of Computing Science and Engineering  Dept. of Computer Science
 Place Sainte-Barbe, 2                       P.O Box 311366,  Denton
 B-1348 Louvain-la-Neuve, BELGIUM            Texas 76203-1366, USA
 pvr at info.ucl.ac.be                          t a r a u at 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 & BinNet Corporation, USA)
Peter Van Roy  (Université catholique de Louvain, Belgium & Mozart Consortium)

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list