Main.PGL History
Show minor edits - Show changes to markup
Added lines 38-39:
MA | Programa de Pós-Graduação em Filosofia (Mestrado) | UFMA | Ederson Safra Melo |
Added line 47:
SP | Programa de Pós-Graduação em Matemática (Mestrado e Doutorado) | IME-SP | Christina Brech |
Added line 47:
SP | Mestrado Profissional em Matemática em Rede Nacional | UFABC | Vinicius Cifú Lopes |
Changed line 20 from:
MG | Programa de Pós-Graduação em Ciência da Computação (Mestrado e Doutorado) | UFMG | Haniel Barbosa |
to:
MG | Programa de Pós-Graduação em Ciência da Computação (Mestrado e Doutorado) | UFMG | Haniel Barbosa |
Added line 20:
MG | Programa de Pós-Graduação em Ciência da Computação (Mestrado e Doutorado) | UFMG | Haniel Barbosa |
Changed line 36 from:
SP | Programa de Pós-Graduação em Filosofia | UNICAMP | Marcelo Esteban Coniglio |
to:
SP | Programa de Pós-Graduação em Filosofia (Mestrado e Doutorado) | UNICAMP | Marcelo Esteban Coniglio |
Changed line 35 from:
MA | Programa de Pós-Graduação em Filosofia (Mestrado) | UFMA | Marcio Kléos Freire Pereira |
to:
MA | Programa de Pós-Graduação em Filosofia (Mestrado) | UFMA | Marcio Kléos Freire Pereira |
Added lines 35-36:
MA | Programa de Pós-Graduação em Filosofia (Mestrado) | UFMA | Marcio Kléos Freire Pereira |
SP | Programa de Pós-Graduação em Filosofia | UNICAMP | Marcelo Esteban Coniglio |
Changed line 19 from:
PR | Programa de Pós-Graduação em Computação Aplicada (Mestrado) | UTFPR | Adolfo Gustavo Serra Seca Neto |
to:
PR | Programa de Pós-Graduação em Computação Aplicada (Mestrado) | UTFPR | Adolfo Gustavo Serra Seca Neto |
Changed line 19 from:
PR | Programa de Pós-Graduação em Computação Aplicada (Mestrado) | Adolfo Gustavo Serra Seca Neto |
to:
PR | Programa de Pós-Graduação em Computação Aplicada (Mestrado) | UTFPR | Adolfo Gustavo Serra Seca Neto |
Added line 19:
PR | Programa de Pós-Graduação em Computação Aplicada (Mestrado) | Adolfo Gustavo Serra Seca Neto |
Changed lines 41-42 from:
BA | Programa de Doutorado em Matemática | UFBA/UFAL Ciro Russo |
SP | Programa de Pós-Graduação em Matemática (Mestrado e Doutorado) | IME-SP | Hugo Mariano |
to:
BA | Programa de Doutorado em Matemática | UFBA/UFAL | Ciro Russo |
SP | Programa de Pós-Graduação em Matemática (Mestrado e Doutorado) | IME-SP | Hugo Mariano |
Changed lines 38-39 from:
BA | Programa de Mestrado em Matemática da UFBA | UFBA | Samuel Gomes da Silva |
BA | Programa de Doutorado em Associação UFBA/UFAL | UFBA | Samuel Gomes da Silva |
to:
BA | Programa de Mestrado em Matemática | UFBA | Samuel Gomes da Silva |
BA | Programa de Doutorado em Matemática | UFBA/UFAL | Samuel Gomes da Silva |
BA | Programa de Mestrado em Matemática | UFBA | Ciro Russo |
BA | Programa de Doutorado em Matemática | UFBA/UFAL Ciro Russo |
SP | Programa de Pós-Graduação em Matemática (Mestrado e Doutorado) | IME-SP | Hugo Mariano |
Changed lines 42-43 from:
to:
Para contribuir para a atualização dessa página, por favor responder a
esse formulário.
Changed lines 39-40 from:
BA | Programa de Doutorado em Associaçao UFBA/UFAL | UFBA | Samuel Gomes da Silva |
to:
BA | Programa de Doutorado em Associação UFBA/UFAL | UFBA | Samuel Gomes da Silva |
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 | Evandro Luís Gomes |
PR | Programa de Pós-Graduação em Filosofia | http://www.uem.br | Mateus Ricardo Fernandes Ferreira |
to:
PR | Programa de Pós-Graduação em Filosofia | UEM | Evandro Luís Gomes |
PR | Programa de Pós-Graduação em Filosofia | UEM | Mateus Ricardo Fernandes Ferreira |
Added lines 26-27:
PR | Programa de Pós-Graduação em Filosofia | http://www.uem.br | Evandro Luís Gomes |
PR | Programa de Pós-Graduação em Filosofia | http://www.uem.br | Mateus Ricardo Fernandes Ferreira |
Deleted line 9:
RJ | Programa de Pós-Graduação em Informática | PUC-Rio | Edward Hermann Haeusler |
Added line 12:
RJ | Programa de Pós-Graduação em Informática | PUC-Rio | Edward Hermann Haeusler |
Added line 10:
RJ | Programa de Pós-Graduação em Informática | PUC-Rio | Edward Hermann Haeusler |
Changed lines 12-13 from:
RJ | Programa de Pós-Graduação em Engenharia de Sistemas e Computação | UFRJ | Mario Benevides |
RJ | Programa de Pós-Graduação em Informática | PUC-Rio | Edward Hermann Haeusler |
to:
RJ | Programa de Pós-Graduação em Computação | UFF | Mario Benevides |
Added line 31:
RN | Programa de Pós-Graduação em Filosofia | UFRN | Samir Bezerra Gorsky |
Changed lines 13-14 from:
to:
RN | Programa de Pós-Graduação em Sistemas e Computação | UFRN | Benjamín Bedregal |
RN | Programa de Pós-Graduação em Sistemas e Computação | UFRN | Carlos Olarte |
RN | Programa de Pós-Graduação em Sistemas e Computação | UFRN | Elaine Pimentel |
RN | Programa de Pós-Graduação em Sistemas e Computação | UFRN | João Marcos |
RN | Programa de Pós-Graduação em Sistemas e Computação | UFRN | Regivan Santiago |
RN | Programa de Pós-Graduação em Sistemas e Computação | UFRN | Umberto Rivieccio |
Added lines 27-30:
RN | Programa de Pós-Graduação em Filosofia | UFRN | Bruno Vaz |
RN | Programa de Pós-Graduação em Filosofia | UFRN | Daniel Durante |
RN | Programa de Pós-Graduação em Filosofia | UFRN | Frode Bjørdal |
RN | Programa de Pós-Graduação em Filosofia | UFRN | João Marcos |
Changed line 18 from:
DF | Programa de Pós-Graduação em Filosofia | UnB | Alexandre Costa-Leite |
to:
DF | Programa de Pós-Graduação em Filosofia | UnB | 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 | UFBA | Samuel Gomes da Silva |
to:
BA | Programa de Doutorado em Associaçao UFBA/UFAL | UFBA | Samuel Gomes da Silva |
Para incluir seu nome na lista, entre em contato através do email contato@sbl.org.br.
Changed line 10 from:
RJ | Programa de Pós-Graduação em Computação | UFF | Bruno Lopes |
to:
RJ | Programa de Pós-Graduação em Computação | UFF | Bruno Lopes |
Changed lines 8-9 from:
DF | Programa de Pós-Graduação em Informática | Universidade de Brasília | Cláudia Nalon |
DF | Programa de Pós-Graduação em Informática | Universidade de Brasília | Mauricio Ayala-Rincón |
to:
DF | Programa de Pós-Graduação em Informática | UnB | Cláudia Nalon |
DF | Programa de Pós-Graduação em Informática | UnB | Mauricio Ayala-Rincón |
Changed lines 18-19 from:
DF | Programa de Pós-Graduação em Filosofia | Universidade de Brasília | Alexandre Costa-Leite |
DF | Programa de Pós-Graduação em Filosofia | Universidade de Brasília | Rodrigo A. Freire |
to:
DF | Programa de Pós-Graduação em Filosofia | UnB | Alexandre Costa-Leite |
DF | Programa de Pós-Graduação em Filosofia | UnB | 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 | UFBA | Samuel Gomes da Silva |
BA | Programa de Doutorado em Associaçao UFBA/UFAL | UFBA | Samuel Gomes da Silva |
Changed line 19 from:
| DF || Programa de Pós-Graduação em Filosofia || Universidade de Brasília || Rodrigo A. Freire ||
to:
DF | Programa de Pós-Graduação em Filosofia | Universidade de Brasília | Rodrigo A. Freire |
Changed lines 12-14 from:
RJ | Programa de Pós-Graduação em Informática | PUC-Rio | Edward Hermann Haeusler |
to:
RJ | Programa de Pós-Graduação em Informática | PUC-Rio | Edward Hermann Haeusler |
Added lines 16-20:
UF | Programa | Instituição | Orientador |
DF | Programa de Pós-Graduação em Filosofia | Universidade de Brasília | Alexandre Costa-Leite |
| DF || Programa de Pós-Graduação em Filosofia || Universidade de Brasília || Rodrigo A. Freire ||
RJ | Programa de Pós-Graduação em Filosofia | PUC-Rio | Luiz Carlos Pereira |
Added lines 8-9:
DF | Programa de Pós-Graduação em Informática | Universidade de Brasília | Cláudia Nalon |
DF | Programa de Pós-Graduação em Informática | Universidade de Brasília | Mauricio Ayala-Rincón |
Added lines 1-15:
Programas de Pós-Graduação brasileiros com orientadores em Lógica
Ciência da Computação
UF | Programa | Instituição | Orientador |
RJ | Programa de Pós-Graduação em Computação | UFF | Bruno Lopes |
RJ | Programa de Pós-Graduação em Engenharia de Sistemas e Computação | UFRJ | Mario Benevides |
RJ | Programa de Pós-Graduação em Informática | PUC-Rio | Edward Hermann Haeusler |
Filosofia
Matemática