Continuação da apresentação do projecto e suas etapas.
Definição de datas de aprentação e avaliação intercalares.
11 de Outubro
Não houve aula (participação na conf. em Eindhoven)
18 de Outubro
Palestras do Prof. Dr. Janis Voigtlaender sobre "Semantic Bidirectionalization" e "Type-based Program Reasoning", no contexto do programa doutoral MAP-i.
Estas palestras tiveram a duração de 3 horas, compensando assim a aula não leccionada na semana anterior.
25 de Outubro
Discussão com os alunos do projecto e possíveis abordagens a seguir e sistemas de software a utilizar.
1 de Novembro
Não houve aula: feriado
8 de Novembro
Continuação da análise das sub-tarefas envolvidas no projecto integrado.
Um sistema para definição e travessia de ASTs na linguagem C