Latest Updates 
- Registration Site now Open!!! (Early Registration until June 3d, 2011)
- The Conference Program (preliminary version) is now available!
- Submission deadlines for ASPOCP and WLPE workshops Extended till May 6, 2011, check workshop web sites for more details!!!
- Hotel reservation links are alive (check out Hotel Info)!!!
- The list of accepted papers is now available!
- Easychair submission system
Lexington, Kentucky
Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, ponds and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new.
Conference Description
Since the first conference held in Marseille 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, Non- monotonic Reasoning, Knowledge Representation.
- Implementation: Compilation, Memory Management, Virtual Machines, Parallelism.
- Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing.
- Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques.
- Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming.
- Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics.
Call for Papers Flier
TXT flier
PDF flier
Important Dates (Approximate)
| Paper Registration: | January 17, 2011 |
| Paper Submission: | January 24, 2011 |
| Notification of Authors: | March 11, 2011 |
| Camera-ready Copy: | April 15, 2011 |
| Doctoral Consortium Submission: | April 24, 2011 |
| Conference: | July 6-10, 2011 |
| Workshop Proposals Due: | December 15, 2010 |
| Notification of Workshop Acceptance: | January 12, 2011 |
| Workshops: | July 8-10, 2011 |
Program Committee
Submission Guidelines
All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English.
The four broad categories for submissions are: (1) technical papers for describing technically sound, innovative ideas that can advance the state of the art of logic programming; (2) application papers, where the emphasis will be on their impact on the application domain; (3) system and tool papers, where the emphasis will be on the novelty, practicality, usability and general availability of the systems and tools described; and (4) technical communications, aimed at describing recent developments, new projects, and other materials that are not ready for main publication as standard papers.
Technical papers, application papers, and system and tool papers must not exceed 15 pages plus bibliography. The limit for technical communications is 10 pages. Submissions of 15-page papers must be made in TPLP format via the Easychair submission system. The formatting instructions for technical communications are available from LIPIcs here.
Workshops
The ICLP 2011 program will include several workshops. They are perhaps the best places 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 opportuni- ties for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. Workshop proposals are due by December 15, 2010. Please click here to find more information on call for workshops.
Accepted Workshops- Answer Set Programming and Other Computing Paradigms (ASPOCP), July 10
- Logic Programming and Multi-Agent Systems (LPMAS), July 9, afternoon
- WG17, July 8, July 9, morning
- Logic-based methods in Programming Environments (WLPE), July 10
- Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), July 10
Doctoral Consortium
The Doctoral Consortium on Logic Programming is the 7th doctoral consortium to be offered as a part of ICLP conference series. It will take place on July 6th . The DC aims to provide doctoral 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. The link to the official website of the Doctoral Consortium can be found here.
Organization
- General Chairs:
Mirek Truszczynski (University of Kentucky)
Victor Marek (University of Kentucky)
- Program Chairs:
John Gallagher (Roskilde University, IMDEA Software)
Michael Gelfond (Texas Tech University)
- Workshop Chair:
Joohyung Lee (Arizona State University)
- Publicity Chair:
Yuliya Lierler (University of Kentucky)
- Doctoral Consortium Chairs:
Alessandro Dal Palù (Università degli Studi di Parma)
Stefan Woltran (Vienna University of Technology)
- Prolog Programming Contest Chair:
Tom Schrijvers (Universiteit Gent)
Travel Information
International travelers who are seeking to travel to the United States under the Visa Waiver Program (VWP) are now subject to enhanced security requirements and will be required to pay an administrative fee. All eligible travelers who wish to travel to the U.S. under the Visa Waiver Program must apply for authorization and then pay the fee. The details can be found at https://esta.cbp.dhs.gov/esta/ .