The 33rd International Conference on Logic Programming (ICLP 2017) will take place in Melbourne, Australia alongside SAT 2017 and CP 2017, from August 28th to September 1st, 2017 which is the week immediately following IJCAI 2017.
Since the first conference held in Marseille in 1982, ICLP has been the premier international event 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.
In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops.
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.
The Call for Papers is open
Get the complete information on the Call for Papers page.
The Call for Workshops is open
Get the complete information on the Call for Workshops page.