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. A message containing the an attached
postcript or html version of the paper should be sent to brogi@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 7, 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