Grupos nacionais relacionados à Lógica

• Consciência e Cognição (PPGF/UFPE)
• EFFA - Estruturas Formais, Fundamentos e Aplicações (INF/UFG)
• FR∀M∃ Lab. - formal methods, artificial intelligence, and logic in computer science (IC/UFF)
• CAROL - Group on Computability, Approximate Reasoning, Ordered structures, and Logics (DIMAP/UFRN)
• GEL- Grupo de Estudos em Lógica "Carolina Blasio" (DEFIL/UFRN)
• GLTA - Grupo de Lógica Teórica e Aplicada (CLE/UNICAMP)
• Grupo de Pesquisa em Lógica, Conjuntos e Topologia (UFBA)
• LIAMF - Grupo de Lógica, inteligência Artificial e Métodos Formais (IME/USP)
• Lógica no Avião (UnB)
• Lógicas Brasileiras
• TecMF - Laboratório de Tecnologia em Métodos Formais (DI/PUC-Rio)
• Lógica e Aplicações (USP)
• GELF - Grupo de Estudos em Lógica e Filosofia Formal (UFMA)
• Função - Grupo de Pesquisa em Fundamentos da Computação (UDESC)
• GFILL - Grupo de Filosofia da Lógica e da Linguagem (UFMA)

A SBL ressalta que a listagem de um grupo em sua página não expressa necessariamente concordância com suas postagens.

Para contribuir para a atualização dessa página, por favor responder a esse formulário.