ICLP'08 first CFP

From: Sergio Antoy <antoy_at_redstar.cs.pdx.edu>
Date: Mon, 28 Jan 2008 15:34:28 -0800 (PST)

                             FIRST CALL FOR PAPERS

              24th International Conference on Logic Programming
                     Udine, Italy, December 9th-13th, 2008

Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic
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,
* 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

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 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 http://www.springeronline.com/lncs/)

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


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.

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.

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 world-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.

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.

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.

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. A paper will qualify for the Best Student
Paper Award if the first author of the paper is a student and the majority of
the work has been conducted by the student. The student author is expected to
attend the conference and present the work.

--------------- 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

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

For further information: iclp08_at_cs.nmsu.edu
curry mailing list
Received on Di Jan 29 2008 - 08:57:18 CET

This archive was generated by hypermail 2.3.0 : So Dez 03 2023 - 07:15:10 CET