COLOGNET Joint Workshop

Manuel Carro colognet-imp@clip.dia.fi.upm.es
Fri, 19 Jul 2002 19:10:48 +0200


We apologize for multiple copies

==========================================================================

                  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.

===========================================================================