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.