Achievements of the Italian Association for Logic Programming, GULP. Edited by A. Dovier and E. Pontelli. Springer-Verlag LNCS Vol. 6125.
20th International Symposium on Logic-Based Program Synthesis and Transformation
July 23-25, 2010. Hagenberg, Austria
By Paulo Moura,
University of Beira Interior,
CILC2010, XXV Italian Conference on Computational Logic
Call for papers of 30Y of NMR, ILP2010, COIN@MALLOW2010, DBKDA 2011
Early registration deadline: MAY 17