====== 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]]
  * {{P.pdf|Detalhes dos trabalhos propostos}}



^ No. ^ Trabalho ^ Grupo ^ 
|   1 | A correspondência de Curry-Howard | Guilherme |
|   2 | Daikon Invariant Detector | Barbara dos Santos, Fernanada  |
|   3 | Avaliação parcial | Helder, Fernando, Diego |
|   4 | Semântica algébrica | Henrique, Daniel, Denys |
|   5 | Semântica de ações| Cristiano, Gustavo  |
|   6 | Semântica de sistemas distribuidos: CCS | Elias, Caesar  |
|   7 | Semântica axiomática de campos | |
|   8 | Semântica do cálculo $\pi$ | Jean Felipe, Pedro, Ricardo Nolde |
|   9 | Programação estruturada com Goto | Barbara Bellaver, Virginia  |
|  10 | Semântica e sistema de tipos de uma linguagem orientada a objetos para busca em banco de dados |  |
|  11 | Semântica denotational de XPath | Francisco Beschoren, Felipe Roos, Eduardo  |

#Escolhas: 20/25 (+1 da turma do Álvaro)






===== Agenda =====
^ Dia ^ Hora ^ Apresentação ^ Material ^
| 20/11 | 8.30 | Programação estruturada com Goto | {{t-t-goto.doc|T}} {{t-a-goto.ppt|A}} |
| 20/11 | 8.55 | Semântica algébrica | T A |
| 20/11 | 9.20 | Avaliação parcial | {{t-t-avaliacao_parcial.doc|T}} A |
| 20/11 | 9.45 | Daikon Invariant Detector | {{t-t-daikon.pdf|T}} {{t-a-daikon.pdf|A}} |
| 22/11 | 8.30 | Semântica do cálculo $\pi$ | {{t-t-calculo_pi.pdf|T}} {{t-a-calculo_pi.pdf|A}} |
| 22/11 | 8.50 | Semântica de sistemas distribuidos: CCS | {{t-t-ccs.pdf|T}} {{t-a-ccs.pdf|A}} |
| 22/11 | 9.10 | Semântica de ações | T A |
| 22/11 | 9.30 | Semântica denotational de XPath | {{t-t-xpath.doc|T}} {{t-a-xpath.ppt|A}} |
| 22/11 | 9.50 | A correspondência de Curry-Howard | {{t-t-ch.pdf|T}} {{t-a-ch.pdf|A}} |