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/23 15:07] marcus |
inf5516-2006-1-trabalhos [2010/01/18 15:45] (Actual) |
||
|---|---|---|---|
| Linha 9: | Linha 9: | ||
| | 2 | 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 | | ||
| | 3 | Semântica estática de um núcleo de ML | | | | 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 | | + | | 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 | | | 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 | | | 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 | | + | | 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 | | | 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 | | | 9 | Cálculo pi | Roberto Silveira da Rosa Junior,Marcelo Goncalves de Azambuja, Alexandre Coster | | ||
| Linha 18: | Linha 18: | ||
| | 11 | Semântica algebraica | Frederico Silva Correa | | | 11 | Semântica algebraica | Frederico Silva Correa | | ||
| | 12 | Semântica de ações | | | | 12 | Semântica de ações | | | ||
| - | | 13 | 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 ====== | ====== Agenda ====== | ||
| - | ^ Dia ^ Hora ^ Grupo ^ | + | Faz favor de comunicar preferências até 01/06/2006. |
| - | | 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 | NN | | + | |
| - | | 13/06 | 11.30 | NN | | + | |
| - | | 13/06 | 11.50 | NN | | + | |
| + | ^ 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.1148407639.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
