Índice
-
- INF 5010: Otimização combinatória
- INF 5016: Algoritmos avançados
- INF 5023: Técnicas de busca heurística.
Esta é uma versão antiga do documento!
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 |
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: 27.
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-slides.pdf | |
08/06 | 10.50 | 4 (Lambda tipado) | sfn-t04-lambda-tipos-slides.pdf | |
08/06 | 11.10 | 7 (Ling. OO) | sfn-t07-oo-slides.ppt | |
08/06 | 11.30 | 9 (Calc. PI) | sfn-t09-pi-slides.pdf | |
08/06 | 12.10 | 12 (Z) | sfn-t13-z-slides.ppt | |
13/06 | 10.30 | 6 (XQuery/XPath) | ||
13/06 | 10.50 | 1 (Scheme) | ||
13/06 | 11.10 | 10 (Origens) | sfn-t10-osoe.doc | sfn-t10-osoe-slides.ppt |
13/06 | 11.30 | 5 (PCF) | ||
13/06 | 11.50 | 2 (SOE ML) | ||
13/06 | 12.10 | 11 (Sem. alg.) |