No subsolo do IMECC você encontra a biblioteca do instituto, bem como alguns laboratórios computacionais da pós-graduação.