We apologize for multiple reception of this message. Please note the quite near deadline. ========================================================================== Call for Papers and Participation --------------------------------- COLOGNET Joint Workshop on -------------------------- Component-based Software Development ------------------------------------ and Implementation Technology for Computational Logic Systems --------------------------------------------------------- (http://clip.dia.fi.upm.es/COLOGNET-WS/) Affiliated with LOPSTR 2002 19 - 20 September 2002, Madrid, Spain COLOGNET (http://www.colognet.org), the European Network of Excellence in Computational Logic is organizing a workshop on two of its workpackages: Component-based Software Development (CBD) and Implementation Technology for Computational Logic Systems (ITCLS). This joint workshop will be collocated with SAS/LOPSTR/AGP (http://clip.dia.fi.upm.es/SAS-LOPSTR-AGP). The aim of the workshop is to present and discuss current research issues, both in academia and industry. The joint workshop will be organized in two sessions: Component Based Software Development ------------------------------------ The goal of this session is to examine the process of component-based software development in all phases of the development life-cycle (i.e., specification, design, composition, testing, deployment). Special emphasis will be placed on the use of Computational Logic throughout the process. A non-exhaustive list of topics includes: - Methodological foundation of component-based software development. - Modeling of component-based systems. - Tools supporting component-based development. - Integration of the component paradigm into existing environments. - Component testing, verification, distribution, maintenance. - Combination of heterogeneous component technologies. - The role of Computational Logic in all the above. - Industrial experience reports. Implementation Technology for Computational Logic Programming ------------------------------------------------------------- This session is intended to be a continuation of the series of workshops on Implementations of Logic Programming Systems held in the context of COMPULOG NET, the former Network of Excellence in Computational Logic. But, in contrast to the COMPULOG area meetings on implementation, which were rather centered toward logic and constraint logic programming systems, the target of this workshop is broader: it includes implementation technology for other areas which are part of the COLOGNET network. The aim is to bring together researchers from fields such as automated reasoning, natural language processing, constraint logic programming, model checking, etc., in order to share common problems and solutions regarding implementation issues which arise in the logic-based systems arena. Suggested topics of interest for the implementation workshop include, but are not limited to: - Implementation of resolution and model elimination theorem provers. - Implementation for non-monotonic reasoning systems and semantics. - Implementation of higher-order, linear, etc. logics. - Implementation techniques for natural language processing. - Standard and non-standard sequential implementation schemes for constraint logic programing languages (e.g., generalization / modification of WAM, translation to C, etc.) - Memory management and garbage collection issues. - Implementation of concurrency and parallelism in logic-based languages. - Extensions to the Warren Abstract Machine. Term indexing. Invited Talks ------------- The workshop programme will consist of invited talks and accepted papers. So far, invited talks include the following: Keynote Speaker (shared among CBD, ITCLS and LOPSTR): ---------------------------------------------------- Robert Hall, AT & T (still pending of final confirmation). Robert Hall does research on Automated Software Engineering, particularly in making networked services and components secure, reliable, and scalable. CBD: ---- Antonio Brogi, University of Pisa, Modeling Component Behaviors. Kung-Kiu Lau, University of Manchester, A Priori Reasoning for CBD. Manuel Carro, UPM, Madrid, The AMOS Project. ITCLS: ------ Michael Fisher, University of Liverpool, Implementing Temporal Logics: Tools for Execution and Proof. Submissions and Deadlines ------------------------- Authors are invited to contribute to the programme by submitting extended abstracts (6 pages maximum) or full papers (12 pages maximum) on the workshop themes. Limits are strict, and the llncs format (http://www.springer.de/comp/lncs/authors.html) must be used. Submissions are to be sent to the organizing committee by emailing them to: - kung-kiu@cs.man.ac.uk (for CBD papers) or to - colognet-imp@clip.dia.fi.upm.es (for ITCLS papers) Submission deadline: July 26 Notification to authors: August 5 Camera-ready copies: September 5 Workshop: September 19-20 Informal proceedings will be available at the workshop. Organizing Committee -------------------- Antonio Brogi, University of Pisa, Italy. Manuel Carro, UPM, Madrid, Spain. Shui Ming Ho, University of Manchester, UK. Kung-Kiu Lau, University of Manchester, UK. Mario Ornaghi, University of Milan, Italy. German Puebla, UPM, Madrid, Spain. Claudio Vaucheret, UPM, Madrid, Spain. =========================================================================== -- +--------------------------------------------------------------------------+ |Manuel Carro -- Facultad de Informática -- U. Politécnica de Madrid (UPM) | | Email: mcarro@fi.upm.es --- Ph: +34-91336-7455 --- FAX: +34-91336-7412 | |http://lml.ls.fi.upm.es/~boris --- http://clip.dia.fi.upm.es/Software/Ciao|