Laboratório de Inteligência Artificial e Métodos Formais (Liamf)

Departamento: Informática.

Cadastro: Diretório de Grupos do Conselho Nacional de Pesquisa (DGP/CNPq).

Pesquisador líder: Luis Allan Künzle, Fabiano Silva.

Localização:

Telefone: +55 41 3361-3410

Website: http://www.inf.ufpr.br/liamf/

E-mail: