[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] ICLP'08 CALL FOR PAPERS
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 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,
* 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,
* 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
(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
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
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
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.
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
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.
--------------- 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
Agostino Dovier (University of Udine)
Maria Garcia de la Banda (Monash University)
Enrico Pontelli (New Mexico State University)
Tran Cao Son (New Mexico State University)
Doctoral Student Consortium:
David Warren (SUNY Stony Brook)
Tom Schrijvers (K.U.Leuven)
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)
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
Local Arrangements Committee:
Elisabetta De Maria
Luca Di Gaspero
For further information: email@example.com