20th International Symposium on Logic-Based Program Synthesis and Transformation
July 23-25, 2010. Hagenberg, Austria
http://www.risc.jku.at/conferences/lopstr2010/
Logtalk 2.40.0 Released
By Paulo Moura,
University of Beira Interior,
Portugal
CILC 2010: Accepted Papers
CILC2010, XXV Italian Conference on Computational Logic
http://www.mat.unical.it/CILC2010/
Call for papers
Call for papers of 30Y of NMR, ILP2010, COIN@MALLOW2010, DBKDA 2011
ICLP 2010 / FLOC Registration
Early registration deadline: MAY 17
ICLP 2010: Accepted papers
ICLP 2010 accepted papers. See also: http://www.floc-conference.org/ICLP-accepted.html