A avaliação do curso será feita através de:

• apresentação oral de artigos;
• monografia sobre tema escolhido pelo aluno contendo uma revisão bibliográfica do tema escolhido com críticas e propostas de solução;
• apresentação oral da monografia;
• possivelmente trabalho de implementação;

Implementação: Temas sugeridos

• Paralelização de 'solvers' para domínios finitos ou infinitos.
• Técnicas de desenvolvimento de aplicações eficientes.
• Paralelização de sistemas de programação lógica com restrições.

Monografia: Temas sugeridos

• Estudo de 'solvers' para sistemas conhecidos (ILOG solver, CLP(R), SICStus Prolog, Eclipse, Mozart etc): aplicações, domínios, tipos de 'solvers', performance, limitações.
• Paralelização de 'solvers'.
• Paralelização de sistemas de programação com restrições.
• Compilação de linguagens de programação com restrições para ambientes paralelos.
• Limitações tecnólogicas e teóricas de sistemas seqüenciais de programação com restrições (existe algum problema que não tenha solução?)