LIAMF

Laboratório de Lógica, Inteligência Artificial e Métodos Formais

(Logics, Artificial Intelligence and Formal Methods)


Departamento de Ciência da Computação – Instituto de Matemática e Estatística

Universidade de São Paulo (USP) - Brasil


The Logics, Artificial Intelligence and Formal Methods Lab (LIAMF) has been created in 2000 and consists currently of five staff members and their graduate and undergraduate students. We are involved in research funded by the Brazilian government and/or institutional funding agencies, international agencies as well as industry. We offer regular courses at graduate and undergraduate levels and also short courses on specific topics, usually related to ongoing projects. 

Details about our research and contacts can be found in the webpages of the members of the group:



We hold weekly meetings where members of the group or their guests can present their ongoing research. The program for the current semester can be obtained here.


Part of the group as of April 2011