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:
- [EMAIL PROTECTED] (for CBD papers) or to
- [EMAIL PROTECTED] (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: [EMAIL PROTECTED] --- Ph: +34-91336-7455 --- FAX: +34-91336-7412 |
|http://lml.ls.fi.upm.es/~boris --- http://clip.dia.fi.upm.es/Software/Ciao|
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
