[DL] Final CFP: 23rd International Conference on Logic Programming (ICLP 2007)
iclp07-publicity at di.uevora.pt
Sat Feb 24 01:29:08 CET 2007
(apologies for cross-posting)
Final Call for Papers
23rd International Conference on Logic Programming
Porto, Portugal, September 8-13, 2007
Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic
programming. Contributions (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,
- Environments: Program Analysis, Program Transformation, Validation
and Verification, Debugging, Profiling.
- Language Issues: Concurrency, Objects, Coordination, Mobility,
Higher Order, Types, Modes, Programming Techniques.
- Alternative Paradigms: Abductive Logic Programming, Answer Set
Programming, Constraint Logic Programming, Inductive Logic
Programming, Alternative Inference Engines and Mechanisms.
- Applications: Deductive Databases, Data Integration, Software
Engineering, Natural Language, Web Tools, Internet Agents,
Artificial Intelligence, Bioinformatics.
The three broad categories for submissions are: (1) technical papers,
where specific attention will be given to work providing novel
integrations of the areas listed above, (2) application papers, where
the emphasis will be on their impact on the application domain as
opposed to the advancement of the the state-of-the-art of logic
programming, and (3) posters, ideal for presenting and discussing
current work not yet ready for publication, for PhD thesis summaries
and research project overviews.
In addition to papers and posters, the technical program will include
invited talks, tutorials, a Doctoral Consortium, and workshops.
Papers and Posters
Papers and posters must describe original, previously unpublished
research, and must not simultaneously be submitted for publication
elsewhere. They must be written in English. Technical and
application papers must not exceed 15 pages in the Springer LNCS
format. The limit for posters is 2 pages in the same format.
The primary means of submission is electronic. Papers and posters must
be submitted at http://www.easychair.org/ICLP2007/.
It is expected that the proceedings will be published by
Springer-Verlag in the LNCS series. All accepted papers and abstracts
of accepted posters will be included in the proceedings.
Paper registration deadline: March 2, 2007
Submission deadline: March 9, 2007
Notification of authors: May 4, 2007
Camera-ready copy due: June 8, 2007
ICLP 2007 Organization
Program Chairs: Verónica Dahl and Ilkka Niemelä
General Chair: Fernando Silva
Local Chair: Ricardo Rocha
Publicity Chair: Salvador Abreu
Workshops Chair: Agostino Dovier
Doctoral Consortium Chairs: Enrico Pontelli and Inês Dutra
Prolog Programming Contest: Bart Demoen
Contact Address: iclp07 at dcc.fc.up.pt
Verónica Dahl (Co-chair)
Marina De Vos
Patricia M Hill
Ilkka Niemelä (Co-chair)
Luís Moniz Pereira
Guillermo R. Simari
Tran Cao Son
Eric Villemonte de la Clergerie
David S. Warren
The ICLP'07 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 wide and interested audience. Workshops
also provide a venue for presenting specialized topics and
opportunities for intensive discussions and project collaboration in
any areas related to logic programming, including cross-disciplinary
areas. You can find the call for proposals in
Workshop proposal submission deadline: February 14, 2007.
The Doctoral Consortium (DC) on Logic Programming is the third
doctoral consortium to be offered as part of ICLP conference
series. The DC builds on the experience of the previous successful
consortiums (held in Sitges, Spain and in Seattle, WA) during ICLP-05
and ICLP-06. The DC is designed for doctoral students working in areas
related to logic and constraint programming, who are planning to
pursue a career in academia. The DC also considers applications from
Master's students pursuing projects in logic programming and
interested in entering a doctoral program. The Doctoral Consortium
aims to provide students with an opportunity to present and discuss
their research directions and to obtain feedbacks from peers as well
as world-renown experts in the field. The Doctoral Consortium will
also offer invited speakers and panels discussions. More information
can be found at http://www.cs.nmsu.edu/~epontell/DC2007/.
ICLP 2007 will be held in the city of Porto, second largest in
Portugal. Porto is located by the Douro river and the Atlantic, has a
truly unique appearance with many striking bridges, a historic center
classified by UNESCO as a World Heritage site, a new House of Music by
Rem Koolhaas and a nice Museum of Modern Art (Museu de Serralves).
Porto is also well known for the much celebrated Port wine grown in
the Douro valley. The conference will feature a cruise in the Douro
river along with other optional tours.
The Conference will take place in the Hotel "Le Meridien Park Atlantic
More information about the dl