O horário da Biblioteca do Instituto de Informática, a partir de 17 de agosto até o dia 18 de dezembro de 2009, será de segunda-feira a sexta-feira, das 9h às 18h, sem fechar ao meio-dia.