Il Milione (i.e. 2 6 , June 3rd 2008) A Journey in the Computational Logic in Italy Proceedings of the Day Dedicated to Prof. Alberto Martelli