I am very sorry, here is the correct web address for: SECOND WORKSHOP ON FORMAL TOPOLOGY Venice, April 4-6, 2002 http://www.math.unipd.it/~logic