IV Italian Conference on Algorithms and Complexity - CIAC2000