Main.History History

Hide minor edits - Show changes to output

July 06, 2023, at 06:46 AM by 82.132.226.98 -
Added lines 7-15:

!! 2023-2025

* President: Hugo Mariano (USP)
* 1st Vice-President: Samuel Gomes da Silva (UFBA)
* 2nd Vice-President: Bruno Lopes (UFF)
* General Secretary: Evelyn Erickson (UFRN)
* 2nd Secretary: Marlo Souza (UFBA)
* Treasurer: Elaine Pimentel (UFRN)
Restore
June 06, 2022, at 06:57 AM by 128.16.74.145 -
Changed line 72 from:
!! 1999-2001
to:
!! 1999-2003
Added lines 87-124:

!! 1994-1995
* President: Itala M. L. D'Ottaviano (UNICAMP)
* 1st Vice-President: Edward Hermann Haeusler (PUC-Rio)
* 2nd Vice-President: Walter Alexandre Carnielli (UNICAMP)
* General Secretary: Mamede Lima Marques (UnB)
* 2nd Secretary: Décio Krause (UFSC)
* Treasurer: Cosme Damião Bastos Massi (UNESP)

!! 1988-1993
* President: Newton C. A. da Costa (USP)
* 1st Vice-President: Luiz Carlos Pereira  (PUC-Rio)
* General Secretary: Mineko Yamashida (PUC-SP)
* 2nd Secretary: Elias Humberto Alves (UNICAMP)
* Treasurer: Celina Aparecida Almeida Pereira Abar (PUC-Rio)

!! 1985-1988
* President: Oswaldo Chateaubriand Filho (PUC-Rio)
* 1st Vice-President: Luiz Paulo de Alcântara (UNICAMP)
* 2nd Vice-President: Luiz Henrique Lopez dos Santos (USP)
* General Secretary: Paulo Augusto da Silva Veloso (PUC-Rio)
* 2nd Secretary: José Eduardo Moura (UFRN)
* Treasurer: Luiz Carlos Pereira  (PUC-Rio)

!! 1983-1984
* President: Roberto L. O. Signoli (UNICAMP)
* 1st Vice-President: Francisco Miraglia (USP)
* 2nd Vice-President: Paulo Augusto da Silva Veloso (PUC-Rio)
* General Secretary: Itala M. L. D'Ottaviano (UNICAMP)
* 2nd Secretary: Irineu Bicudo (UNESP)
* Treasurer: Luiz Paulo de Alcântara (UNICAMP)

!! 1981-1982
* President: Ayda Ignez Arruda (UNICAMP)
* 1st Vice-President: Jacob Zimbarg Sobrinho (USP)
* General Secretary: Elias Humberto Alves (UNICAMP)
* 2nd Secretary: Itala M. L. D'Ottaviano (UNICAMP)
* Treasurer: Antonio Mário Sette (UNICAMP)
Restore
June 29, 2021, at 10:11 AM by 177.195.54.222 -
Changed line 9 from:
* President: [[https://sites.google.com/site/elainepimentel/|Elaine Gouvêa Pimentel]] (UFRN)
to:
* President: Elaine Gouvêa Pimentel (UFRN)
Changed lines 11-12 from:
* 2nd Vice-President: [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]] (PUC-Rio)
* General Secretary: [[https://vcvpaiva.github.io|Valeria de Paiva]] (Topos Institute)
to:
* 2nd Vice-President: Edward Hermann Haeusler (PUC-Rio)
* General Secretary: Valeria de Paiva (Topos Institute)
Changed line 14 from:
* Treasurer: [[https://www.ime.usp.br/~renata/|Renata Wassermann]] (USP)
to:
* Treasurer: Renata Wassermann (USP)
Restore
June 29, 2021, at 10:10 AM by 177.195.54.222 -
Added lines 7-14:

!! 2021-2023
* President: [[https://sites.google.com/site/elainepimentel/|Elaine Gouvêa Pimentel]] (UFRN)
* 1st Vice-President: Evandro Luís Gomes (UEM)
* 2nd Vice-President: [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]] (PUC-Rio)
* General Secretary: [[https://vcvpaiva.github.io|Valeria de Paiva]] (Topos Institute)
* 2nd Secretary: Petrucio Viana (UFF)
* Treasurer: [[https://www.ime.usp.br/~renata/|Renata Wassermann]] (USP)
Restore
September 02, 2019, at 10:56 AM by 200.20.15.54 -
Changed line 3 from:
The Brazilian Logic Society (SBL) was founded on Februery 14th, 1979, in a meeting on the Instituto de Matemática, Estatística e Computação Científica (IMECC) of the Universidade Estadual de Campinas (UNICAMP), chaired by Prof. Oswaldo Porchat Pereira.
to:
The Brazilian Logic Society (SBL) was founded on February 14th, 1979, in a meeting on the Instituto de Matemática, Estatística e Computação Científica (IMECC) of the Universidade Estadual de Campinas (UNICAMP), chaired by Prof. Oswaldo Porchat Pereira.
Restore
September 02, 2019, at 10:56 AM by 200.20.15.54 -
Changed line 3 from:
The Brazilian Logic Society (SBL) was founded on Fevereiro 14th, 1979, in a meeting on the Instituto de Matemática, Estatística e Computação Científica (IMECC) of the Universidade Estadual de Campinas (UNICAMP), chaired by Prof. Oswaldo Porchat Pereira.
to:
The Brazilian Logic Society (SBL) was founded on Februery 14th, 1979, in a meeting on the Instituto de Matemática, Estatística e Computação Científica (IMECC) of the Universidade Estadual de Campinas (UNICAMP), chaired by Prof. Oswaldo Porchat Pereira.
Restore
May 11, 2019, at 08:51 PM by 187.114.194.139 -
Added lines 7-14:

!! 2019-2021
* President: Cezar Mortari (UFSC)
* 1st Vice-President: Juliana  Bueno-Soler (UNICAMP)
* 2nd Vice-President: Samuel Gomes da Silva (UFBA)
* General Secretary: Bruno Lopes (UFF)
* 2nd Secretary: Cláudia Nalon (UnB)
* Treasurer: Cassiano Terra Rodrigues (ITA)
Restore
April 09, 2019, at 07:49 PM by 179.233.71.218 -
Changed line 14 from:
* Treasurer: Cassiano Terra Rodrigues (PUC-SP)
to:
* Treasurer: Cassiano Terra Rodrigues (ITA)
Restore
March 19, 2019, at 02:49 PM by 200.20.15.54 -
Changed line 12 from:
* 1st Secretary: Bruno Lopes (UFF)
to:
* General Secretary: Bruno Lopes (UFF)
Changed line 20 from:
* 1st Secretary: Samuel Gomes da Silva (UFBA)
to:
* General Secretary: Samuel Gomes da Silva (UFBA)
Changed line 23 from:
 
to:
  
Changed line 28 from:
* 1st Secretary:  Samuel Gomes da Silva (UFBA)
to:
* General Secretary:  Samuel Gomes da Silva (UFBA)
Changed line 31 from:
 
to:
  
Changed line 36 from:
* 1st Secretary: Marcelo Esteban Coniglio (UNICAMP)
to:
* General Secretary: Marcelo Esteban Coniglio (UNICAMP)
Changed line 41 from:
* President: Walter Alexandre Carnielli (UNICAMP)
to:
* President: Walter Alexandre Carnielli (UNICAMP)
Changed line 44 from:
* 1st Secretary: Marcelo Esteban Coniglio (UNICAMP)
to:
* General Secretary: Marcelo Esteban Coniglio (UNICAMP)
Changed line 52 from:
* 1st Secretary: Luiz Carlos Pereira (PUC-Rio)
to:
* General Secretary: Luiz Carlos Pereira (PUC-Rio)
Changed line 58 from:
* 1st Vice-President:  Paulo Augusto da Silva Veloso (PUC-Rio)
to:
* 1st Vice-President: Paulo Augusto da Silva Veloso (PUC-Rio)
Changed line 60 from:
* 1st Secretary: Jairo José da Silva (UNESP)
to:
* General Secretary: Jairo José da Silva (UNESP)
Changed line 68 from:
* 1st Secretary: Jairo José da Silva (UNESP)
to:
* General Secretary: Jairo José da Silva (UNESP)
Changed line 76 from:
* 1st Secretary: Ayda Ignez Arruda (UNICAMP)
to:
* General Secretary: Ayda Ignez Arruda (UNICAMP)
Restore
September 16, 2017, at 12:05 PM by Bruno -
Changed line 10 from:
* Vice-President: Juliana  Bueno-Soler (UNICAMP)
to:
* 1st Vice-President: Juliana  Bueno-Soler (UNICAMP)
Restore
August 30, 2017, at 08:34 PM by Bruno -
Changed lines 11-13 from:
* 2º Vice-President: Samuel Gomes da Silva (UFBA)
* 1º Secretary: Bruno Lopes (UFF)
* 2º Secretary: Cláudia Nalon (UnB)
to:
* 2nd Vice-President: Samuel Gomes da Silva (UFBA)
* 1st Secretary: Bruno Lopes (UFF)
* 2nd Secretary: Cláudia Nalon (UnB)
Changed lines 18-21 from:
* 1º Vice-President: Jean-Yves Béziau (UFRJ)
* 2º Vice-President: João Marcos  (UFRN)
* 1º Secretary: Samuel Gomes da Silva (UFBA)
* 2º Secretary: Frank Thomas Sautter (UFSM)
to:
* 1st Vice-President: Jean-Yves Béziau (UFRJ)
* 2nd Vice-President: João Marcos  (UFRN)
* 1st Secretary: Samuel Gomes da Silva (UFBA)
* 2nd Secretary: Frank Thomas Sautter (UFSM)
Changed lines 26-29 from:
* 1º Vice-President: Maria da Paz Nunes de Medeiros (UFRN)
* 2º Vice-President: Wagner de Campos Sanz (UFG)
* 1º Secretary:  Samuel Gomes da Silva (UFBA)
* 2º Secretary: Jean-Yves Béziau (UFRJ)
to:
* 1st Vice-President: Maria da Paz Nunes de Medeiros (UFRN)
* 2nd Vice-President: Wagner de Campos Sanz (UFG)
* 1st Secretary:  Samuel Gomes da Silva (UFBA)
* 2nd Secretary: Jean-Yves Béziau (UFRJ)
Changed lines 34-37 from:
* 1º Vice-President: Edward Hermann Haeusler (PUC-Rio)
* 2º Vice-President: Hércules de Araújo Feitosa (UNESP)
* 1º Secretary: Marcelo Esteban Coniglio (UNICAMP)
* 2º Secretary: Daniel Durante Alves (UFRN)
to:
* 1st Vice-President: Edward Hermann Haeusler (PUC-Rio)
* 2nd Vice-President: Hércules de Araújo Feitosa (UNESP)
* 1st Secretary: Marcelo Esteban Coniglio (UNICAMP)
* 2nd Secretary: Daniel Durante Alves (UFRN)
Changed lines 42-45 from:
* 1º Vice-President: Décio Krause (UFSC)
* 2º Vice-President: Frank Thomas Sautter (UFSM)
* 1º Secretary: Marcelo Esteban Coniglio (UNICAMP)
* 2º Secretary: Mário Benevides (UFRJ)
to:
* 1st Vice-President: Décio Krause (UFSC)
* 2nd Vice-President: Frank Thomas Sautter (UFSM)
* 1st Secretary: Marcelo Esteban Coniglio (UNICAMP)
* 2nd Secretary: Mário Benevides (UFRJ)
Changed lines 50-53 from:
* 1º Vice-President: Jairo José da Silva (UNESP)
* 2º Vice-President: José Carlos Cifuentes (UFPR)
* Secretário Gera: Luiz Carlos Pereira (PUC-Rio)
* 2º Secretary: Marcelo Esteban Coniglio (UNICAMP)
to:
* 1st Vice-President: Jairo José da Silva (UNESP)
* 2nd Vice-President: José Carlos Cifuentes (UFPR)
* 1st Secretary: Luiz Carlos Pereira (PUC-Rio)
* 2nd Secretary: Marcelo Esteban Coniglio (UNICAMP)
Changed lines 58-61 from:
* 1º Vice-President:  Paulo Augusto da Silva Veloso (PUC-Rio)
* 2º Vice-President: Francisco Miraglia (USP)
* 1º Secretary: Jairo José da Silva (UNESP)
* 2º Secretary: Luiz Carlos Pereira (PUC-Rio)
to:
* 1st Vice-President:  Paulo Augusto da Silva Veloso (PUC-Rio)
* 2nd Vice-President: Francisco Miraglia (USP)
* 1st Secretary: Jairo José da Silva (UNESP)
* 2nd Secretary: Luiz Carlos Pereira (PUC-Rio)
Changed lines 66-69 from:
* 1º Vice-President: Paulo Augusto da Silva Veloso (PUC-Rio)
* 2º Vice-President: Antonio Mário Antunes Sette (UNICAMP)
* 1º Secretary: Jairo José da Silva (UNESP)
* 2º Secretary: Luiz Carlos Pereira  (PUC-Rio)
to:
* 1st Vice-President: Paulo Augusto da Silva Veloso (PUC-Rio)
* 2nd Vice-President: Antonio Mário Antunes Sette (UNICAMP)
* 1st Secretary: Jairo José da Silva (UNESP)
* 2nd Secretary: Luiz Carlos Pereira  (PUC-Rio)
Changed lines 74-77 from:
* 1º Vice-President: Antonio Mário Antunes Sette (UFPE)
* 2º Vice-President: Raul Ferreira Landim Filho (PUC-Rio)
* 1º Secretary: Ayda Ignez Arruda (UNICAMP)
* 2º Secretary: Elias Humberto Alves (UNICAMP)
to:
* 1st Vice-President: Antonio Mário Antunes Sette (UFPE)
* 2nd Vice-President: Raul Ferreira Landim Filho (PUC-Rio)
* 1st Secretary: Ayda Ignez Arruda (UNICAMP)
* 2nd Secretary: Elias Humberto Alves (UNICAMP)
Restore
August 30, 2017, at 08:32 PM by Bruno -
Changed line 72 from:
!! 1979-1981 (Diretoria eleita na fundação)
to:
!! 1979-1981 (Founding direction)
Restore
August 24, 2017, at 07:31 PM by Bruno -
Changed line 13 from:
* Sub-Secretária: Cláudia Nalon (UnB)
to:
* 2º Secretary: Cláudia Nalon (UnB)
Restore
August 24, 2017, at 07:28 PM by Bruno -
Added lines 1-78:
Attach:sbl.jpg

The Brazilian Logic Society (SBL) was founded on Fevereiro 14th, 1979, in a meeting on the Instituto de Matemática, Estatística e Computação Científica (IMECC) of the Universidade Estadual de Campinas (UNICAMP), chaired by Prof. Oswaldo Porchat Pereira.


! Directors

!! 2017-2019
* President: Cezar Mortari (UFSC)
* Vice-President: Juliana  Bueno-Soler (UNICAMP)
* 2º Vice-President: Samuel Gomes da Silva (UFBA)
* 1º Secretary: Bruno Lopes (UFF)
* Sub-Secretária: Cláudia Nalon (UnB)
* Treasurer: Cassiano Terra Rodrigues (PUC-SP)

!! 2014-2016
* President: Marcelo Esteban Coniglio (UNICAMP)
* 1º Vice-President: Jean-Yves Béziau (UFRJ)
* 2º Vice-President: João Marcos  (UFRN)
* 1º Secretary: Samuel Gomes da Silva (UFBA)
* 2º Secretary: Frank Thomas Sautter (UFSM)
* Tesoureira: Juliana  Bueno-Soler (UNICAMP)
 
!! 2011-2013
* President:  Itala M. L. D'Ottaviano (UNICAMP)
* 1º Vice-President: Maria da Paz Nunes de Medeiros (UFRN)
* 2º Vice-President: Wagner de Campos Sanz (UFG)
* 1º Secretary:  Samuel Gomes da Silva (UFBA)
* 2º Secretary: Jean-Yves Béziau (UFRJ)
* Treasurer: Marcelo Esteban Coniglio (UNICAMP)
 
!! 2008-2010
* President: Walter Alexandre Carnielli (UNICAMP)
* 1º Vice-President: Edward Hermann Haeusler (PUC-Rio)
* 2º Vice-President: Hércules de Araújo Feitosa (UNESP)
* 1º Secretary: Marcelo Esteban Coniglio (UNICAMP)
* 2º Secretary: Daniel Durante Alves (UFRN)
* Treasurer: Itala M. L. D'Ottaviano (UNICAMP)

!! 2006-2008
* President: Walter Alexandre Carnielli (UNICAMP)
* 1º Vice-President: Décio Krause (UFSC)
* 2º Vice-President: Frank Thomas Sautter (UFSM)
* 1º Secretary: Marcelo Esteban Coniglio (UNICAMP)
* 2º Secretary: Mário Benevides (UFRJ)
* Treasurer: Itala M. L. D'Ottaviano (UNICAMP)

!! 2003-2006
* President: Oswaldo Chateaubriand Filho (PUC-Rio)
* 1º Vice-President: Jairo José da Silva (UNESP)
* 2º Vice-President: José Carlos Cifuentes (UFPR)
* Secretário Gera: Luiz Carlos Pereira (PUC-Rio)
* 2º Secretary: Marcelo Esteban Coniglio (UNICAMP)
* Treasurer: Edward Hermann Haeusler (PUC-Rio)

!! 1999-2001
* President: Itala M. L. D'Ottaviano (UNICAMP)
* 1º Vice-President:  Paulo Augusto da Silva Veloso (PUC-Rio)
* 2º Vice-President: Francisco Miraglia (USP)
* 1º Secretary: Jairo José da Silva (UNESP)
* 2º Secretary: Luiz Carlos Pereira (PUC-Rio)
*Treasurer: Marcelo Esteban Coniglio (UNICAMP)

!! 1996-1998
* President: Itala M. L. D'Ottaviano (UNICAMP)
* 1º Vice-President: Paulo Augusto da Silva Veloso (PUC-Rio)
* 2º Vice-President: Antonio Mário Antunes Sette (UNICAMP)
* 1º Secretary: Jairo José da Silva (UNESP)
* 2º Secretary: Luiz Carlos Pereira  (PUC-Rio)
* Treasurer: Elias Humberto Alves (UNESP)

!! 1979-1981 (Diretoria eleita na fundação)
* President: Newton C. A. da Costa (USP)
* 1º Vice-President: Antonio Mário Antunes Sette (UFPE)
* 2º Vice-President: Raul Ferreira Landim Filho (PUC-Rio)
* 1º Secretary: Ayda Ignez Arruda (UNICAMP)
* 2º Secretary: Elias Humberto Alves (UNICAMP)
* Treasurer: Jacob Zimbarg Sobrinho (USP)
Restore