Visible to the public ICLP 2017Conflict Detection Enabled

33rd International Conference on Logic Programming (ICLP 2017)

(co-located with CP and SAT and following IJCAI)

Conference Scope

Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to:

  • Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation.
  • Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules, Tabling.
  • Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing.
  • Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques.
  • Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking.
  • Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education.

Conference Organization
General Chairs:

  • Maria Garcia de la Banda, Monash University, Australia
  • Guido Tac, Monash University, Australia

Program Chairs:

  • Ricardo Rocha, University of Porto, Portugal
  • Tran Cao Son, New Mexico State University, USA

Workshop Chair:

  • Enrico Pontelli, New Mexico State University, USA

Publicity Chair:

  • Tommaso Urli, Australian National University, Australia

Sponsorship Chair:

  • Maria Garcia de la Banda, Monash University, Australia

Doctoral Consortium Chair (joint event with CP and SAT):

  • Neda Saeedloei, University of Minnesota Duluth, USA
  • Christopher Mears, Monash University, Australia

Programming Contest Chairs:

  • Paul Fodor, Stony Brook University, USA
  • Graeme Gange, University of Melbourne, Australia

Web Presence:

  • Tommaso Urli, Australian National University, Australia

Program Committee



The ICLP 2017 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration.

Doctoral Consortium

The Thirteen Doctoral Consortium (DC) on Logic Programming [this year being co-organized and taking place together with CP 2017 and SAT 2017] provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs.

Conference Venue

The venue will be the Melbourne Convention and Exhibition Centre. Melbourne is the second most populous city in Australia and the coastal capital of the south-eastern Australian state of Victoria. Set on the shores of beautiful Port Phillip Bay, Melbourne has been named the World's Most Liveable City for six years running and it is widely recognised as the cultural and culinary capital of Australia. It is a safe, creative and multi-cultural city full of exciting places to see, delicious foods to eat, and excellent events to experience; from the Arts precinct to the river bank parks and gardens to the buzzing city centre and the hidden thrills of Melbourne's laneways. It is also an air-hop away from breathtaking destinations like The Great Barrier Reef, Sydney and Uluru.

The Melbourne Convention and Exhibition Centre (MCEC) is located on the banks of the iconic Yarra River in Melbourne's South Wharf. Given its central location, it has a huge variety of accommodation close-by, with more than 6000 rooms within walking distance. MCEC is easily accessible by public transport, particularly as the Melbourne's city centre has a free tram zone that makes it easier for tourists to move around the city.

Related Events

Several other AI events will be held in Melbourne and other parts of Australia close to these dates, offering attendees a variety of choices for an extended itinerary. These events will include the International Conference on Principles and Practice of Constraint Programming (CP 2017) and the International Conference on Theory and Applications of Satisfiability Testing (SAT 2017), both co-located with ICLP 2017. The International Joint Conference on Artificial Intelligence (IJCAI 2017), the Australasian Joint Conference on Artificial Intelligence (AusAI 2017), the Australasian Conference on Data Mining (AusDM 2017), and the International Conference on Knowledge Science, Engineering, and Management (KSEM 2017) will all to be held in Melbourne one week before ICLP. The International Conference on Machine Learning (ICML 2017) will also be held in Sydney Australia shortly before ICLP 2017.


The conference is sponsored by the Association for Logic Programming

Financial Assistance

The Association for Logic Programming has funds to assist financially disadvantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs.

Event Details
Melbourne, Australia