2013/14
Métodos Formais em Engenharia de Software (mestrados MI e MEI)
Algoritmos e Complexidade
Programação Funcional
Programação Imperativa
2012/13
Métodos Formais em Engenharia de Software (mestrados MI e MEI)
Programação Funcional
Programação Imperativa
2011/12
Métodos Formais em Engenharia de Software (mestrados MI e MEI)
Programação Funcional EI
Programação Imperativa CC
2010/11
Program Semantics, Verification, and Construction (programa doutoral MAP-i)
2009/10
Métodos Formais em Engenharia de Software (mestrados MI e MEI)
2008/09
Program Semantics, Verification, and Construction (programa doutoral MAP-i)
Métodos Formais em Engenharia de Software (mestrados MI e MEI)
2007/08
Program Semantics, Verification, and Construction (programa doutoral MAP-i)
2006/07
2005/06
2004/05
Elementos Lógicos da Programação I
Programação Funcional
Métodos de Programação II
2003/04
Paradigmas da Programação I
Métodos de Programação II
2002/03
Paradigmas da Programação I
2001/02
Paradigmas da Programação I
Métodos de Programação II
2000/01
Paradigmas da Programação I
1997/98
Elementos Lógicos da Programação I
Elementos Lógicos da Programação II
Elementos Lógicos da Programação III
1995/96
Elementos Lógicos da Programação I
Elementos Lógicos da Programação II
Elementos Lógicos da Programação III
Métodos Formais da Programação I
1994/95
Programação Formal
Lógica e Reescrita
1993/94
Programação Formal
Linguagens de Programação
1992/93
Programação Formal
Linguagens de Programação