====== 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 |  |
|   2 | Daikon Invariant Detector |  |
|   3 | Avaliação parcial | |
|   4 | Semântica algébrica |  |
|   5 | Semântica de ações| |
|   6 | Semântica de sistemas distribuidos: CCS |  |
|   7 | Semântica axiomática de campos | |
|   8 | Semântica do cálculo $\pi$ |  |
|   9 | Programação estruturada com Goto |  |
|  10 | Semântica e sistema de tipos de uma linguagem orientada a objetos para em banco de dados |  |
|  11 | Semântica denotational de XPath | |

#Escolhas: 0/25