Logic for Programming Artificial Intelligence and Reasoning

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 19th edition will be held in Stellenbosch, South Africa.

Program Committee Chairs
Ken McMillan (Microsoft Research)
Aart Middeldorp (University of Innsbruck)
Andrei Voronkov (University of Manchester)
General Chairs
Bernd Fischer (University of Stellenbosch)
Geoff Sutcliffe (University of Miami)
Workshop Chair
Laura Kovacs (Chalmers University of Technology)

Important Dates

Workshop proposals 15th July 2013
Notification of workshops proposals 29th July 2013
Abstract submission 22nd July 2013
Paper submission 2nd August 2013
Notification of acceptance 27th September 2013
Camera-ready papers 9th October 2013
Workshops 14th December 2013
Main Conference 15th-19th December 2013
Excursion 17th December 2013