Colóquio UERJ (5th 1994? Rio de Janeiro, Brazil?)