(DBWORLD) Logic-Based Composition Of Software (CFP)

P M Hill (hill@scs.leeds.ac.uk)
Wed, 12 Feb 1997 12:11:06 -0600 (CST)

Call For Papers

Workshop on

LOGIC-BASED COMPOSITION OF SOFTWARE

Post conference workshop for the

INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
Leuven, Belgium, July 8-11th July

World-Wide-Web: = http://www.scs.leeds.ac.uk/hill/locos.html

DESCRIPTION:
Most modern computer systems consist of large numbers of software
components. Moreover, the internet revolution, has led to an increased
demand for personalised software that can be easily constructed from
generic packages.
The rapid expansion of computer networks has highlighted the need for
software solutions for complex systems consisting of diverse
elements, where diversity involves both computational models and
physical distribution of software components.

Logic programming has been proved to be an excellent basis for program
composition. Features such as dynamic memory management, secure
pointer manipulation, and compilation to architecture-independent code
makes LP a strong candidate for the development of networking
tools. However, to exploit this potential, many aspects concerning
modularity and program composition need further research and
development. For example, methods for combining the program
composition extension to LP with other proposed extensions need to be
studied. In addition, if the integrated paradigms based on LP are to
compete successfully, issues such as modularity need to be
addressed. Program development tools and optimisation techniques need
to be designed for modular programming. New declarative languages are
required that provide a semantically-based modular environment with
direct support for program composition.

The workshop will provide a forum for exploring aspects of modularity
and program composition in logic programming and related areas. The
intention is to bring together researchers to identify common ground,
relevant experiences, interesting applications, open problems and
possible future requirements in this area.

TOPICS of interest include but are not limited to:

* modules and modular languages
* program composition; the operators and their semantics
* the relationship between modules and program composition
* communication-oriented extensions of LP
* logic-based coordination languages
* the relationship between agents and modules
* program analysis and transformation for modular programming
* use of meta-programming for software composition
* re-use of software components
* applications

SUBMISSIONS:

Full papers or extended abstracts in English of up to 10 pages are
welcome on any of the above topics or other related issues, by April
14th, 1997. Authors are invited to send their papers to one of the
organizers. Submission in (preferably uuencoded) postscript format by
e-mail is encouraged. Notification of acceptance will be no later than
May 8, 1997. The final, camera-ready versions of the accepted papers
must be received by June 9, 1997 to be included into the workshop
proceedings.

DATES:

Deadline for submissions: 14th April
Acceptance: 8th May
Camara Ready Copy: 9th June
Conference Dates: 8-11th July

ORGANISERS:

Antonio Brogi Patricia Hill
Dipartimento di Informatica School of Computer Studies
Universita di Pisa University of Leeds
Corsa Italia 40 Leeds
56100 Pisa LS2 9JT
Italy UK
brogi@di.unipi.it hill@scs.leeds.ac.uk

Main workshop coordinator -- Pat Hill

-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

to subscribe send
subscribe dbworld Your Full Name

to unsubscribe send
unsubscribe dbworld

to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address

to find out more options send
help
------------------------------------------------------------------------FOOTER-