Submissões

Palestras

Palestrantes confirmados

  • Christiano Braga
    Universidade Federal Fluminense, Brasil. Áreas de interesse:
    métodos formais, semântica de linguagens de programação e
    desenvolvimento dirigido à modelos.
  • Kenneth McMillan
    Pesquisador vinculado a Microsoft Research, Redmond, Estados Unidos. Áreas de interesse: verificação formal de modelos,
    análise de programas, teoremas de decisão e provas automatizados.

MAIS INFORMAÇÕES EM INGLÊS