IEEE computer society mentioned