Trabalhos

No.	Trabalho	Grupo
1	A correspondência de Curry-Howard	Guilherme
2	Daikon Invariant Detector	Barbara dos Santos, Fernanada
3	Avaliação parcial	Helder, Fernando, Diego
4	Semântica algébrica	Henrique, Daniel, Denys
5	Semântica de ações	Cristiano, Gustavo
6	Semântica de sistemas distribuidos: CCS	Elias, Caesar
7	Semântica axiomática de campos
8	Semântica do cálculo $\pi$	Jean Felipe, Pedro, Ricardo Nolde
9	Programação estruturada com Goto	Barbara Bellaver, Virginia
10	Semântica e sistema de tipos de uma linguagem orientada a objetos para busca em banco de dados
11	Semântica denotational de XPath	Francisco Beschoren, Felipe Roos, Eduardo

#Escolhas: 20/25 (+1 da turma do Álvaro)

Agenda

Dia	Hora	Apresentação	Material
20/11	8.30	Programação estruturada com Goto	T A
20/11	8.55	Semântica algébrica	T A
20/11	9.20	Avaliação parcial	T A
20/11	9.45	Daikon Invariant Detector	T A
22/11	8.30	Semântica do cálculo $\pi$	T A
22/11	8.50	Semântica de sistemas distribuidos: CCS	T A
22/11	9.10	Semântica de ações	T A
22/11	9.30	Semântica denotational de XPath	T A
22/11	9.50	A correspondência de Curry-Howard	T A