------------------------------------------------------------------------
[EMAIL PROTECTED]: To unsubscribe, read the info at the bottom of this message.
------------------------------------------------------------------------
=======================================================================
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 (KTH Royal Institute of Technology)
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
--
-------------------------------------------------------------------------
Knowledge representation, Logic | email: [EMAIL PROTECTED]
and Advanced Programming (KLAP) | [EMAIL PROTECTED]
Department of Computer Science | www: http://www.cs.nmsu.edu/~epontell
Box 30001, Dept. CS |
New Mexico State University | Ph: +1 (505) 646 6239
Las Cruces, NM 88003-0001 | Fax: +1 (505) 646 1002
USA |
-------------------------------------------------------------------------
------------------------------------------------------------------------
This e-mail was delivered to you by [EMAIL PROTECTED], what is a
moderated list run 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 [EMAIL PROTECTED] ASAP.
If you want to unsubscribe from this list, please visit
http://www2.in.tu-clausthal.de/mailman/listinfo/event, or send an e-mail
with a subject unsubscribe to [EMAIL PROTECTED]
If you experience problems with your unsubscription, do not hesitate
and contact the list administrator at [EMAIL PROTECTED]
******************************************************
* 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/
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
