Congress of Logic Applied to Technology (6th 2007 Santos, Brazil)