CALL FOR PAPERS: CICLOPS 2006

=======================================================================
                         Call For Papers

                           CICLOPS 2006
   Colloquium on Implementation of Constraint LOgic Programming Systems

                 http://www.cs.nmsu.edu/lldap/CICLOPS06
                          August 21, 2006

To be held in conjunction with
22nd International Conference on Logic Programming
Seattle, Washington
=======================================================================

Workshop Motivation
====================

   The last years have witnessed continuous progress in the technology
   available both for academic and commercial computing environments.
   Examples include more processor performance, increased memory capacity
   and bandwidth, faster networking technology, and operating system 
support
   for cluster computing. These improvements, combined with recent 
advances in
   compilation and implementation technologies, are causing high-level
   languages to be regarded as good candidates for programming complex,
   real world applications. Techniques aiming at achieving flexibility in
   the language design make powerful extensions easier to implement; on
   the other hand, implementations which reach good performance in terms
   of speed and memory consumption make declarative languages and systems
   amenable to develop non-trivial applications.

   Logic Programming and Constraint Programming, in particular, seem to 
offer
   one of the best options, as they couple a high level of abstraction 
and a
   declarative nature with an extreme flexibility in the design of their
   implementations and extensions and of their execution model. This
   adaptability is key to, for example, the implicit exploitation of
   alternative execution strategies tailored for different applications
   (e.g., for domain-specific languages) without unnecessarily jeopardizing
   efficiency.

   This workshop continues a tradition of successful workshops on
   Implementations of Logic Programming Systems, previously held with in
   Budapest (1993) and Ithaca (1994), the Compulog Net workshops on
   Parallelism and Implementation Technologies held in Madrid (1993 and
   1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and
   Implementation Technology for (Constraint) Logic Programming Languages
   (ParImp) held in Port Jefferson (1997), Manchester (1998), Las Cruces
   (1999), and London (2000), and more recently the Colloquium on
   Implementation of Constraint and LOgic Programming Systems (CICLOPS) in
   Paphos (Cyprus, 2001), Copenhagen (2002), Mumbai (2003), Saint-Malo
   (France, 2004), and Sitges (Spain, 2005), and the CoLogNet Workshops on
   Implementation Technology for Computational Logic Systems held in Madrid
   (2002), Pisa (2003) and Saint-Malo (France, 2004).

Workshop Description
====================

  The workshop aims at discussing and exchanging experience on the design,
  implementation, and optimization of logic and constraint (logic) 
programming
  systems, or systems intimately related to logic as a means to express
  computations. Preference will be given to the analysis and description of
  implemented (or under implementation) systems and their associated
  techniques, problems found in their development or design, and steps 
taken
  towards the solutions.

  The workshop topics include, but are not limited to:

   - Implementation of standard/alternative sequential models 
(generalization
     and modification of the WAM, translation to lower-level and/or
     general-purpose languages, etc.);
   - Implementation of parallel/concurrent models;
   - Interaction between high-level optimizations/transformations and lower-
     level issues;
   - Compile-time analysis and its application to code generation;
   - Balance between compile-time effort and run-time machinery;
   - Memory management, indexing, and garbage collection issues;
   - Profiling tools and performance evaluation;
   - Implementation techniques for declarative programming paradigms with
     basis on, or extending, logic and constraint programming, such as
     non-monotonic reasoning, inductive logic programming, natural language
     processing systems, etc;
   - Software desing with and for (C)LP systems: components, patterns, etc.;
   - Design and implementation of programming environments;
   - Experiences from using systems in real-life applications.


Workshop Format
===============
   The workshop will emphasize  discussion and cross-fertilization, so
   presentations will be balanced with discussion time. In this direction,
   the workshop is seeking  high quality papers that address  cutting-edge
   research in this field,  and that can contribute to the discussion.
   The agenda  will include  paper presentations, a panel discussion, and
   possibly  an invited speaker. At least one author of each accepted
   submission is expected to attend the workshop.

Important Dates
===============
    Submission Deadline:       June 1st, 2006 (strict)
    Notifications to Authors:  July 1st, 2006
    Final Version Deadline:    July 20th, 2006
    CICLOPS 2006 Workshop:     August 21st, 2006

Submission Guidelines
=====================
   Participants  should  submit a paper  (maximum 15 pages,  PDF
   format),  describing  their work  in topics  relevant  to the
   workshop.  Accepted papers  will be presented  during the workshop.
   At least one author  of an accepted contribution  is expected to
   register for the workshop, and present the paper.

   All  submissions   should   include   the  author's  name(s),
   affiliation, complete mailing address, and email address.

   Authors are requested to prepare their submissions, following
   the LNCS/LNAI Springer format. Please see:
       http://www.springer.de/comp/lncs/authors.html
   for further details.

   The submission should be submitted through the electronic
   submission site, accessible via the workshop web page.
   The deadline for receipt of submissions is June 1, 2006.
   Papers received after this date may not be reviewed.
   Eligible  papers  will  be  peer-reviewed  by  at least three
   members of the Program Committee.
   Authors will be notified via email of the results by July 1,
   2006.   Authors  of accepted papers  are expected  to improve
   their paper based on reviewers' comments and to send a camera
   ready version of their manuscripts by July 20, 2006.

   Accepted papers will be included in the workshop proceedings,
   which will be distributed to the participants.

    Questions about submissions may be directed to
             haifengguo <AT> mail <DOT> unomaha <DOT> edu


Organizing Committee
====================
   Hai-Feng Guo        (University of Nebraska at Omaha)
   Enrico Pontelli     (New Mexico State University)


Program Committee
=================
   Manuel Carro        (Polytechnic University of Madrid)
   Bart Demoen         (KUL Leuven)
   Michel Ferreira     (University of Porto)
   Hai-Feng Guo        (University of Nebraska at Omaha)
   Gopal Gupta         (University of Texas at Dallas)
   Enrico Pontelli     (New Mexico State University)
   Vitor Santos Costa  (Federal University of Rio de Janeiro)
   Tom Schrijvers      (KUL Leuven)
   Christian Schulte   (University of Uppsala)
   Neng-Fa Zhou        (City University of New York)

Contact Information
===================
      Hai-Feng Guo
      University of Nebraska at Omaha
      Department of Computer Science
      6001 Dodge Street
      Omaha, NE 68182, USA
      haifengguo <AT> mail <DOT> unomaha <DOT> edu

      Enrico Pontelli
      New Mexico State University
      Department of Computer Science
      Box 30001, MSC CS
      Las Cruces, NM 88003, USA
      epontell <AT> cs <DOT> nmsu <DOT> edu



------------------------------------------------------------------------
This e-mail was delivered to you by event@in.tu-clausthal.de, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
 
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner@in.tu-clausthal.de ASAP. 
 
******************************************************
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 
******************************************************

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/

Received on Thursday, 9 March 2006 21:48:01 UTC