Congress of Logic Applied to Technology (2nd 2001 São Paulo, Brazil)