Ferramentas de Utilizador
inf5516-2006-1-trabalhos
Diferenças
Esta página mostra as diferenças entre as duas revisões da página.
| Ambos os lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
|
inf5516-2006-1-trabalhos [2006/05/16 12:11] marcus |
inf5516-2006-1-trabalhos [2010/01/18 15:45] (Actual) |
||
|---|---|---|---|
| Linha 1: | Linha 1: | ||
| - | ====== Trabalhos ====== | + | ====== Escolha de trabalhos ====== |
| * O trabalho pode ser feito em grupos até três. | * O trabalho pode ser feito em grupos até três. | ||
| - | * Detalhes sobre os objetivos e critérios de avaliação em breve. | + | * Detalhes sobre os objetivos e critérios de avaliação dos [[Trabalho|trabalhos]]. |
| * [[http://www.ufrgs.br/propesq/seminarios/apresentacaooral.ppt|Como apresentar]] | * [[http://www.ufrgs.br/propesq/seminarios/apresentacaooral.ppt|Como apresentar]] | ||
| - | ^ Trabalho ^ Grupo ^ | + | ^ No. ^ Trabalho ^ Grupo ^ |
| - | | Semântica formal do Scheme | Georgina Zwahr Reátegui, Barbara dos Santos Flores | | + | | 1 | 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 | | + | | 2 | 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 | | | + | | 3 | 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 | | + | | 4 | 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 | | + | | 5 | 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 | | + | | 6 | 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 | | + | | 7 | Linguagens orientada a objetos | Felipe de Andrade Pinto, Bruno Nunes Trassante, Cassio Castaldi Araújo Blaz | |
| - | | CCS | Bruna Aquino Ferreira Antunes, Joana Matos Fonseca da Trinidade, Kao Cardoso Félix (08/06/2006) | | + | | 8 | CCS | Bruna Aquino Ferreira Antunes, Joana Matos Fonseca da Trinidade, Kao Cardoso Félix | |
| - | | Cálculo pi | Roberto Silveira da Rosa Junior,Marcelo Goncalves de Azambuja, Alexandre Coster | | + | | 9 | 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 | | + | | 10 | Os origens da SOE | Rafael Barni Munaretti, Rafael Pacheco Kovalevski, Marcelo Castiel Ruas | |
| - | | Semântica algebraica | Frederico Silva Correa | | + | | 11 | Semântica algebraica | Frederico Silva Correa | |
| - | | Semântica de ações | | | + | | 12 | Semântica de ações | | |
| - | | Especificação formal com Z | Tiago D'Oliveira, Ana Paula Locatelli | | + | | 13 | Especificação formal com Z | Tiago D'Oliveira, Ana Paula Locatelli, Sílton Leonardo Paiva Nunes | |
| - | #Escolhas: 26. | + | #Escolhas: 30. |
| + | |||
| + | ====== Agenda ====== | ||
| + | |||
| + | 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) | | ||
inf5516-2006-1-trabalhos.1147792316.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
