[DL] CFP: 23rd International Conference on Logic Programming (ICLP 2007)

[ICLP07 publicity]

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

Program Committee:
Maurice Bruynooghe
Keith Clark
Verónica Dahl (Co-chair)
Marina De Vos
Yannis Dimopoulos
Inês Dutra
Esra Erdem
Maurizio Gabbrielli
Patricia M Hill
Katsumi Inoue
Tomi Janhunen
Tony Kusalik
Nicola Leone
Vladimir Lifschitz
Ilkka Niemelä (Co-chair)
Luís 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.