Índice
-
- INF 5010: Otimização combinatória
- INF 5016: Algoritmos avançados
- INF 5023: Técnicas de busca heurística.
Ferramentas de Utilizador
Barra Lateral
inf5516-2006-1-trabalhos
Esta é uma versão antiga do documento!
Escolha de trabalhos
- O trabalho pode ser feito em grupos até três.
- Detalhes sobre os objetivos e critérios de avaliação dos trabalhos.
| 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 |
#Escolhas: 26.
Agenda
Faz favor de comunicar preferências até 01/06/2006.
| Dia | Hora | Grupo |
|---|---|---|
| 08/06 | 10.30 | 8 (CCS) |
| 08/06 | 10.50 | NN |
| 08/06 | 11.10 | NN |
| 08/06 | 11.30 | NN |
| 08/06 | 11.50 | NN |
| 13/06 | 10.30 | 6 (XQuery/XPath) |
| 13/06 | 10.50 | 1 (Scheme) |
| 13/06 | 11.10 | 10 (Origens) |
| 13/06 | 11.30 | 5 (PCF) |
| 13/06 | 11.50 | NN |
inf5516-2006-1-trabalhos.1148564420.txt.gz · Esta página foi modificada pela última vez em: 2010/01/18 15:45 (Edição externa)
Ferramentas de Página
Excepto menção em contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Noncommercial-Share Alike 4.0 International
