19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING

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.