Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist. Her work includes research on logical approaches to computation, especially using category theory, knowledge

The International Union of History and Philosophy of Science and Technology is one of the members of the International Science Council. It was founded in 1955 by merging the International Union of His