- From: ICLP07 publicity <iclp07-publicity@di.uevora.pt>
- Date: Wed, 10 Jan 2007 11:11:23 +0000
- Cc: iclp07@dcc.fc.up.pt
(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@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.
Received on Wednesday, 10 January 2007 20:33:01 UTC