| spa@di.uevora.pt 2007-01-22, 8:12 am |
| (apologies for cross-posting)
Call for Papers
23rd International Conference on Logic Programming
ICLP 2007
Porto, Portugal, September 8-13, 2007
http://www.dcc.fc.up.pt/iclp07/
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 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.
- 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.
Publication
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.
Important Dates
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=F3nica Dahl and Ilkka Niemel=E4
General Chair: Fernando Silva
Local chair: Ricardo Rocha
Publicity Chair: Salvador Abreu
Contact Address: iclp07@dcc.fc.up.pt
Program Committee:
Maurice Bruynooghe
Keith Clark
Ver=F3nica Dahl (Co-chair)
Marina De Vos
Yannis Dimopoulos
In=EAs Dutra
Esra Erdem
Maurizio Gabbrielli
Patricia M Hill
Katsumi Inoue
Tomi Janhunen
Tony Kusalik
Nicola Leone
Vladimir Lifschitz
Ilkka Niemel=E4 (Co-chair)
Lu=EDs Moniz Pereira
German Puebla
Francesca Rossi
Kostis Sagonas
Peter Schachte
Torsten Schaub
Fernando Silva
Guillermo R. Simari
Tran Cao Son
Paul Tarau
Francesca Toni
Eric Villemonte de la Clergerie
David S. Warren
Stefan Woltran
Conference Venue
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.
|