Su nombre cambió a «Instituto de Historia de la Ciencia y Documentación López Piñero».