Main.HistoryBR History

Hide minor edits - Show changes to output

July 06, 2023, at 06:49 AM by 82.132.226.98 -
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)
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)
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)
Restore
June 06, 2022, at 07:02 AM by 128.16.74.145 -
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)
Restore
June 29, 2021, at 10:11 AM by 177.195.54.222 -
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)
to:
* 2º Vice-President: Edward Hermann Haeusler (PUC-Rio)
* 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)
Restore
June 29, 2021, at 10:10 AM by 177.195.54.222 -
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)
Restore
May 11, 2019, at 08:50 PM by 187.114.194.139 -
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)
Restore
April 09, 2019, at 07:49 PM by 179.233.71.218 -
Changed line 14 from:
* Tesoureiro: Cassiano Terra Rodrigues (PUC-SP)
to:
* Tesoureiro: Cassiano Terra Rodrigues (ITA)
Restore
December 14, 2017, at 04:39 PM by Bruno -
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)
Restore