Int. Workshop COCL'98 - first call for papers


          My apologies if you receive this more than once!

                  First International Workshop on 
                              C O C L
                        September 18/19, 1998
                           Pisa (Italy) 
                [A satellite event of ALP-PLILP-SAS]

See also the Workshop home page:
for a copy of this cfp and latest information.

The ongoing improvements in hardware design, the increase in
networking and the use of the internet, and the expansion of the
personal computer market have all contributed to the demand for
rapidly constructed reliable yet adaptable software. The recent
paradigm shift in computing from stand-alone to distributed computer
systems requires new conceptual models for computing. To meet these
demands, the next generation of software will need to be reliably
constructed using multiparadigm and multilingual components possibly
distributed over a network of computers.

Computational logic has already made a real contribution to the
design and development of large software systems. For example, logic
programming is actively being used in semantic-based analysis and
program code manipulation, either for the tool or for the software to
be processed. New advances in logic are enabling the direct expression
of coordination and concurrency together with various forms of
abstraction. Moreover, facilities such as dynamic memory management,
secure pointer manipulation, and compilation to architecture
independent code needed for the development of networking tools have
already developed for logic programming and other declarative
This workshop will focus on investigating and promoting the use of
computational logic for developing component-based computer systems,
and will emphasize practical solutions to problems inherent in
developing large and complex computer systems.
Suggested, but not exclusive, topics of interest for submissions
 * Abstract data types
 * Modules, objects, frameworks, patterns
 * Composition operators
 * Specification of components
 * Transformation of component-based software
 * Component re-usability
 * Coordination of components
 * Meta-programming and meta-reasoning
 * Interacting agents
 * Semantics
 * Applications
 * Distributed software
 * Multiparadigm software

We invite papers of up to 15 pages in length describing (in English)
original completed work, work in progress, or interesting problems to
be solved. Note that 15 pages is the maximum, there is no minimum
length. The selection will be based on the originality and
significance of the ideas as well as any technical aspects.  At least
one author of each accepted paper should attend the workshop and be
prepared to present the work.  Electronic submissions are
preferred. These should be in uuencoded compressed postscript or in
html and should be sent to 


In the event of hard-copy submission, please send 5 copies to

Antonio Brogi
Dipartimento di Informatica
Universiti di Pisa
Corso Italia 40
56125 Pisa

Accepted papers will be published on the workshop web site and made
available in printed form at the workshop.  It is planned that the
best papers will be invited for resubmission as journal publications
(or equivalent).

submission deadline:   June  1, 1998
       notification:   July 20, 1998
       final papers: August 23, 1998

Workshop Organisers:
Antonio Brogi          (Univ. of Pisa, Italy)
Patricia Hill          (Univ. of Leeds, UK)

Program Committee:

Oskar Bartenstein      (IF Computer, Japan)
Antonio Brogi          (Univ. of Pisa, Italy)
Danny De Schreye       (Univ. of Leuven, Belgium)
Phan Minh Dung         (AIT, Thailand)              
Patricia Hill          (Univ. of Leeds, UK)
Kung-Kiu Lau           (Univ. of Manchester, UK)
Gary Leavens           (Iowa State U., USA)
Dennis Merrit          (Amzi!inc, USA)
Dale Miller            (Pennsylvania State U., USA) 
Zoltan Somogyi         (Univ. Of Melbourne, Australia)
Paul Tarau             (U. of Moncton, Canada) 
Michel Vanden Bossche  (Mission Critical, Belgium)

Workshop home page: