(apologies for cross-posting)
Second 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 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/.
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 Chairs: Ver=F3nica Dahl and Ilkka Niemel=E4 General Chair: Fernando Silva Local Chair: Ricardo Rocha Publicity Chair: Salvador Abreu Workshops Chair: Agostino Dovier Doctoral Consortium Chairs: Enrico Pontelli and In=EAs Dutra Prolog Programming Contest: Bart Demoen
Contact Address: iclp07(a)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
Workshops
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/.
Workshop proposal submission deadline: February 14, 2007.
Doctoral Consortium
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/.
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.
The Conference will take place in the Hotel "Le Meridien Park Atlantic Porto".
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------