Esta é uma versão antiga do documento!

Trabalhos

Trabalho	Grupo
Semântica formal do Scheme	Georgina Zwahr Reátegui, Barbara dos Santos Flores
SOE de um núcleo de ML	Diego Costa Pozzi, Vinicius Reis Cadore, Marcelo Provenzi Frosi
Semântica estática de um núcleo de ML
Cálculo lambda tipado com tipos avançados	Eduardo Francisco Leonhardt, Francisco Antonio Oliveira Amorim, Felipe Santos Boffo
A linguagem PCF	Andŕe Luis Cripim Moreira, Eduardo Dias Camaratta, Leonardo Garcia Fischer
Semântica formal de XQuery e XPath	Daniel Köhler Osmari, Félix Carvalho Rodrigues, Manuela Klanovicz Ferreira
Linguagens orientada a objetos	Felipe de Andrade Pinto
CCS	Bruna Aquino Ferreira Antunes, Joana Matos Fonseca da Trinidade, Kao Cardoso Félix (08/06/2006)
Cálculo pi	Roberto Silveira da Rosa Junior,Marcelo Goncalves de Azambuja, Alexandre Coster
Os origens da SOE	Rafael Barni Munaretti, Rafael Pacheco Kovalevski, Marcelo Castiel Ruas
Semântica algebraica	Frederico Silva Correa
Semântica de ações
Especificação formal com Z	Tiago D'Oliveira, Ana Paula Locatelli

#Escolhas: 26.

Marcus Ritt