3 de Julho Disponíveis as notas do teste.

14 de Junho O docente estará disponível na 3a.fa. dia 16 para esclarecimento de dúvidas, no DI, no horário 10:30-12:30 e 14:30-16:30.

11 de Maio Disponíveis slides sobre semântica axiomática.

27 de Março Na 2a.fa. dia 30 de Março não haverá aula TP, por motivo de presença do docente num júri de doutoramento. A aula será compensada em data a combinar.

15 de Março Nos dias 16 e 17 de Março não haverá aulas, por motivo de paternidade do docente. As aulas serão compensadas em data a combinar.

9 Março Foi criado este tópico.