From hill@scs.leeds.ac.uk Tue Mar 30 10:42:16 1999 Date: Fri, 26 Mar 1999 17:41:38 PST From: P M Hill Reply-To: Theory-A - TheoryNet World-Wide Events , P M Hill To: THEORYNT@LISTSERV.NODAK.EDU Subject: First cfp: COCL'99 _______________________________________________________________________ My apologies if you receive this more than once! _______________________________________________________________________ CALL FOR PAPERS 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.... 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@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: June 25, 1999 notification: July 27, 1999 final papers: August 20, 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