20 Fev Os sumários podem ser encontrados no calendário.

22 Abr Ao contrário do que havia sido anunciado, haverá aula amanhã, dia 23, no horário habitual.

25 Abr Slides sobre Mu-calculus disponíveis na secção de Material

25 Abr Por razões imprevistas, não haverá aula prática amanhã, dia 26 de Abril.

5 Jun A ficha de pré-avaliação está on-line. Boa sorte!

18 Jun O teste será amanhã, dia 19 de Junho, 9.30 h, na sala 1220

24 Jun Classifcações finais do 1 semestre já estão on-line.