Main.Grupos History
Hide minor edits - Show changes to markup
Added line 19:
- GFILL - Grupo de Filosofia da Lógica e da Linguagem (UFMA)
Added lines 16-18:
- 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)
Changed lines 8-9 from:
- LOLITA - Group for Logic, Language, Information, Theory and Applications (DIMAP/UFRN)
- GEL- Grupo de Estudos em Lógica (UFRN)
to:
- CAROL - Group on Computability, Approximate Reasoning, Ordered structures, and Logics (DIMAP/UFRN)
- GEL- Grupo de Estudos em Lógica "Carolina Blasio" (DEFIL/UFRN)
Changed lines 17-20 from:
A SBL ressalta que a listagem de um grupo em sua página não expressa necessariamente concordância com suas postagens.
to:
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.
Changed lines 8-9 from:
- LOLITA - Group for Logic, Language, Information, Theory and Applications
to:
- LOLITA - Group for Logic, Language, Information, Theory and Applications (DIMAP/UFRN)
- GEL- Grupo de Estudos em Lógica (UFRN)
Changed line 8 from:
- http://lolita.dimap.ufrn.br/LOLITA - Group for Logic, Language, Information, Theory and Applications
to:
- LOLITA - Group for Logic, Language, Information, Theory and Applications
Added line 8:
- http://lolita.dimap.ufrn.br/LOLITA - Group for Logic, Language, Information, Theory and Applications
Changed line 9 from:
- Grupo de Pesquisa em Lógica, Conjuntos e Topologia (UFBA)
to:
- Grupo de Pesquisa em Lógica, Conjuntos e Topologia (UFBA)
Changed line 9 from:
- Grupo de Pesquisa em Lógica, Conjuntos e Topologia da UFBA
to:
- Grupo de Pesquisa em Lógica, Conjuntos e Topologia (UFBA)
Added line 9:
- Grupo de Pesquisa em Lógica, Conjuntos e Topologia da UFBA
Changed line 6 from:
- EFFA - Estruturas Formais, Fundamentos e Aplicações
to:
- EFFA - Estruturas Formais, Fundamentos e Aplicações (INF/UFG)
Changed line 8 from:
- GLTA - Grupo de Lógica Teórica e Aplicada
to:
- GLTA - Grupo de Lógica Teórica e Aplicada (CLE/UNICAMP)
Changed line 8 from:
- GTAL - Grupo de Lógica Teórica e Aplicada-GLTA/Group for Theoretical and Applied Logic
to:
- GLTA - Grupo de Lógica Teórica e Aplicada
Added line 6:
- EFFA - Estruturas Formais, Fundamentos e Aplicações
Added line 8:
- GTAL - Grupo de Lógica Teórica e Aplicada-GLTA/Group for Theoretical and Applied Logic
Changed line 5 from:
- Consciência e Cognição| (PPGF/UFPE)
to:
- Consciência e Cognição (PPGF/UFPE)
Changed line 6 from:
- LIAMFGrupo de Lógica, inteligência Artificial e Métodos Formais (IME/USP)
to:
- LIAMF - Grupo de Lógica, inteligência Artificial e Métodos Formais (IME/USP)
Changed line 6 from:
- Grupo de Lógica, inteligência Artificial e Métodos Formais (IME/USP)
to:
- LIAMFGrupo de Lógica, inteligência Artificial e Métodos Formais (IME/USP)
Changed lines 5-6 from:
- FR∀M∃ Lab. - formal methods, artificial intelligence, and logic in computer science
- TecMF - Laboratório de Tecnologia em Métodos Formais
to:
- FR∀M∃ Lab. - formal methods, artificial intelligence, and logic in computer science (IC/UFF)
- Grupo de Lógica, inteligência Artificial e Métodos Formais (IME/USP)
- TecMF - Laboratório de Tecnologia em Métodos Formais (DI/PUC-Rio)
Added line 6:
- TecMF - Laboratório de Tecnologia em Métodos Formais
Added lines 1-7:
Grupos nacionais relacionados à Lógica
- FR∀M∃ Lab. - formal methods, artificial intelligence, and logic in computer science
A SBL ressalta que a listagem de um grupo em sua página não expressa necessariamente concordância com suas postagens.