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.
|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|
Logic for Programming Artificial Intelligence and Reasoning (LPAR) 19 - Stellenbosch, South Africa
14-19 December 2013
LPAR-19 is grateful for the generous support by Microsoft Research, IBM South Africa, and VAS Tech.