[DL] CFP: 23rd International Conference on Logic Programming (ICLP 2007)
iclp07-publicity at di.uevora.pt
Wed Jan 10 12:11:23 CET 2007
(apologies for cross-posting)
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 papers and
application papers must not exceed 15 pages in the Springer LNCS
format. The limit for posters is 2 pages in that format.
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 Co-chairs: Verónica Dahl and Ilkka Niemelä
General Chair: Fernando Silva
Local chair: Ricardo Rocha
Publicity Chair: Salvador Abreu
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
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.
More information about the dl