LPAR-19
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.
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 |
| Conference | |
| 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.