[Cfp] [Fwd: ISSAC 2006, July 9-12, 2006 Genoa, Italy, Second Call for Papers]