====== Escolha de trabalhos ======

  * O trabalho pode ser feito em grupos até três.
  * Detalhes sobre os objetivos e critérios de avaliação dos [[Trabalho|trabalhos]].
  * [[http://www.ufrgs.br/propesq/seminarios/apresentacaooral.ppt|Como apresentar]]

^ 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.

====== 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)  |