CALL FOR PAPERS
                                   ICLP'08

             24th International Conference on Logic Programming
                    Udine, Italy, December 9th-13th, 2008
                         http://iclp08.dimi.uniud.it


CONFERENCE SCOPE
----------------
Since  the  first  conference  held  in  Marseilles  in 1982, ICLP has been the
premier  international conference for presenting research in logic programming.
Contributions (papers, position papers, and posters) are sought in all areas of
logic programming including but not restricted to:

* Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
  Knowledge Representation.
* Implementation: Compilation, Memory Management, Virtual Machines, Parallelism.
*  Environments:  Program  Analysis,  Program  Transformation,  Validation  and
  Verification, Debugging, Profiling, Integration.
* Language  Issues:  Extensions, Integration with Other Paradigms, Concurrency,
  Modularity,  Objects,  Coordination,  Mobility,  Higher Order, Types, Modes,
  Programming Techniques.
* Related Paradigms:  Abductive Logic Programming, Inductive Logic Programming,
  Constraint Logic Programming, Answer-Set Programming.
* Applications:   Databases,    Data   Integration  and   Federation,  Software
  Engineering,  Natural  Language  Processing,  Web  and Semantic Web, Agents,
  Artificial Intelligence, Bioinformatics

The three broad categories for submissions are:
  (1) Technical papers,  providing  novel research  contributions,  innovative
      perspectives  on the field,  and/or novel integrations  across different
      areas;
  (2) Application  papers,  describing  innovative uses  of  logic programming
      technology in real-world application domains;
  (3) Posters, ideal for presenting and discussing current work, not yet ready
      for publication, for PhD thesis summaries and research project overviews.

A  separate  session  dedicated  to  the celebration of the 20th anniversary of
stable model semantics will also be part of the program.

Accepted  papers and posters will be allocated time for presentation during the
conference.  At  least  one  author  of each accepted submission is expected to
register and participate in the event.

In  addition  to papers and posters, the technical program will include invited
talks,  advanced  tutorials,  specialized  sessions,  workshops, and a Doctoral
Student  Consortium.  Details,  as  they  become  available  will be posted at:

                        

PAPERS AND POSTERS
------------------
Papers and posters must describe original, previously unpublished research, and
must  not  be simultaneously submitted for publication elsewhere. Emphasis will
be  placed  on  the  novelty  and innovative nature of the results (even if not
completely polished and refined).
All  submissions  will  be peer-reviewed by an international panel. Submissions
MUST contain substantial original, unpublished material.
All  submissions  must  be written in English. Technical papers and application
papers must not exceed 15 pages in the Springer LNCS format

                  (see

The limit for posters is 5 pages in the same format.

The  primary  means  of  submission  will  be electronic, through the Easychair
submission system. The submission page is available at

             


PUBLICATION
-----------
The  proceedings  of the conference will be published by Springer-Verlag in the
LNCS  series.  All  accepted  papers  and  posters  will  be  included  in  the
proceedings.

WORKSHOPS
---------
The  ICLP'08  program will include several workshops. They are perhaps the best
place  for  the  presentation  of  preliminary  work, novel ideas, and new open
problems  to  a more focused and specialized audience. Workshops also provide a
venue  for  presenting  specialised  topics  and  opportunities  for  intensive
discussions   and   project   collaboration  in  any  areas  related  to  logic
programming, including cross-disciplinary areas.

DOCTORAL CONSORTIUM
-------------------
The  Doctoral  Consortium  (DC)  on  Logic  Programming  is  the  4th  Doctoral
consortium  to  provide  doctoral  students with the opportunity to present and
discuss  their  research directions, and to obtain feedback from both peers and
word-renown  experts  in the field. The DC will also offer invited speakers and
panel discussions. Accepted participants will receive partial financial support
to  attend  the  event and the main conference. The best paper and presentation
from  the DC will be given the opportunity to present in special session of the
main ICLP conference.

CELEBRATING 20th YEARS OF STABLE MODEL SEMANTICS
------------------------------------------------
The year 2008 marks the 20th anniversary of the publication that introduced the
stable  model semantics for logic programs with negation. The paper titled "The
stable  semantics for logic programs" by Michael Gelfond and Vladimir Lifschitz
was  presented  at  ICLP-1988.  It  was  a  momentous event that gave rise to a
vibrant  subfield of logic programming known now as the answer-set programming.
Its  distinguishing  aspects  are  close connections to the fields of knowledge
representation,   satisfiability   and  constraint  satisfaction,  ever  faster
computational tools, and a growing list of successful applications.

To  celebrate  the  stable-model  semantics, there will be a special session at
ICLP  2008  dedicated to answer-set programming. The session will feature talks
by  Michael  Gelfond  and  Vladimir  Lifschitz.  as  well  as  by  other  major
contributions   to   the   field,   presenting  personal  perspectives  on  the
stable-model  semantics,  its  impact  and  its  future.  There will be a panel
discussion,  and  regular  accepted  ICLP  papers  falling  into the answer-set
programming area will complete the program.


CONFERENCE VENUE
----------------
The conference will be held in the city of Udine, the capital of the historical
region  of  Friuli, Italy. Located between the Adriatic sea and the Alps, close
to  Venice,  Austria  and Slovenia, Udine is a city of Roman origins, funded by
Emperor  Otto  in  983.  Rich of historical sites, Udine is also famous for its
commercial  and  shopping  opportunities  and its outstanding wine and culinary
traditions.

SUPPORT SPONSORING AND AWARDS
-----------------------------
The conference is sponsored by the Association for Logic Programming (ALP). The
ALP  has  funds  to  assist  financially disadvantaged participants. The ALP is
planning  to sponsor two awards for ICLP 2008: for the best technical paper and
for the best student paper.

IMPORTANT DATES
---------------                 Papers          Posters
Abstract submission deadline    June 2nd        n/a
Submission deadline             June 9th        August 15th
Notification of authors         August 1st      September 1st
Camera-ready copy due           September 15th  September 15th
20 Years of Stable Models       TBA
Doctoral Consortium             TBA
Workshop Proposals              June 2nd
Early-bird Registration         TBA
Conference                      December 9-13, 2008


ICLP'2008 ORGANIZATION
----------------------
General Chair:
  Agostino Dovier (University of Udine)

Program Co-Chairs:
  Maria Garcia de la Banda (Monash University)
  Enrico Pontelli (New Mexico State University)

Workshop Chair:
  Tran Cao Son (New Mexico State University)

Doctoral Student Consortium:
  David Warren (SUNY Stony Brook)
  Tom Schrijvers (K.U.Leuven)

Publicity Co-Chairs:
  Marcello Balduccini  (Kodak Research Labs)
  Alessandro Dal Palu' (University of Parma)

Programming Competition Chair:
  Bart Demoen (K.U.Leuven)

20 Years of Stable Models:
  Mirek Truszczynski (University of Kentucky)
  Andrea Formisano (University of Perugia)

Program Committee:
  Salvador Abreu           Sergio Antoy
  Pedro Barahona           Chitta Baral
  Gerhard Brewka           Manuel Carro
  Michael Codish           Alessandro Dal Palu'
  Bart Demoen              Agostino Dovier
  John Gallagher           Michael Gelfond
  Carmen Gervet            Gopal Gupta
  Manuel Hermenegildo      Andy King
  Michael Maher            Juan Moreno Navarro
  Alberto Pettorossi       Brigitte Pientka
  Gianfranco Rossi         Fariba Sadri
  Vitor Santos Costa       Tran Cao Son
  Paolo Torroni            Frank Valencia
  Mark Wallace

Web Master:
  Raffaele Cipriano

Local Arrangements Committee:
  Alberto Casagrande
  Elisabetta De Maria
  Luca Di Gaspero
  Carla Piazza

                          ICLP'08

        24rd International Conference on Logic Programming

                     December 9-13, 2008
                       Udine, Italy

            URL: http://iclp08.dimi.uniud.it/

ICLP'08, the 24rd International Conference on Logic Programming, will
be held in Udine (Italy), from December 9 to 13, 2008.

Workshops co-located with international conferences are one of the
best venue for the presentation and discussion of preliminary work or
novel ideas, and new open problems to a wide and interested audience.
Co-located workshops also provide an opportunity for
presenting specialized topics and opportunities for intensive
discussions and project collaboration. The topics of the workshops
co-located with ICLP'08 can cover any areas related to logic programming,
(e.g., theory, implementation, environments, language issues,
alternative paradigms, applications) including cross-disciplinary areas.
However, any workshop proposal will be considered.

The format of the workshop will be decided by the workshop organizers,
but ample time must be allowed for general discussion. Workshops can vary
in length, but the optimal duration will be half a day or a full day.

Workshop Proposal:
==================

Those interested in organizing a workshop at ICLP'08 are invited
to submit a workshop proposal. Proposals should be in English and
about two pages in length. They should contain:

 * The title of the workshop.
 * A brief technical description of the topics covered by the workshop.
 * A discussion of the timeliness and relevance of the workshop.
 * A list of some related workshops held in the last years
 * The (preliminary) required number of half-days allotted to the workshop
   and an estimate of the number of expected attendees.
 * The names, affiliation and contact details (email, web page, phone,
   fax) of the workshop organizer(s) together with a
   designated contact person.
 * The previous experiences of the workshop organizing committee in
   workshop/conference organization.

Proposals are expected in ASCII or PDF format. All proposals should be
submitted to the Workshop Chair (Tran Cao Son) by email
(tson@cs.nmsu.edu) by June 2nd, 2008.

Reviewing Process:
==================

Each submitted proposal is reviewed by the Workshops Chair and the
Conference Program Chairs. Proposals that appear well-organized and
that fit the goals and scope of ICLP will be selected.  The decision
will be notified by email to the responsible organizer by June 15, 2008.

The definitive length of the workshop will be planned according to the
number of submissions received by the different workshops. For every
accepted workshop, the ICLP local organizers will prepare a meeting
place and can print the workshop proceedings, whose LaTeX preparation
is however in charge to the workshop organizers. The workshop
registration fees will be handled together with the conference fees.


Workshop Organizers' Tasks:
===========================

 * Producing a "Call for Papers" for the workshop and posting it
   on the net and/or other means. Please provide a web page URL which
   can be linked into the ICLP'08 home page by July 15th, 2008.
 * Providing a brief description of the workshop for the conference
   program.
 * Reviewing/accepting submitted papers.
 * Scheduling workshop activities in collaboration with the local
   organizers and the workshop chair.
 * Sending workshop program and workshop proceedings in  pdf
   format to the workshop chair for printing (deadline to be defined)
 * The use of the Computing Research Repository (CoRR) for the
   workshop proceedings is strongly suggested
   (see http://www.logicprogramming.org/
   [Guidelines for electronic publishing of proceedings])


Location:
=========

All workshops will take place in the city of Udine at the site of the
main conference. See the ICLP'08 web site for location details.

Important Dates:
================

June     2,    2008: Proposal submission deadline
June     15,   2008: Notification
July     15,   2008: Deadline for receipt of CFP and URL for workshop web page
November 1,    2008: Deadline for preliminary proceedings
December 9-13, 2008: ICLP'08 workshops

Workshop Chair:
===============

Tran Cao Son  [tson AT cs dot nmsu dot edu] (www.cs.nmsu.edu/~tson)