20th Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning
Please consider submitting a paper to the International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR).
submission deadline June 30, 2015
.