31. POPL 2004: Venice, Italy