• Fórum de notícias

7 agosto - 13 agosto

14 agosto - 20 agosto

21 agosto - 27 agosto

• Visão Crítica do Artigo "Seven Myths of Formal Methods" Tarefa

28 agosto - 3 setembro

• Especificação de Propriedades em CTL Tarefa
• CTL dos Filosofos Tarefa

4 setembro - 10 setembro

11 setembro - 17 setembro

18 setembro - 24 setembro

25 setembro - 1 outubro

2 outubro - 8 outubro

• Linguagem Alloy Arquivo
• Definição de temas para Artigo e Seminário Arquivo
• Arquivos Alloy Arquivo ZIP

9 outubro - 15 outubro

16 outubro - 22 outubro

23 outubro - 29 outubro

• Fontes do Model Checker Tarefa

30 outubro - 5 novembro

• Descrição do Artigo a ser Entregue Recurso
• Indicar disponibilidade de horarios para apresentação dos seminários. Arquivo
• Descrição do Seminário a ser Apresentado Recurso
• Artigo Tarefa

6 novembro - 12 novembro

13 novembro - 19 novembro

20 novembro - 26 novembro

27 novembro - 3 dezembro

4 dezembro - 10 dezembro