O Laboratório de Inteligência Artificial e Métodos Formais é um grupo de pesquisa do Departamento de Informática da UFPR desde 1995 e é registrado no Diretório de Grupos de Pesquisa do CNPq
As principais linhas de pesquisa do LIAMF podem ser assim resumidas:
Lógica e Representação do Conhecimento: estudo sobre métodos para representação do conhecimento, particularmente (mas não apenas) aqueles baseados em lógica formal.
Sistemas Tutores Inteligentes: tudo que se refere a Sistemas Tutores Inteligentes, em especial para o ensino de Conceitos Visuais e Linguagens de Programação, que inclui:
LIAMF - Laboratório de Inteligência Artificial e Métodos Formais Departamento de Informática - UFPR Caixa Postal 19061 81531-980 - Curitiba/PR - Brasil