Índice
-
- INF05010: Otimização combinatória
- INF05016/CMP 588: Algoritmos avançados
- CMP612: Algorithms
- CMP268: Técnicas de busca heurística
No. | Trabalho | Grupo |
---|---|---|
1 | Semântica formal do Scheme | Georgina Zwahr Reátegui, Barbara dos Santos Flores |
2 | SOE de um núcleo de ML | Diego Costa Pozzi, Vinicius Reis Cadore, Marcelo Provenzi Frosi |
3 | Semântica estática de um núcleo de ML | |
4 | Cálculo lambda tipado com tipos avançados | (Eduardo Francisco Leonhardt, Francisco Antonio Oliveira Amorim,) Felipe Santos Boffo |
5 | A linguagem PCF | Andŕe Luis Cripim Moreira, Eduardo Dias Camaratta, Leonardo Garcia Fischer |
6 | Semântica formal de XQuery e XPath | Daniel Köhler Osmari, Félix Carvalho Rodrigues, Manuela Klanovicz Ferreira |
7 | Linguagens orientada a objetos | Felipe de Andrade Pinto, Bruno Nunes Trassante, Cassio Castaldi Araújo Blaz |
8 | CCS | Bruna Aquino Ferreira Antunes, Joana Matos Fonseca da Trinidade, Kao Cardoso Félix |
9 | Cálculo pi | Roberto Silveira da Rosa Junior,Marcelo Goncalves de Azambuja, Alexandre Coster |
10 | Os origens da SOE | Rafael Barni Munaretti, Rafael Pacheco Kovalevski, Marcelo Castiel Ruas |
11 | Semântica algebraica | Frederico Silva Correa |
12 | Semântica de ações | |
13 | Especificação formal com Z | Tiago D'Oliveira, Ana Paula Locatelli, Sílton Leonardo Paiva Nunes |
#Escolhas: 30.
Faz favor de comunicar preferências até 01/06/2006.
Dia | Hora | Grupo | Texto | Apresentação |
---|---|---|---|---|
08/06 | 10.30 | 8 (CCS) | sfn-t08-ccs.pdf | sfn-t08-ccs-slides.pdf |
08/06 | 10.50 | 4 (Lambda tipado) | (P) | sfn-t04-lambda-tipos-slides.pdf |
08/06 | 11.10 | 7 (Ling. OO) | (P) | sfn-t07-oo-slides.ppt |
08/06 | 11.30 | 9 (Calc. PI) | (P) | sfn-t09-pi-slides.pdf |
08/06 | 12.10 | 12 (Z) | (P) | sfn-t13-z-slides.ppt |
13/06 | 10.30 | 6 (XQuery/XPath) | sfn-t06-xquery-xpath.pdf | sfn-t06-xquery-xpath-slides.pdf |
13/06 | 10.50 | 1 (Scheme) | sfn-t01-scheme.doc | sfn-t01-scheme-slides.ppt |
13/06 | 11.10 | 10 (Origens) | sfn-t10-osoe.doc | sfn-t10-osoe-slides.ppt |
13/06 | 11.30 | 5 (PCF) | sfn-t05-pcf.pdf | sfn-t05-pcf-slides.pdf |
13/06 | 11.50 | 2 (SOE ML) | (P) | |
13/06 | 12.10 | 11 (Sem. alg.) | (P) | (N/A) |