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:
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 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
Program Co-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 Co-Chairs: Enrico Pontelli and Inês
Dutra
Prolog Programming Contest: Bart Demoen
Contact Address: iclp07@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)
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
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 Porto".
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 http://www.dimi.uniud.it/dovier/WICLP07/.
Worskhop 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.