LIAMF

Grupo de Lógica, Inteligência Artificial e Métodos Formais do IME. O Grupo é formado atualmente por cinco professores:

• Marcelo Finger
• Renata Wassermann
• Leliane Nunes de Barros
• Ana Cristina Vieira de Melo
• Flávio Soares Corrêa da Silva

Links

• Página do LIAMF
• Seminários do LIAMF