[mercury-users] CFP: COCL'99

[Lee Naish]

_______________________________________________________________________

          My apologies if you receive this more than once!
_______________________________________________________________________
                          CALL FOR PAPERS 
                   with new deadline - 2nd July 99

                  Second International Workshop on 
     COMPONENT-BASED SOFTWARE DEVELOPMENT IN COMPUTATIONAL LOGIC
                        September 27th, 1999
                           Paris (France) 
                    [A satellite event of PPDP]

................................................................
See also the Workshop home page:
          http://www.di.unipi.it/~brogi/cocl99.html
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
paradigms.
 
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
include: 
 * 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

Note that COCL'98 was held in Pisa last year as a satellite event of
ALP-PLILP'98. 

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 

brogi at di.unipi.it

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
Italy

Accepted papers will be published on the workshop web site and made
available in printed form at the workshop.  The best papers will be
invited for resubmission for publication in a journal. If there are
sufficient papers, they will be published in a special issue for COCL
- component-based software development in computational logic.

submission deadline:      July 2, 1999 
       notification:    August 2, 1999
       final papers: September 2, 1999

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)
Michael Hanus    (RWTH Aachen, Germany)
Patricia Hill          (Univ. of Leeds, UK)
Kung-Kiu Lau           (Univ. of Manchester, UK)
Lee Naish             (U. of Melbourne, Australia)
Ernesto Pimentel    (U. of Malaga, Spain)
Paul Tarau             (U. of North Texas, USA)

Workshop home page:
  http://www.di.unipi.it/~brogi/cocl99.html
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------