Main.HistoryBR History
Hide minor edits - Show changes to output
Added lines 8-15:
!! 2023-2025
* Presidente: Hugo Mariano (USP)
* 1º Vice-Presidente: Samuel Gomes da Silva (UFBA)
* 2º Vice-Presidente: Bruno Lopes (UFF)
* 1º Secretária: Evelyn Erickson (UFRN)
* 2º Secretário: Marlo Souza (UFBA)
* Tesoureira: Elaine Pimentel (UFRN)
* Presidente: Hugo Mariano (USP)
* 1º Vice-Presidente: Samuel Gomes da Silva (UFBA)
* 2º Vice-Presidente: Bruno Lopes (UFF)
* 1º Secretária: Evelyn Erickson (UFRN)
* 2º Secretário: Marlo Souza (UFBA)
* Tesoureira: Elaine Pimentel (UFRN)
Changed lines 18-22 from:
* Vice-Presidente: Evandro Luís Gomes (UEM)
* 2º Vice-President: Edward Hermann Haeusler (PUC-Rio)
*Secretário Geral: Valeria de Paiva (Topos Institute)
*Sub-Secretária: Petrucio Viana (UFF)
*Tesoureiro: Renata Wassermann (USP)
* 2º Vice-
*
*
*
to:
* 1º Vice-Presidente: Evandro Luís Gomes (UEM)
* 2º Vice-Presidente: Edward Hermann Haeusler (PUC-Rio)
* 1º Secretária: Valeria de Paiva (Topos Institute)
* 2º Secretário: Petrucio Viana (UFF)
* Tesoureira: Renata Wassermann (USP)
* 2º Vice-Presidente: Edward Hermann Haeusler (PUC-Rio)
* 1º Secretária: Valeria de Paiva (Topos Institute)
* 2º Secretário: Petrucio Viana (UFF)
* Tesoureira: Renata Wassermann (USP)
Changed line 72 from:
!! 1999-2001
to:
!! 1999-2003
Added lines 87-124:
!! 1994-1995
* Presidente: Itala M. L. D'Ottaviano (UNICAMP)
* 1º Vice-Presidente: Edward Hermann Haeusler (PUC-Rio)
* 2º Vice-Presidente: Walter Alexandre Carnielli (UNICAMP)
* Secretário Geral: Mamede Lima Marques (UnB)
* Sub-Secretário: Décio Krause (UFSC)
* Tesoureiro: Cosme Damião Bastos Massi (UNESP)
!! 1988-1993
* Presidente: Newton C. A. da Costa (USP)
* 1º Vice-Presidente: Luiz Carlos Pereira (PUC-Rio)
* Secretária Geral: Mineko Yamashida (PUC-SP)
* Sub-Secretário: Elias Humberto Alves (UNICAMP)
* Tesoureira: Celina Aparecida Almeida Pereira Abar (PUC-Rio)
!! 1985-1988
* Presidente: Oswaldo Chateaubriand Filho (PUC-Rio)
* 1º Vice-Presidente: Luiz Paulo de Alcântara (UNICAMP)
* 2º Vice-Presidente: Luiz Henrique Lopez dos Santos (USP)
* Secretário Geral: Paulo Augusto da Silva Veloso (PUC-Rio)
* Sub-Secretário: José Eduardo Moura (UFRN)
* Tesoureiro: Luiz Carlos Pereira (PUC-Rio)
!! 1983-1984
* Presidente: Roberto L. O. Signoli (UNICAMP)
* 1º Vice-Presidente: Francisco Miraglia (USP)
* 2º Vice-Presidente: Paulo Augusto da Silva Veloso (PUC-Rio)
* Secretária Geral: Itala M. L. D'Ottaviano (UNICAMP)
* Sub-Secretário: Irineu Bicudo (UNESP)
* Tesoureiro: Luiz Paulo de Alcântara (UNICAMP)
!! 1981-1982
* Presidente: Ayda Ignez Arruda (UNICAMP)
* 1º Vice-Presidente: Jacob Zimbarg Sobrinho (USP)
* Secretário Geral: Elias Humberto Alves (UNICAMP)
* Sub-Secretária: Itala M. L. D'Ottaviano (UNICAMP)
* Tesoureiro: Antonio Mário Sette (UNICAMP)
Changed line 9 from:
* Presidente: [[https://sites.google.com/site/elainepimentel/|Elaine Gouvêa Pimentel]] (UFRN)
to:
* Presidente: Elaine Gouvêa Pimentel (UFRN)
Changed lines 11-12 from:
* 2º Vice-President: [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]] (PUC-Rio)
* Secretário Geral:[[https://vcvpaiva.github.io|Valeria de Paiva]] (Topos Institute)
* Secretário Geral:
to:
* 2º Vice-President: Edward Hermann Haeusler (PUC-Rio)
* Secretário Geral: Valeria de Paiva (Topos Institute)
* Secretário Geral: Valeria de Paiva (Topos Institute)
Changed line 14 from:
* Tesoureiro: [[https://www.ime.usp.br/~renata/|Renata Wassermann]] (USP)
to:
* Tesoureiro: Renata Wassermann (USP)
Added lines 7-14:
!! 2021-2023
* Presidente: [[https://sites.google.com/site/elainepimentel/|Elaine Gouvêa Pimentel]] (UFRN)
* Vice-Presidente: Evandro Luís Gomes (UEM)
* 2º Vice-President: [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]] (PUC-Rio)
* Secretário Geral: [[https://vcvpaiva.github.io|Valeria de Paiva]] (Topos Institute)
* Sub-Secretária: Petrucio Viana (UFF)
* Tesoureiro: [[https://www.ime.usp.br/~renata/|Renata Wassermann]] (USP)
Added lines 7-14:
!! 2019-2021
* Presidente: Cezar Mortari (UFSC)
* 1ª Vice-Presidente: Juliana Bueno-Soler (UNICAMP)
* 2º Vice-Presidente: Samuel Gomes da Silva (UFBA)
* Secretário Geral: Bruno Lopes (UFF)
* Sub-Secretária: Cláudia Nalon (UnB)
* Tesoureiro: Cassiano Terra Rodrigues (ITA)
Changed line 14 from:
* Tesoureiro: Cassiano Terra Rodrigues (PUC-SP)
to:
* Tesoureiro: Cassiano Terra Rodrigues (ITA)
Added lines 1-78:
Attach:sbl.jpg
A Sociedade Brasileira de Lógica (SBL) foi criada em 14 de fevereiro de 1979, em reunião realizada no Instituto de Matemática, Estatística e Computação Científica (IMECC) da Universidade Estadual de Campinas (UNICAMP), presidida pelo Prof. Dr. Oswaldo Porchat Pereira.
! Diretorias
!! 2017-2019
* Presidente: Cezar Mortari (UFSC)
* 1ª Vice-Presidente: Juliana Bueno-Soler (UNICAMP)
* 2º Vice-Presidente: Samuel Gomes da Silva (UFBA)
* Secretário Geral: Bruno Lopes (UFF)
* Sub-Secretária: Cláudia Nalon (UnB)
* Tesoureiro: Cassiano Terra Rodrigues (PUC-SP)
!! 2014-2016
* Presidente: Marcelo Esteban Coniglio (UNICAMP)
* 1º Vice-Presidente: Jean-Yves Béziau (UFRJ)
* 2º Vice-Presidente: João Marcos (UFRN)
* Secretário Geral: Samuel Gomes da Silva (UFBA)
* Sub-Secretário: Frank Thomas Sautter (UFSM)
* Tesoureira: Juliana Bueno-Soler (UNICAMP)
!! 2011-2013
* Presidentr: Itala M. L. D'Ottaviano (UNICAMP)
* 1ª Vice-Presidente: Maria da Paz Nunes de Medeiros (UFRN)
* 2º Vice-Presidente: Wagner de Campos Sanz (UFG)
* Secretário Geral: Samuel Gomes da Silva (UFBA)
* Sub-Secretário: Jean-Yves Béziau (UFRJ)
* Tesoureiro: Marcelo Esteban Coniglio (UNICAMP)
!! 2008-2010
* Presidente: Walter Alexandre Carnielli (UNICAMP)
* 1º Vice-Presidente: Edward Hermann Haeusler (PUC-Rio)
* 2º Vice-Presidente: Hércules de Araújo Feitosa (UNESP)
* Secretário Geral: Marcelo Esteban Coniglio (UNICAMP)
* Sub-Secretário: Daniel Durante Alves (UFRN)
* Tesoureira: Itala M. L. D'Ottaviano (UNICAMP)
!! 2006-2008
* Presidente: Walter Alexandre Carnielli (UNICAMP)
* 1º Vice-Presidente: Décio Krause (UFSC)
* 2º Vice-Presidente: Frank Thomas Sautter (UFSM)
* Secretário Geral: Marcelo Esteban Coniglio (UNICAMP)
* Sub-Secretário: Mário Benevides (UFRJ)
* Tesoureira: Itala M. L. D'Ottaviano (UNICAMP)
!! 2003-2006
* Presidente: Oswaldo Chateaubriand Filho (PUC-Rio)
* 1º Vice-Presidente: Jairo José da Silva (UNESP)
* 2º Vice-Presidente: José Carlos Cifuentes (UFPR)
* Secretário Geral: Luiz Carlos Pereira (PUC-Rio)
* Sub-Secretário: Marcelo Esteban Coniglio (UNICAMP)
* Tesoureiro: Edward Hermann Haeusler (PUC-Rio)
!! 1999-2001
* Presidente: Itala M. L. D'Ottaviano (UNICAMP)
* 1º Vice-Presidente: Paulo Augusto da Silva Veloso (PUC-Rio)
* 2º Vice-Presidente: Francisco Miraglia (USP)
* Secretário Geral: Jairo José da Silva (UNESP)
* Sub-Secretário: Luiz Carlos Pereira (PUC-Rio)
* Tesoureiro: Marcelo Esteban Coniglio (UNICAMP)
!! 1996-1998
* Presidente: Itala M. L. D'Ottaviano (UNICAMP)
* 1º Vice-Presidente: Paulo Augusto da Silva Veloso (PUC-Rio)
* 2º Vice-Presidente: Antonio Mário Antunes Sette (UNICAMP)
* Secretário Geral: Jairo José da Silva (UNESP)
* Sub-Secretário: Luiz Carlos Pereira (PUC-Rio)
* Tesoureiro: Elias Humberto Alves (UNESP)
!! 1979-1981 (Diretoria eleita na fundação)
* Presidente: Newton C. A. da Costa (USP)
* 1º Vice-Presidente: Antonio Mário Antunes Sette (UFPE)
* 2º Vice-Presidente: Raul Ferreira Landim Filho (PUC-Rio)
* Secretária Geral: Ayda Ignez Arruda (UNICAMP)
* Sub-Secretário: Elias Humberto Alves (UNICAMP)
* Tesoureiro: Jacob Zimbarg Sobrinho (USP)
A Sociedade Brasileira de Lógica (SBL) foi criada em 14 de fevereiro de 1979, em reunião realizada no Instituto de Matemática, Estatística e Computação Científica (IMECC) da Universidade Estadual de Campinas (UNICAMP), presidida pelo Prof. Dr. Oswaldo Porchat Pereira.
! Diretorias
!! 2017-2019
* Presidente: Cezar Mortari (UFSC)
* 1ª Vice-Presidente: Juliana Bueno-Soler (UNICAMP)
* 2º Vice-Presidente: Samuel Gomes da Silva (UFBA)
* Secretário Geral: Bruno Lopes (UFF)
* Sub-Secretária: Cláudia Nalon (UnB)
* Tesoureiro: Cassiano Terra Rodrigues (PUC-SP)
!! 2014-2016
* Presidente: Marcelo Esteban Coniglio (UNICAMP)
* 1º Vice-Presidente: Jean-Yves Béziau (UFRJ)
* 2º Vice-Presidente: João Marcos (UFRN)
* Secretário Geral: Samuel Gomes da Silva (UFBA)
* Sub-Secretário: Frank Thomas Sautter (UFSM)
* Tesoureira: Juliana Bueno-Soler (UNICAMP)
!! 2011-2013
* Presidentr: Itala M. L. D'Ottaviano (UNICAMP)
* 1ª Vice-Presidente: Maria da Paz Nunes de Medeiros (UFRN)
* 2º Vice-Presidente: Wagner de Campos Sanz (UFG)
* Secretário Geral: Samuel Gomes da Silva (UFBA)
* Sub-Secretário: Jean-Yves Béziau (UFRJ)
* Tesoureiro: Marcelo Esteban Coniglio (UNICAMP)
!! 2008-2010
* Presidente: Walter Alexandre Carnielli (UNICAMP)
* 1º Vice-Presidente: Edward Hermann Haeusler (PUC-Rio)
* 2º Vice-Presidente: Hércules de Araújo Feitosa (UNESP)
* Secretário Geral: Marcelo Esteban Coniglio (UNICAMP)
* Sub-Secretário: Daniel Durante Alves (UFRN)
* Tesoureira: Itala M. L. D'Ottaviano (UNICAMP)
!! 2006-2008
* Presidente: Walter Alexandre Carnielli (UNICAMP)
* 1º Vice-Presidente: Décio Krause (UFSC)
* 2º Vice-Presidente: Frank Thomas Sautter (UFSM)
* Secretário Geral: Marcelo Esteban Coniglio (UNICAMP)
* Sub-Secretário: Mário Benevides (UFRJ)
* Tesoureira: Itala M. L. D'Ottaviano (UNICAMP)
!! 2003-2006
* Presidente: Oswaldo Chateaubriand Filho (PUC-Rio)
* 1º Vice-Presidente: Jairo José da Silva (UNESP)
* 2º Vice-Presidente: José Carlos Cifuentes (UFPR)
* Secretário Geral: Luiz Carlos Pereira (PUC-Rio)
* Sub-Secretário: Marcelo Esteban Coniglio (UNICAMP)
* Tesoureiro: Edward Hermann Haeusler (PUC-Rio)
!! 1999-2001
* Presidente: Itala M. L. D'Ottaviano (UNICAMP)
* 1º Vice-Presidente: Paulo Augusto da Silva Veloso (PUC-Rio)
* 2º Vice-Presidente: Francisco Miraglia (USP)
* Secretário Geral: Jairo José da Silva (UNESP)
* Sub-Secretário: Luiz Carlos Pereira (PUC-Rio)
* Tesoureiro: Marcelo Esteban Coniglio (UNICAMP)
!! 1996-1998
* Presidente: Itala M. L. D'Ottaviano (UNICAMP)
* 1º Vice-Presidente: Paulo Augusto da Silva Veloso (PUC-Rio)
* 2º Vice-Presidente: Antonio Mário Antunes Sette (UNICAMP)
* Secretário Geral: Jairo José da Silva (UNESP)
* Sub-Secretário: Luiz Carlos Pereira (PUC-Rio)
* Tesoureiro: Elias Humberto Alves (UNESP)
!! 1979-1981 (Diretoria eleita na fundação)
* Presidente: Newton C. A. da Costa (USP)
* 1º Vice-Presidente: Antonio Mário Antunes Sette (UFPE)
* 2º Vice-Presidente: Raul Ferreira Landim Filho (PUC-Rio)
* Secretária Geral: Ayda Ignez Arruda (UNICAMP)
* Sub-Secretário: Elias Humberto Alves (UNICAMP)
* Tesoureiro: Jacob Zimbarg Sobrinho (USP)