Main.PGL History
Hide minor edits - Show changes to output
Added lines 38-39:
|| MA || Programa de Pós-Graduação em Filosofia (Mestrado) || [[https://www.ppgfil.ufma.br|UFMA]] || [[http://lattes.cnpq.br/5985869803612554|Ederson Safra Melo]] ||
Added line 47:
|| SP || Programa de Pós-Graduação em Matemática (Mestrado e Doutorado) || [[https://www.ime.usp.br/pos-matematica|IME-SP]] || [[https://www.ime.usp.br/~brech|Christina Brech]] ||
Added line 47:
|| SP || Mestrado Profissional em Matemática em Rede Nacional || [[https://profmat.ufabc.edu.br|UFABC]] || [[http://professor.ufabc.edu.br/~vinicius|Vinicius Cifú Lopes]] ||
Changed line 20 from:
|| MG || Programa de Pós-Graduação em Ciência da Computação (Mestrado e Doutorado) || [[https://ppgcc.dcc.ufmg.br/|UFMG]] || [[https://hanielbarbosa.com|Haniel Barbosa]]
to:
|| MG || Programa de Pós-Graduação em Ciência da Computação (Mestrado e Doutorado) || [[https://ppgcc.dcc.ufmg.br/|UFMG]] || [[https://hanielbarbosa.com|Haniel Barbosa]] ||
Added line 20:
|| MG || Programa de Pós-Graduação em Ciência da Computação (Mestrado e Doutorado) || [[https://ppgcc.dcc.ufmg.br/|UFMG]] || [[https://hanielbarbosa.com|Haniel Barbosa]]
Changed line 36 from:
|| SP || Programa de Pós-Graduação em Filosofia || [[https://www.ifch.unicamp.br/ifch/pos/filosofia|UNICAMP]] || [[https://www.cle.unicamp.br/prof/coniglio|Marcelo Esteban Coniglio]] ||
to:
|| SP || Programa de Pós-Graduação em Filosofia (Mestrado e Doutorado) || [[https://www.ifch.unicamp.br/ifch/pos/filosofia|UNICAMP]] || [[https://www.cle.unicamp.br/prof/coniglio|Marcelo Esteban Coniglio]] ||
Changed line 35 from:
|| MA || Programa de Pós-Graduação em Filosofia (Mestrado) || [[https://sigaa.ufma.br/sigaa/public/programa/apresentacao_stricto.jsf?lc=pt_BR&idPrograma=1545|UFMA]] || [[ http://lattes.cnpq.br/9310140679220334|Marcio Kléos Freire Pereira]]
to:
|| MA || Programa de Pós-Graduação em Filosofia (Mestrado) || [[https://sigaa.ufma.br/sigaa/public/programa/apresentacao_stricto.jsf?lc=pt_BR&idPrograma=1545|UFMA]] || [[ http://lattes.cnpq.br/9310140679220334|Marcio Kléos Freire Pereira]] ||
Added lines 35-36:
|| MA || Programa de Pós-Graduação em Filosofia (Mestrado) || [[https://sigaa.ufma.br/sigaa/public/programa/apresentacao_stricto.jsf?lc=pt_BR&idPrograma=1545|UFMA]] || [[ http://lattes.cnpq.br/9310140679220334|Marcio Kléos Freire Pereira]]
|| SP || Programa de Pós-Graduação em Filosofia || [[https://www.ifch.unicamp.br/ifch/pos/filosofia|UNICAMP]] || [[https://www.cle.unicamp.br/prof/coniglio|Marcelo Esteban Coniglio]] ||
|| SP || Programa de Pós-Graduação em Filosofia || [[https://www.ifch.unicamp.br/ifch/pos/filosofia|UNICAMP]] || [[https://www.cle.unicamp.br/prof/coniglio|Marcelo Esteban Coniglio]] ||
Changed line 19 from:
|| PR || Programa de Pós-Graduação em Computação Aplicada (Mestrado) || [[http://www.utfpr.edu.br/cursos/mestrado-e-doutorado/ppgca-ct|UTFPR]] ||[[http://adolfont.github.io|Adolfo Gustavo Serra Seca Neto]] ||
to:
|| PR || Programa de Pós-Graduação em Computação Aplicada (Mestrado) || [[http://www.utfpr.edu.br/cursos/mestrado-e-doutorado/ppgca-ct|UTFPR]] || [[http://adolfont.github.io|Adolfo Gustavo Serra Seca Neto]] ||
Changed line 19 from:
|| PR || [[http://www.utfpr.edu.br/cursos/mestrado-e-doutorado/ppgca-ct|Programa de Pós-Graduação em Computação Aplicada (Mestrado)]] || [[http://adolfont.github.io|Adolfo Gustavo Serra Seca Neto]] ||
to:
|| PR || Programa de Pós-Graduação em Computação Aplicada (Mestrado) || [[http://www.utfpr.edu.br/cursos/mestrado-e-doutorado/ppgca-ct|UTFPR]] ||[[http://adolfont.github.io|Adolfo Gustavo Serra Seca Neto]] ||
Added line 19:
|| PR || [[http://www.utfpr.edu.br/cursos/mestrado-e-doutorado/ppgca-ct|Programa de Pós-Graduação em Computação Aplicada (Mestrado)]] || [[http://adolfont.github.io|Adolfo Gustavo Serra Seca Neto]] ||
Changed lines 41-42 from:
|| BA || Programa de Doutorado em Matemática || [[https://pgmat.ufba.br/pt-br/doutorado|UFBA/UFAL]] [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/ciro-pt?authuser=0|Ciro Russo]] ||
|| SP || Programa de Pós-Graduação em Matemática (Mestrado e Doutorado) || [[https://www.ime.usp.br/pos-matematica|IME-SP]] || [[https://www.ime.usp.br/hugomar|Hugo Mariano]]
|| SP || Programa de Pós-Graduação em Matemática (Mestrado e Doutorado) || [[https://www.ime.usp.br/pos-matematica|IME-SP]] || [[https://www.ime.usp.br/hugomar|Hugo Mariano]]
to:
|| BA || Programa de Doutorado em Matemática || [[https://pgmat.ufba.br/pt-br/doutorado|UFBA/UFAL]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/ciro-pt?authuser=0|Ciro Russo]] ||
|| SP || Programa de Pós-Graduação em Matemática (Mestrado e Doutorado) || [[https://www.ime.usp.br/pos-matematica|IME-SP]] || [[https://www.ime.usp.br/hugomar|Hugo Mariano]] ||
|| SP || Programa de Pós-Graduação em Matemática (Mestrado e Doutorado) || [[https://www.ime.usp.br/pos-matematica|IME-SP]] || [[https://www.ime.usp.br/hugomar|Hugo Mariano]] ||
Changed lines 38-39 from:
|| BA || Programa de Mestrado em Matemática da UFBA || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
|| BA || Programa de Doutorado emAssociação UFBA/UFAL || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
|| BA || Programa de Doutorado em
to:
|| BA || Programa de Mestrado em Matemática || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
|| BA || Programa de Doutorado em Matemática || [[https://pgmat.ufba.br/pt-br/doutorado|UFBA/UFAL]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
|| BA || Programa de Mestrado em Matemática || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/ciro-pt?authuser=0|Ciro Russo]] ||
|| BA || Programa de Doutorado em Matemática || [[https://pgmat.ufba.br/pt-br/doutorado|UFBA/UFAL]] [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/ciro-pt?authuser=0|Ciro Russo]] ||
|| SP || Programa de Pós-Graduação em Matemática (Mestrado e Doutorado) || [[https://www.ime.usp.br/pos-matematica|IME-SP]] || [[https://www.ime.usp.br/hugomar|Hugo Mariano]]
|| BA || Programa de Doutorado em Matemática || [[https://pgmat.ufba.br/pt-br/doutorado|UFBA/UFAL]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
|| BA || Programa de Mestrado em Matemática || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/ciro-pt?authuser=0|Ciro Russo]] ||
|| BA || Programa de Doutorado em Matemática || [[https://pgmat.ufba.br/pt-br/doutorado|UFBA/UFAL]] [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/ciro-pt?authuser=0|Ciro Russo]] ||
|| SP || Programa de Pós-Graduação em Matemática (Mestrado e Doutorado) || [[https://www.ime.usp.br/pos-matematica|IME-SP]] || [[https://www.ime.usp.br/hugomar|Hugo Mariano]]
Changed lines 42-43 from:
to:
Para contribuir para a atualização dessa página, por favor responder a
[[https://forms.gle/8NxxX59cuj8tjfYE8|esse formulário.]]
[[https://forms.gle/8NxxX59cuj8tjfYE8|esse formulário.]]
Changed lines 39-40 from:
|| BA || Programa de Doutorado em Associaçao UFBA/UFAL || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
to:
|| BA || Programa de Doutorado em Associação UFBA/UFAL || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
''Informações atualizadas conforme solicitado pelos membros dos programas.''\\
''Informações atualizadas conforme solicitado pelos membros dos programas.''\\
Changed lines 26-27 from:
|| PR || Programa de Pós-Graduação em Filosofia || [[http://www.uem.br]] || [[http://www.pgf.uem.br/index.php/pt/docentes/208-evandro-luis-gomes|Evandro Luís Gomes]] ||
|| PR || Programa de Pós-Graduação em Filosofia || [[http://www.uem.br]] || [[http://www.pgf.uem.br/index.php/pt/docentes/183-mateus-ricardo-fernandes-ferreira|Mateus Ricardo Fernandes Ferreira]] ||
|| PR || Programa de Pós-Graduação em Filosofia || [[http://www.uem.br]] || [[http://www.pgf.uem.br/index.php/pt/docentes/183-mateus-ricardo-fernandes-ferreira|Mateus Ricardo Fernandes Ferreira]] ||
to:
|| PR || Programa de Pós-Graduação em Filosofia || [[http://www.uem.br|UEM]] || [[http://www.pgf.uem.br/index.php/pt/docentes/208-evandro-luis-gomes|Evandro Luís Gomes]] ||
|| PR || Programa de Pós-Graduação em Filosofia || [[http://www.uem.br|UEM]] || [[http://www.pgf.uem.br/index.php/pt/docentes/183-mateus-ricardo-fernandes-ferreira|Mateus Ricardo Fernandes Ferreira]] ||
|| PR || Programa de Pós-Graduação em Filosofia || [[http://www.uem.br|UEM]] || [[http://www.pgf.uem.br/index.php/pt/docentes/183-mateus-ricardo-fernandes-ferreira|Mateus Ricardo Fernandes Ferreira]] ||
Added lines 26-27:
|| PR || Programa de Pós-Graduação em Filosofia || [[http://www.uem.br]] || [[http://www.pgf.uem.br/index.php/pt/docentes/208-evandro-luis-gomes|Evandro Luís Gomes]] ||
|| PR || Programa de Pós-Graduação em Filosofia || [[http://www.uem.br]] || [[http://www.pgf.uem.br/index.php/pt/docentes/183-mateus-ricardo-fernandes-ferreira|Mateus Ricardo Fernandes Ferreira]] ||
|| PR || Programa de Pós-Graduação em Filosofia || [[http://www.uem.br]] || [[http://www.pgf.uem.br/index.php/pt/docentes/183-mateus-ricardo-fernandes-ferreira|Mateus Ricardo Fernandes Ferreira]] ||
Deleted line 9:
Added line 12:
|| RJ || Programa de Pós-Graduação em Informática || [[http://www.puc-rio.br|PUC-Rio]] || [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]] ||
Added line 10:
|| RJ || Programa de Pós-Graduação em Informática || [[http://www.puc-rio.br|PUC-Rio]] || [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]] ||
Changed lines 12-13 from:
|| RJ || Programa de Pós-Graduação em Engenharia de Sistemas e Computação || [[http://www.ufrj.br|UFRJ]] || [[http://www.cos.ufrj.br/~mario|Mario Benevides]] ||
|| RJ || Programa de Pós-Graduação em Informática || [[http://www.puc-rio.br|PUC-Rio]] || [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]] ||
|| RJ || Programa de Pós-Graduação em Informática || [[http://www.puc-rio.br|PUC-Rio]] || [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler
to:
|| RJ || Programa de Pós-Graduação em Computação || [[http://www.uff.br|UFF]] || [[http://www.ic.uff.br/~mario|Mario Benevides]] ||
Added line 31:
|| RN || Programa de Pós-Graduação em Filosofia || [[http://ufrn.br|UFRN]] || [[http://samirgorsky.weebly.com/|Samir Bezerra Gorsky]] ||
Changed lines 13-14 from:
to:
|| RN || Programa de Pós-Graduação em Sistemas e Computação || [[http://ufrn.br|UFRN]] || [[https://sigaa.ufrn.br/sigaa/public/docente/portal.jsf?siape=2212166|Benjamín Bedregal]] ||
|| RN || Programa de Pós-Graduação em Sistemas e Computação || [[http://ufrn.br|UFRN]] || [[https://sites.google.com/site/carlosolarte/|Carlos Olarte]] ||
|| RN || Programa de Pós-Graduação em Sistemas e Computação || [[http://ufrn.br|UFRN]] || [[https://sites.google.com/site/elainepimentel/|Elaine Pimentel]] ||
|| RN || Programa de Pós-Graduação em Sistemas e Computação || [[http://ufrn.br|UFRN]] || [[https://sites.google.com/site/sequiturquodlibet/|João Marcos]] ||
|| RN || Programa de Pós-Graduação em Sistemas e Computação || [[http://ufrn.br|UFRN]] || [[https://sites.google.com/site/regivanhnsantiago/|Regivan Santiago]] ||
|| RN || Programa de Pós-Graduação em Sistemas e Computação || [[http://ufrn.br|UFRN]] || [[https://sites.google.com/site/umbertorivieccioufrn/|Umberto Rivieccio]] ||
|| RN || Programa de Pós-Graduação em Sistemas e Computação || [[http://ufrn.br|UFRN]] || [[https://sites.google.com/site/carlosolarte/|Carlos Olarte]] ||
|| RN || Programa de Pós-Graduação em Sistemas e Computação || [[http://ufrn.br|UFRN]] || [[https://sites.google.com/site/elainepimentel/|Elaine Pimentel]] ||
|| RN || Programa de Pós-Graduação em Sistemas e Computação || [[http://ufrn.br|UFRN]] || [[https://sites.google.com/site/sequiturquodlibet/|João Marcos]] ||
|| RN || Programa de Pós-Graduação em Sistemas e Computação || [[http://ufrn.br|UFRN]] || [[https://sites.google.com/site/regivanhnsantiago/|Regivan Santiago]] ||
|| RN || Programa de Pós-Graduação em Sistemas e Computação || [[http://ufrn.br|UFRN]] || [[https://sites.google.com/site/umbertorivieccioufrn/|Umberto Rivieccio]] ||
Added lines 27-30:
|| RN || Programa de Pós-Graduação em Filosofia || [[http://ufrn.br|UFRN]] || Bruno Vaz ||
|| RN || Programa de Pós-Graduação em Filosofia || [[http://ufrn.br|UFRN]] || [[https://danieldurante.weebly.com|Daniel Durante]] ||
|| RN || Programa de Pós-Graduação em Filosofia || [[http://ufrn.br|UFRN]] || [[http://folk.uio.no/fbjordal/|Frode Bjørdal]] ||
|| RN || Programa de Pós-Graduação em Filosofia || [[http://ufrn.br|UFRN]] || [[https://sites.google.com/site/sequiturquodlibet/|João Marcos]] ||
|| RN || Programa de Pós-Graduação em Filosofia || [[http://ufrn.br|UFRN]] || [[https://danieldurante.weebly.com|Daniel Durante]] ||
|| RN || Programa de Pós-Graduação em Filosofia || [[http://ufrn.br|UFRN]] || [[http://folk.uio.no/fbjordal/|Frode Bjørdal]] ||
|| RN || Programa de Pós-Graduação em Filosofia || [[http://ufrn.br|UFRN]] || [[https://sites.google.com/site/sequiturquodlibet/|João Marcos]] ||
Changed line 18 from:
|| DF || Programa de Pós-Graduação em Filosofia || [[http://www.unb.br|UnB]] || [[http://dgp.cnpq.br/dgp/espelhogrupo/7628213556759059|Alexandre Costa-Leite]] ||
to:
|| DF || Programa de Pós-Graduação em Filosofia || [[http://www.unb.br|UnB]] || [[http://costaleite.info/|Alexandre Costa-Leite]] ||
Changed line 3 from:
! Programas de orientadores em Lógica credenciados em programas de pós-graduação no Brasil
to:
! Orientadores em Lógica credenciados em programas de pós-graduação no Brasil
Changed line 3 from:
! Programas de Pós-Graduação brasileiros com orientadores em Lógica
to:
! Programas de orientadores em Lógica credenciados em programas de pós-graduação no Brasil
Changed lines 26-28 from:
|| BA || Programa de Doutorado em Associaçao UFBA/UFAL || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
to:
|| BA || Programa de Doutorado em Associaçao UFBA/UFAL || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
''Para incluir seu nome na lista, entre em contato através do email [[mailto:contato@sbl.org.br|contato@sbl.org.br]].''
''Para incluir seu nome na lista, entre em contato através do email [[mailto:contato@sbl.org.br|contato@sbl.org.br]].''
Changed line 10 from:
|| RJ || [[http://www.ic.uff.br|Programa de Pós-Graduação em Computação]] || [[http://www.uff.br|UFF]] || [[http://www.ic.uff.br/~bruno|Bruno Lopes]] ||
to:
|| RJ || Programa de Pós-Graduação em Computação || [[http://www.uff.br|UFF]] || [[http://www.ic.uff.br/~bruno|Bruno Lopes]] ||
Changed lines 8-9 from:
|| DF || Programa de Pós-Graduação em Informática || [[http://www.unb.br|Universidade de Brasília]] || [[http://www.cic.unb.br/~nalon|Cláudia Nalon]] ||
|| DF || Programa de Pós-Graduação em Informática || [[http://www.unb.br|Universidade de Brasília]] || [[http://www.cic.unb.br/~ayala|Mauricio Ayala-Rincón]] ||
|| DF || Programa de Pós-Graduação em Informática || [[http://www.unb.br|
to:
|| DF || Programa de Pós-Graduação em Informática || [[http://www.unb.br|UnB]] || [[http://www.cic.unb.br/~nalon|Cláudia Nalon]] ||
|| DF || Programa de Pós-Graduação em Informática || [[http://www.unb.br|UnB]] || [[http://www.cic.unb.br/~ayala|Mauricio Ayala-Rincón]] ||
|| DF || Programa de Pós-Graduação em Informática || [[http://www.unb.br|UnB]] || [[http://www.cic.unb.br/~ayala|Mauricio Ayala-Rincón]] ||
Changed lines 18-19 from:
|| DF || Programa de Pós-Graduação em Filosofia || [[http://www.unb.br|Universidade de Brasília]] || [[http://dgp.cnpq.br/dgp/espelhogrupo/7628213556759059|Alexandre Costa-Leite]] ||
|| DF || Programa de Pós-Graduação em Filosofia || [[http://www.unb.br|Universidade de Brasília]] || [[http://dgp.cnpq.br/dgp/espelhogrupo/7628213556759059|Rodrigo A. Freire]] ||
|| DF || Programa de Pós-Graduação em Filosofia || [[http://www.unb.br|
to:
|| DF || Programa de Pós-Graduação em Filosofia || [[http://www.unb.br|UnB]] || [[http://dgp.cnpq.br/dgp/espelhogrupo/7628213556759059|Alexandre Costa-Leite]] ||
|| DF || Programa de Pós-Graduação em Filosofia || [[http://www.unb.br|UnB]] || [[http://dgp.cnpq.br/dgp/espelhogrupo/7628213556759059|Rodrigo A. Freire]] ||
|| DF || Programa de Pós-Graduação em Filosofia || [[http://www.unb.br|UnB]] || [[http://dgp.cnpq.br/dgp/espelhogrupo/7628213556759059|Rodrigo A. Freire]] ||
Changed lines 22-26 from:
!! Matemática
to:
!! Matemática
|| ''' UF''' || ''' Programa''' || '''Instituição''' || '''Orientador''' ||
|| BA || Programa de Mestrado em Matemática da UFBA || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
|| BA || Programa de Doutorado em Associaçao UFBA/UFAL || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
|| ''' UF''' || ''' Programa''' || '''Instituição''' || '''Orientador''' ||
|| BA || Programa de Mestrado em Matemática da UFBA || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
|| BA || Programa de Doutorado em Associaçao UFBA/UFAL || [[http://www.ufba.br|UFBA]] || [[https://sites.google.com/site/ufbalogic/home/home-pt/membros/samuel-pt|Samuel Gomes da Silva]] ||
Changed line 19 from:
| DF || Programa de Pós-Graduação em Filosofia || [[http://www.unb.br|Universidade de Brasília]] || [[http://dgp.cnpq.br/dgp/espelhogrupo/7628213556759059|Rodrigo A. Freire]] ||
to:
|| DF || Programa de Pós-Graduação em Filosofia || [[http://www.unb.br|Universidade de Brasília]] || [[http://dgp.cnpq.br/dgp/espelhogrupo/7628213556759059|Rodrigo A. Freire]] ||
Changed lines 12-14 from:
|| RJ || Programa de Pós-Graduação em Informática || [[http://www.puc-rio.br|PUC-Rio]] || [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]]
to:
|| RJ || Programa de Pós-Graduação em Informática || [[http://www.puc-rio.br|PUC-Rio]] || [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]] ||
Added lines 16-20:
|| ''' UF''' || ''' Programa''' || '''Instituição''' || '''Orientador''' ||
|| DF || Programa de Pós-Graduação em Filosofia || [[http://www.unb.br|Universidade de Brasília]] || [[http://dgp.cnpq.br/dgp/espelhogrupo/7628213556759059|Alexandre Costa-Leite]] ||
| DF || Programa de Pós-Graduação em Filosofia || [[http://www.unb.br|Universidade de Brasília]] || [[http://dgp.cnpq.br/dgp/espelhogrupo/7628213556759059|Rodrigo A. Freire]] ||
|| RJ || Programa de Pós-Graduação em Filosofia || [[http://www.puc-rio.br|PUC-Rio]] || [[http://www.fil.puc-rio.br/o-departamento/corpo-docente/luiz-carlos-pinheiro-dias-pereira|Luiz Carlos Pereira]] ||
Added lines 8-9:
|| DF || Programa de Pós-Graduação em Informática || [[http://www.unb.br|Universidade de Brasília]] || [[http://www.cic.unb.br/~nalon|Cláudia Nalon]] ||
|| DF || Programa de Pós-Graduação em Informática || [[http://www.unb.br|Universidade de Brasília]] || [[http://www.cic.unb.br/~ayala|Mauricio Ayala-Rincón]] ||
|| DF || Programa de Pós-Graduação em Informática || [[http://www.unb.br|Universidade de Brasília]] || [[http://www.cic.unb.br/~ayala|Mauricio Ayala-Rincón]] ||
Added lines 1-15:
Attach:sbl.jpg
! Programas de Pós-Graduação brasileiros com orientadores em Lógica
!! Ciência da Computação
|| ''' UF''' || ''' Programa''' || '''Instituição''' || '''Orientador''' ||
|| RJ || [[http://www.ic.uff.br|Programa de Pós-Graduação em Computação]] || [[http://www.uff.br|UFF]] || [[http://www.ic.uff.br/~bruno|Bruno Lopes]] ||
|| RJ || Programa de Pós-Graduação em Engenharia de Sistemas e Computação || [[http://www.ufrj.br|UFRJ]] || [[http://www.cos.ufrj.br/~mario|Mario Benevides]] ||
|| RJ || Programa de Pós-Graduação em Informática || [[http://www.puc-rio.br|PUC-Rio]] || [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]]
!! Filosofia
!! Matemática
! Programas de Pós-Graduação brasileiros com orientadores em Lógica
!! Ciência da Computação
|| ''' UF''' || ''' Programa''' || '''Instituição''' || '''Orientador''' ||
|| RJ || [[http://www.ic.uff.br|Programa de Pós-Graduação em Computação]] || [[http://www.uff.br|UFF]] || [[http://www.ic.uff.br/~bruno|Bruno Lopes]] ||
|| RJ || Programa de Pós-Graduação em Engenharia de Sistemas e Computação || [[http://www.ufrj.br|UFRJ]] || [[http://www.cos.ufrj.br/~mario|Mario Benevides]] ||
|| RJ || Programa de Pós-Graduação em Informática || [[http://www.puc-rio.br|PUC-Rio]] || [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]]
!! Filosofia
!! Matemática