14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
PPDP 2012. Leuven, Belgium, September 18-20, 2012 (co-located with LOPSTR 2012)
Read more »
Archive for January, 2012
CFP: PPDP 2012
CFP: LOPSTR 2012
22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012. Leuven, Belgium, September 18-20, 2012 (co-located with PPDP 2012)
Read more »
Book review: Computational Logic and Human Thinking: How to be Artificially Intelligent
by Luis Moniz Pereira
Universidade Nova de Lisboa,
Portugal
Read more »