Category: ALP ISSUE

LOPSTR 2010: Accepted Papers

20th International Symposium on Logic-Based Program Synthesis and Transformation
July 23-25, 2010. Hagenberg, Austria
http://www.risc.jku.at/conferences/lopstr2010/

Editorial, March 2010

[A long time ago, in a galaxy far far away…] it has been a long time since I sat down and wrote an editorial for the ALP newsletter. But did not forget about our beloved audience – you, dear logic…