Main.Grupos History

Hide minor edits - Show changes to output

February 09, 2024, at 11:17 AM by 200.135.88.48 -
Added line 19:
* [[https://sites.google.com/view/gfill/in%C3%ADcio?authuser=0|GFILL]] - Grupo de Filosofia da Lógica e da Linguagem (UFMA)
Restore
September 04, 2023, at 10:34 AM by 179.190.248.249 -
Added lines 16-18:
* [[http://dgp.cnpq.br/dgp/espelhogrupo/6614749703101193|Lógica e Aplicações]] (USP)
* [[https://www.instagram.com/gelf_ufma|GELF]] - Grupo de Estudos em Lógica e Filosofia Formal (UFMA)
* [[https://www.udesc.br/cct/funcao|Função]] - Grupo de Pesquisa em Fundamentos da Computação (UDESC)
Restore
August 28, 2023, at 11:31 AM by 179.190.248.249 -
Changed lines 8-9 from:
* [[http://lolita.dimap.ufrn.br|LOLITA]] - Group for Logic, Language, Information, Theory and Applications (DIMAP/UFRN)
* [[https://gelogica.weebly.com/|GEL]]- Grupo de Estudos em Lógica (UFRN)
to:
* [[http://carol.dimap.ufrn.br/|CAROL]] - Group on Computability, Approximate Reasoning, Ordered structures, and Logics  (DIMAP/UFRN)
* [[https://gelogica.weebly.com/|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
[[https://forms.gle/A7SCjv7TUtyrnYMbA|esse formulário.]]
Restore
October 20, 2020, at 09:06 AM by 177.195.57.23 -
Changed lines 8-9 from:
* [[http://lolita.dimap.ufrn.br|LOLITA]] - Group for Logic, Language, Information, Theory and Applications
to:
* [[http://lolita.dimap.ufrn.br|LOLITA]] - Group for Logic, Language, Information, Theory and Applications (DIMAP/UFRN)
* [[https://gelogica.weebly.com/|GEL]]- Grupo de Estudos em Lógica (UFRN)
Restore
October 20, 2020, at 09:05 AM by 177.195.57.23 -
Changed line 8 from:
* [[http://lolita.dimap.ufrn.br/LOLITA]] - Group for Logic, Language, Information, Theory and Applications
to:
* [[http://lolita.dimap.ufrn.br|LOLITA]] - Group for Logic, Language, Information, Theory and Applications
Restore
October 20, 2020, at 09:05 AM by 177.195.57.23 -
Added line 8:
* [[http://lolita.dimap.ufrn.br/LOLITA]] - Group for Logic, Language, Information, Theory and Applications
Restore
September 16, 2020, at 09:48 PM by 177.195.57.23 -
Changed line 9 from:
* [[https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg|Grupo de Pesquisa em Lógica, Conjuntos e Topologia]] (UFBA)
to:
* [[https://sites.google.com/site/ufbalogic/|Grupo de Pesquisa em Lógica, Conjuntos e Topologia]] (UFBA)
Restore
September 16, 2020, at 02:31 PM by 177.195.57.23 -
Changed line 9 from:
* [[https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg|Grupo de Pesquisa em Lógica, Conjuntos e Topologia da UFBA]]
to:
* [[https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg|Grupo de Pesquisa em Lógica, Conjuntos e Topologia]] (UFBA)
Restore
September 16, 2020, at 02:31 PM by 177.195.57.23 -
Added line 9:
* [[https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg|Grupo de Pesquisa em Lógica, Conjuntos e Topologia da UFBA]]
Restore
September 09, 2020, at 08:31 AM by 177.195.51.38 -
Changed line 6 from:
* [[http://ww2.inf.ufg.br/~daniel/effa/|EFFA]] - Estruturas Formais, Fundamentos e Aplicações
to:
* [[http://ww2.inf.ufg.br/~daniel/effa/|EFFA]] - Estruturas Formais, Fundamentos e Aplicações (INF/UFG)
Changed line 8 from:
* [[http://www.cle.unicamp.br/gtal|GLTA]] - Grupo de Lógica Teórica e Aplicada
to:
* [[http://www.cle.unicamp.br/gtal|GLTA]] - Grupo de Lógica Teórica e Aplicada (CLE/UNICAMP)
Restore
September 09, 2020, at 08:30 AM by 177.195.51.38 -
Changed line 8 from:
* [[http://www.cle.unicamp.br/gtal|GTAL]] - Grupo de Lógica Teórica e Aplicada-GLTA/Group for Theoretical and Applied Logic
to:
* [[http://www.cle.unicamp.br/gtal|GLTA]] - Grupo de Lógica Teórica e Aplicada
Restore
September 09, 2020, at 08:30 AM by 177.195.51.38 -
Added line 6:
* [[http://ww2.inf.ufg.br/~daniel/effa/|EFFA]] - Estruturas Formais, Fundamentos e Aplicações
Added line 8:
* [[http://www.cle.unicamp.br/gtal|GTAL]] - Grupo de Lógica Teórica e Aplicada-GLTA/Group for Theoretical and Applied Logic
Restore
September 08, 2020, at 04:08 PM by 177.195.51.38 -
Added line 8:
* [[http://lna.unb.br|Lógica no Avião]] (UnB)
Restore
September 08, 2020, at 12:15 PM by 177.195.51.38 -
Added line 8:
* [[https://logicasbrasileiras.blogspot.com|Lógicas Brasileiras]]
Restore
September 08, 2020, at 11:47 AM by 177.195.51.38 -
Changed line 5 from:
* [[https://conscienciaecognicaoufpe.wordpress.com|Consciência e Cognição|]] (PPGF/UFPE)
to:
* [[https://conscienciaecognicaoufpe.wordpress.com|Consciência e Cognição]] (PPGF/UFPE)
Restore
September 08, 2020, at 11:47 AM by 177.195.51.38 -
Added line 5:
* [[https://conscienciaecognicaoufpe.wordpress.com|Consciência e Cognição|]] (PPGF/UFPE)
Restore
September 08, 2020, at 10:54 AM by 177.195.51.38 -
Changed line 6 from:
* [[https://liamf-usp.github.io/liamf-page/|LIAMF]]Grupo de Lógica, inteligência Artificial e Métodos Formais (IME/USP)
to:
* [[https://liamf-usp.github.io/liamf-page/|LIAMF]] - Grupo de Lógica, inteligência Artificial e Métodos Formais (IME/USP)
Restore
September 08, 2020, at 10:54 AM by 177.195.51.38 -
Changed line 6 from:
* [[https://liamf-usp.github.io/liamf-page/|Grupo de Lógica, inteligência Artificial e Métodos Formais]] (IME/USP)
to:
* [[https://liamf-usp.github.io/liamf-page/|LIAMF]]Grupo de Lógica, inteligência Artificial e Métodos Formais (IME/USP)
Restore
September 08, 2020, at 10:37 AM by 177.195.51.38 -
Changed lines 5-6 from:
* [[http://frame.ic.uff.br|FR∀M∃ Lab.]] - formal methods, artificial intelligence, and logic in computer science
* [[http://www.tecmf.inf.puc-rio.br|TecMF]] - Laboratório de Tecnologia em Métodos Formais
to:
* [[http://frame.ic.uff.br|FR∀M∃ Lab.]] - formal methods, artificial intelligence, and logic in computer science (IC/UFF)
* [[https://liamf-usp.github.io/liamf-page/|Grupo de Lógica, inteligência Artificial e Métodos Formais]] (IME/USP)
* [[http://www.tecmf.inf.puc-rio.br|TecMF]] - Laboratório de Tecnologia em Métodos Formais (DI/PUC-Rio)
Restore
September 08, 2020, at 10:34 AM by 177.195.51.38 -
Added line 6:
* [[http://www.tecmf.inf.puc-rio.br|TecMF]] - Laboratório de Tecnologia em Métodos Formais
Restore
September 08, 2020, at 10:32 AM by 177.195.51.38 -
Added lines 1-7:
Attach:sbl.jpg

! Grupos nacionais relacionados à Lógica

* [[http://frame.ic.uff.br|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.''
Restore