27th International Conference on Logic Programming
ICLP 2011

LEXINGTON, KENTUCKY, USA 
July 6-10, 2011

o  Conference Description
o  Call for Papers
o  Important Dates
o  Program Committee
o  Submissions
o  Workshops
o  Doctoral Consortium
o  Conference Program
o  Accepted Papers
o  Invited Talks
o  Tutorials
o  Registration
o  Hotel Information
o  Travel Information
o  Organization
o  Sponsors
o  Picture Credits

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.
In addition to the presentations of accepted papers, the technical program will include invited talks, the doctoral consortium, and several workshops.

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

Slim Abdennadher (German University in Cairo)
Marcello Balduccini (Kodak Research Laboratories)
Chitta Baral (Arizona State University)
Maurice Bruynooghe (K.U.Leuven)
Manuel Carro (Technical University of Madrid (UPM))
James Cheney (University of Edinburgh)
Henning Christiansen (Roskilde University)
Alessandro Dal Palu (Universita degli Studi di Parma)
Marc Denecker (K.U.Leuven)
Agostino Dovier (Universita degli Studi di Udine)
Esra Erdem (Sabanci University)
François Fages (INRIA Rocquencourt)
John Gallagher (Roskilde University, IMDEA Software)
Martin Gebser (University of Potsdam)
Michael Gelfond (Texas Tech University)
Samir Genaim (Universidad Complutense de Madrid)
Andy King (University of Kent)
Evelina Lamma (ENDIF, University of Ferrara)
Joohyung Lee (Arizona State University)
Nicola Leone (University of Calabria)
Michael Leuschel (University of Duesseldorf)
Yuliya Lierler (University of Kentucky)
Vladimir Lifschitz (University of Texas)
Marco Maratea (University of Genova)
Victor Marek (University of Kentucky)
Davide Martinenghi (Politecnico di Milano)
Alessandra Mileo (DERI Galway)
Emilia Oikarinen (Aalto University)
Maurizio Proietti(IASI-CNR, Rome, Italy)
German Puebla (Technical University of Madrid)
Konstantinos Sagonas (National Technical University of Athens)
Vítor Santos Costa (Universidade do Porto)
Tom Schrijvers (Universiteit Gent)
Alexander Serebrenik (Technische Universiteit Eindhoven)
Guillermo Simari (Universidad Nacional del Sur)
Zoltan Somogyi (Univerity of Melbourne)
Tran Cao Son (New Mexico State University)
Hans Tompits (Vienna University of Technology)
Francesca Toni (Imperial College London)
Mirek Truszczynski (University of kentucky)
German Vidal (Technical University of Valencia)
Kewen Wang (Griffith University)
Jan Wielemaker (University of Amsterdam)
Stefan Woltran (Vienna University of Technology)
Jia-Huai You (University of Alberta)

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

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

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/ .

Sponsored by

Picture Credits

Pictures were kindly provided by the Lexington Convention and Visitors Bureau and are made by James Archambeault, Jeff Rogers, and Gene Burch