20 Fev As aulas iniciam-se no dia 22 de fevereiro.

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.