NATO Advanced Research Institute on Search Theory and Applications (1979 Praia da Rocha, Portugal)