Newton da Costa Award Call

This Logic Award honors the academic career and the original scientific and philosophical contributions of Prof. Newton da Costa, founding member and first president of SBL. Newton da Costa is one of the creators of paraconsistent logics. The magnitude and impact of his work make him one of the most recognized, cited and honored Brazilian scientists in the world.

The award had five editions: 2015, 2016, 2018, 2021, and 2022. The authors and the articles awarded were:

2022

Walter A. Carnielli (Unicamp) e Juliana Bueno-Soler (Unicamp) Where the truth lies:  a paraconsistent approach to Bayesian epistemology

2021


Ciro Russo (UFBA)
Coproduct and amalgamation of deductive systems by means of ordered algebras. Logica Universalis, 16: 355–380 (2022)


Abílio Rodrigues e Henrique Antunes (UFMG)
First-order logics of evidence and truth with constant and variable domains. Logica Universalis, (2022)

2018

Jonas Rafael Becker Arenhart (UFSC) New logics for quantum non-individuals. Logica Universalis, 12: 375–395 (2018)

2016

Cassiano Terra Rodrigues (ITA) Squaring the unknown: the generalization of logic according to G. Boole, A. De Morgan, and C. S. Peirce. South American Journal of Logic, 3: 415–481 (2017)

2015

Rodrigo A. Freire (UnB) First-Order Logic and First-Order Functions. Logica Universalis, 9: 281–329 (2015)

With the launch of the 2024 edition, SBL seeks to continue this event and, ultimately, promote the development of Logic in Brazil.

There is the possibility of submitting the laureate paper for publication in the proceedings of the 21st EBL (Brazilian Logic Meeting) to be held in 2025.

ELIGIBILITY

The award aims to distinguish an unpublished article in the broad field of Logic.

There is no restriction on age, gender, nationality, but at least one of the authors of the article submitted must be a researcher residing in Brazil, be affiliated with a university (or other educational institution) in Brazil, and be associated with SBL.

JUDGEMENT

The judging committee, to be appointed by SBL, will consist of 5 (five) researchers, chosen for their recognized competence in the field.

The prize will be awarded to the author(s) of the article who, in the opinion of the judging committee, presents the best scientific quality. The committee may decide not to award the prize if it judges that none of the submitted articles is of adequate scientific quality.

CONTENT & FORMAT

No article that has been published or accepted for publication will be eligible for consideration. Before submitting an article, the author(s) is(are) responsible for verifying that a substantially similar paper has not been published elsewhere.

The article may address any subject relevant to Logic, be scholarly or practical, report a work that was explored in depth, and contain appropriate references to sources and documentation of assertions.

The article must contain 10 to 30 pages, be written in English or Portuguese, according to the template provided here.

The article must be prepared for anonymous review.

The article must be submitted through the address: premio.ndc.sbl.2004@gmail.com .

DEADLINES

The deadline for submission is January 15, 2025.

The result of the award will be announced by April 16, 2025.

Chamada SBL 01/2024 - Auxílio à participação de estudantes em eventos apoiados pela SBL

A Sociedade Brasileira de Lógica abre esta chamada para auxílio à participação de estudantes em eventos. Conforme deliberação na Assembléia Geral Ordinária de 9 de maio de 2019, os auxílios serão restritos à participação de estudantes associados a esta Sociedade em eventos da área de Lógica organizados por algum membro em dia com suas anuidades que tenha proposta aprovada nesta chamada. Ressalta-se que o pedido deve ser feito pela coordenação do evento.

Para esta chamada compreendem-se eventos iniciados de 01 de outubro de 2024 a 30 de março de 2025; a data limite para solicitações é 30 de Outubro de 2024. Os valores alocados para esta chamada serão de até 15% das anuidades recebidas em 2024, ainda conforme deliberação na Assembléia Geral Ordinária (30% da receita de anuidades ao ano da chamada, dividido em duas chamadas).

Para submeter uma proposta preencha o formulário disponível aqui. Em caso de dúvidas entre em contato pelo email contato@sbl.org.br.

Chamada SBL 04/2023 - Auxílio à participação de estudantes em eventos apoiados pela SBL

A Sociedade Brasileira de Lógica abre esta chamada para auxílio à participação de estudantes em eventos. Conforme deliberação na Assembléia Geral Ordinária de 9 de maio de 2019, os auxílios serão restritos à participação de estudantes associados a esta Sociedade em eventos da área de Lógica organizados por algum membro em dia com suas anuidades que tenha proposta aprovada nesta chamada. Ressalta-se que o pedido deve ser feito pela coordenação do evento.

Para esta chamada compreendem-se eventos iniciados de 1 abril de 2024 a 30 de setembro de 2024; a data limite para solicitações é 1 de julho de 2024. Os valores alocados para esta chamada serão de até 15% das anuidades recebidas em 2024, ainda conforme deliberação na Assembléia Geral Ordinária (30% da receita de anuidades ao ano da chamada, dividido em duas chamadas).

Para submeter uma proposta preencha o formulário disponível aqui. Em caso de dúvidas entre em contato pelo email contato@sbl.org.br.

Resultado

Chamada SBL 03/2023 - Indicação de membros estudantes para a Association for Symbolic Logic (ASL) para o ano de 2024

A Sociedade Brasileira de Lógica torna pública a Chamada SBL n. 03/2023, indicação de membros estudantes para a Association for Symbolic Logic (ASL) para o ano de 2024.

As candidaturas deverão ser efetuadas pelo formulário disponível aqui até as 18h do dia 15 de dezembro de 2023.

Resultado

  • Renato Reis Leme (orientador: Marcelo Esteban Coniglio)
  • Vinicius Moraes Gonçalves (orientador: Bruno Lopes)
  • Lídia Raquel Forte de Lima Batinga (orientador: Diego Pinheiro Fernandes)
  • Robert Nunes Lima (orientador: Henrique Antunes Almeida)
  • João Felipe Lobo Pevidor (orientador: Marcelo Finger)
  • Ricardo Oliveira Rocha (orientador: Henrique Antunes Almeida)
  • Luiz Cláudio Frederico Fernandez (orientador: Mario Roberto Folhadela Benevides)
  • Victor Barroso-Nascimento (orientador: Luiz Carlos Pereira)
  • Jéssica Caren da Silva Melo (orientador: Ederson Safra Melo)
  • Paola Cristina de Freitas Villa (orientador: Jonas Rafael Becker Arenhart)
  • Joaquim Torres Waddington (orientador: Luiz Carlos Pereira)
  • Jéssica Gonçalves Rodrigues (orientador: Ederson Safra Melo)

Chamada SBL 02/2023 - Auxílio à participação de estudantes em eventos apoiados pela SBL

A Sociedade Brasileira de Lógica abre esta chamada para auxílio à participação de estudantes em eventos. Conforme deliberação na Assembléia Geral Ordinária de 9 de maio de 2019, os auxílios serão restritos à participação de estudantes associados a esta Sociedade em eventos da área de Lógica organizados por algum membro em dia com suas anuidades que tenha proposta aprovada nesta chamada.

Para esta chamada compreendem-se eventos iniciados de 1 outubro de 2023 a 31 de março de 2024; a data limite para solicitações é 10 de setembro de 2023. Os valores alocados para esta chamada serão de até 15% das anuidades recebidas em 2023, ainda conforme deliberação na Assembléia Geral Ordinária (30% da receita de anuidades ao ano da chamada, dividido em duas chamadas).

Para submeter uma proposta preencha o formulário disponível aqui. Em caso de dúvidas entre em contato pelo email contato@sbl.org.br.

Eleições para a Diretoria da Sociedade Brasileira de Lógica 2023-2025 (3a chamada)

ELEIÇÃO PARA DIRETORIA DA SOCIEDADE BRASILEIRA DE LÓGICA

A Comissão Eleitoral, instituída pela portaria 02/2023/SBL, de 01 de abril de 2023, torna público, aos sócios da Sociedade Brasileira de Lógica (SBL), que está aberto o processo de inscrição de chapas para a diretoria da SBL, para o período de 01/07/2023 a 30/06/2025. As eleições serão regidas pelo seguinte regulamento.

Art. 1. Da Comissão Eleitoral Local:

A Comissão Eleitoral, instalada em 1 de abril de 2023, é composta pelos seguintes membros: Prof. Cezar Mortari (presidente), Prof. Jorge Petrúcio Viana e Profa. Renata Wassermann.

Art. 2. Do Direito a Voto:

Para a presente Eleição, têm direito a voto todos os sócios efetivos no pleno gozo de seus direitos conforme estabelecido no Artigo 5º do Estatuto da SBL.
O voto é pessoal e singular.

Art. 3. Da Data e Local da Eleição:

De acordo com parágrafo 5º do artigo 15º do Estatuto da SBL aprovado na Assembleia Geral Ordinária de 15 de setembro de 2022 (AGO), dada a impossibilidade de realização in loco da Assembleia Geral nas condições do Artigo 11º do Estatuto, a votação está planejada para ocorrer à distância, por via eletrônica devidamente segura e sigilosa, conforme os melhores meios disponíveis na ocasião e aprovados por consulta conjunta da Comissão Eleitoral e da Diretoria aos sócios.

Dessa forma, a votação deverá ocorrer virtualmente no dia 01 de junho de 2023, de 8:00h às 17:00h.

Ressalta-se, entretanto, que os trâmites cartorários para a averbação da Ata da AGO e registro de Estatuto, aprovado na referida reunião, ainda estão ocorrendo. Uma vez concluídos, será possível realizar a votação eletrônica. Esta Diretoria tem trabalhado arduamente para que se possa viabilizar a votação eletrônica já nesta eleição, mas de forma a assegurar a legalidade do processo e evitar problemas à próxima Diretoria, seguiremos estritamente o processo legal vigente no momento da eleição.

Portanto, na impossibilidade da realização de uma votação eletrônica, a mesma se dará por correspondência registrada recebida até o dia 01 de junho de 2023, a ser enviada a um endereço que será divulgado e comunicado a todos os sócios com a devida antecedência.

Art. 4. Dos Candidatos à Direção:

São elegíveis para a Diretoria da SBL todos os sócios efetivos no pleno gozo de seus direitos conforme Artigo 5º do Estatuto da SBL.

Art. 5. Das Inscrições:

A inscrição das chapas será feita no período de 01 de abril a 15 de abril de 2023 por envio para o endereço eletrônico cmortari@cfh.ufsc.br aos cuidados do Prof. Cézar Mortari (Presidente da Comissão). As chapas deverão ser constituídas dos seguintes cargos: Presidente, Vice-Presidente, Segundo Vice-Presidente, 1o. Secretário/a, 2o. Secretário/a; e Tesoureiro/a (Artigo 14º do Estatuto da SBL).

Art. 6. Da Divulgação das Inscrições:

No dia 16 de abril de 2023, a Comissão Eleitoral tornará pública a relação das chapas inscritas para a direção da SBL e o resultado da homologação das candidaturas em acordo com o Artigo 4.

Art 7. Da Condução da Eleição

A eleição será conduzida por membros da Comissão Eleitoral, de acordo com o disposto no Artigo 3.

Art.8. Das Disposições Finais:

Em todos os casos omissos, as decisões serão tomadas pela Comissão Eleitoral.

Florianópolis, 1 de abril de 2023.
Profa. Cézar Mortari
Presidente da Comissão

Cronograma resumido

  • Inscrição de chapa: 1 a 15 de abril de 2023
  • Divulgação das chapas inscritas: 16 de abril de 2023
  • Eleição: 1 de junho de 2023

Eleições para a Diretoria da Sociedade Brasileira de Lógica 2023-2025

ELEIÇÃO PARA DIRETORIA DA SOCIEDADE BRASILEIRA DE LÓGICA

A Comissão Eleitoral, instituída pela portaria 01/2023/SBL, de 31 de janeiro de 2023, torna público, aos sócios da Sociedade Brasileira de Lógica (SBL), que está aberto o processo de inscrição de chapas para a diretoria da SBL, para o período de 01/07/2023 a 30/06/2025. As eleições serão regidas pelo seguinte regulamento.

Art. 1. Da Comissão Eleitoral Local:

A Comissão Eleitoral, instalada em 31 de janeiro de 2023, é composta pelos seguintes membros: Profa. Elaine Pimentel (presidente), Prof. Cezar Mortari, Prof. Jorge Petrúcio Viana e Profa. Renata Wassermann (suplente).

Art. 2. Do Direito a Voto:

Para a presente Eleição, têm direito a voto todos os sócios efetivos no pleno gozo de seus direitos conforme estabelecido no Artigo 5º do Estatuto da SBL.
O voto é pessoal e singular.

Art. 3. Da Data e Local da Eleição:

De acordo com parágrafo 5º do artigo 15º do Estatuto da SBL aprovado na Assembleia Geral Ordinária de 15 de setembro de 2022 (AGO), dada a impossibilidade de realização in loco da Assembleia Geral nas condições do Artigo 11º do Estatuto, a votação está planejada para ocorrer à distância, por via eletrônica devidamente segura e sigilosa, conforme os melhores meios disponíveis na ocasião e aprovados por consulta conjunta da Comissão Eleitoral e da Diretoria aos sócios.

Dessa forma, a votação deverá ocorrer virtualmente no dia 01 de junho de 2023, de 8:00h às 17:00h.

Ressalta-se, entretanto, que os trâmites cartorários para a averbação da Ata da AGO e registro de Estatuto, aprovado na referida reunião, ainda estão ocorrendo. Uma vez concluídos, será possível realizar a votação eletrônica. Esta Diretoria tem trabalhado arduamente para que se possa viabilizar a votação eletrônica já nesta eleição, mas de forma a assegurar a legalidade do processo e evitar problemas à próxima Diretoria, seguiremos estritamente o processo legal vigente no momento da eleição.

Portanto, na impossibilidade da realização de uma votação eletrônica, a mesma se dará por correspondência registrada recebida até o dia 01 de junho de 2023, a ser enviada a um endereço que será divulgado e comunicado a todos os sócios com a devida antecedência.

Art. 4. Dos Candidatos à Direção:

São elegíveis para a Diretoria da SBL todos os sócios efetivos no pleno gozo de seus direitos conforme Artigo 5º do Estatuto da SBL.

Art. 5. Das Inscrições:

A inscrição das chapas será feita no período de 01 a 28 de fevereiro de 2023 01 de fevereiro a 31 de março de 2023 por envio para o endereço eletrônico elaine.gouvea.pimentel@ufrn.br aos cuidados da Profa. Elaine Pimentel (Presidente da Comissão). As chapas deverão ser constituídas dos seguintes cargos: Presidente, Vice-Presidente, Segundo Vice-Presidente, 1o. Secretário/a, 2o. Secretário/a; e Tesoureiro/a (Artigo 14º do Estatuto da SBL).

Art. 6. Da Divulgação das Inscrições:

No dia 01 de março abril de 2023, a Comissão Eleitoral tornará pública a relação das chapas inscritas para a direção da SBL e o resultado da homologação das candidaturas em acordo com o Artigo 4.

Art 7. Da Condução da Eleição

A eleição será conduzida por membros da Comissão Eleitoral, de acordo com o disposto no Artigo 3.

Art.8. Das Disposições Finais:

Em todos os casos omissos, as decisões serão tomadas pela Comissão Eleitoral.

Londres, 31 de janeiro de 2023.
Profa. Elaine Pimentel
Presidente da Comissão

Cronograma resumido

  • Inscrição de chapa: 01 a 28 de fevereiro de 2023
  • Divulgação das chapas inscritas: 01 de março de 2023
  • Eleição: 1 de junho de 2023

Chamada SBL 01/2023 - Auxílio à participação de estudantes em eventos apoiados pela SBL

A Sociedade Brasileira de Lógica abre esta chamada para auxílio à participação de estudantes em eventos. Conforme deliberação na Assembléia Geral Ordinária de 9 de maio de 2019, os auxílios serão restritos à participação de estudantes associados a esta Sociedade em eventos da área de Lógica organizados por algum membro em dia com suas anuidades que tenha proposta aprovada nesta chamada. Para esta chamada compreendem-se eventos iniciados de 1 abril de 2023 a 30 de setembro de 2023; a data limite para solicitações é de 10 de março de 2023. Os valores alocados para esta chamada serão de até 15% das anuidades recebidas em 2023, ainda conforme deliberação na Assembléia Geral Ordinária (30% da receita de anuidades ao ano da chamada, dividido em duas chamadas).

Para submeter uma proposta preencha o formulário disponível aqui. Em caso de dúvidas entre em contato pelo email contato@sbl.org.br.

Resultado

  • Workshop Brasileiro de Lógica (Proponente: Bruno Lopes)

Chamada SBL 03/2022 - Indicação de membros estudantes para a Association for Symbolic Logic (ASL) para o ano de 2023

A Sociedade Brasileira de Lógica torna pública a Chamada SBL n. 03/2022, indicação de membros estudantes para a Association for Symbolic Logic (ASL) para o ano de 2023.

As candidaturas deverão ser efetuadas pelo formulário disponível aqui até as 18h do dia 15 de dezembro de 2022.

Resultado

  • Francisco das Chagas Souto Maior Coutinho de Amorim (orientador: Afranio Gonçalves Castro)
  • Romulo Albano de Freitas (orientador: Hércules de Araújo Feitosa)
  • João Mendes Lopes Neto (orientador: João Marcos)
  • Tânia Luzia Freitas Poza da Silva (orientador: Luiz Henrique da Cruz Silvestrini)
  • Thiago Prado de Azevedo Andrade (orientador: Bruno Lopes)
  • Vinícius Moraes Gonçalves (orientador: Bruno Lopes)
  • Allan Patrick De Freitas Santana (orientador: Bruno Lopes)
  • Robert Nunes Lima (orientador: Henrique Antunes Almeida)
  • Victor Luis Barroso Nascimento (orientador: Luiz Carlos Pereira)
  • Bernardo Pinto de Alkmim (orientador: Hermann Haeusler)
  • Rafael dos Santos Ongaratto (orientador: Walter Carnielli)
  • Gabriel Rocha (orientador: Walter Carnielli)

Edital de convocação para Assembleia Geral Ordinária 2022

Prezada(o) Associada(o) da Sociedade Brasileira de Lógica (SBL):


Pelo presente Edital de Convocação, temos o prazer de convidar V.S.a para a Assembleia Geral Ordinária da Sociedade Brasileira de Lógica (SBL), a realizar-se no Instituto de Matemática e Estatística da Universidade Federal da Bahia (UFBA) em Salvador, em primeira convocação às 17h30 do dia 15/09/2022, e não havendo quórum, em segunda convocação às 17h40 no mesmo dia e local, com qualquer número de associados presentes, para tratar da seguinte Ordem do Dia:
1. Informes.
2. Aprovação da prestação de contas do período de 01/04/2021 a 31/08/2022.
3. Aprovação do novo regimento da SBL.
4. Discussão e deliberação do local onde será realizado o próximo EBL e constituição da comissão organizadora do evento.
5. Outros assuntos.
Contando com a valiosa presença de V.S.a, ressaltamos que as deliberações obrigam a todos, inclusive aos associados ausentes.


Campinas, 16 de junho de 2022.

A Diretoria.

Sociedade Brasileira de Lógica (SBL)

Período: 2021-2023   

Chamada SBL 03/2022 Apoio Financeiro para Estudantes - XX EBL

A Sociedade Brasileira de Lógica (SBL), em conjunto com a organização do CADE-27 e o LSFA-2022, fornecerá apoio financeiro para um número limitado de alunos para participar do XX Encontro Brasileiro de Lógica.

Caberá exclusivamente ao Comitê SBL decidir sobre os valores e a quem o auxílio será concedido. Este apoio financeiro visa ajudar os alunos a cobrir parte das suas despesas com alojamento e alimentação. As taxas da conferência também serão isentas. A SBL não pode fornecer suporte financeiro completo para os alunos.

Para se inscrever, o aluno precisa *necessariamente* ser um membro da Sociedade Brasileira de Lógica (SBL) com a anuidade em dia, e não ser residente/estudante em Salvador ou região metropolitana. Consulte essa página para obter instruções sobre como se tornar um membro ou renovar a assinatura.

Além disso, o aluno deve preencher o formulário de candidatura aqui. O prazo para inscrições é 05 de julho de 2022, e as decisões serão comunicadas em 12 de julho de 2022.

Resultado

  • Allan Patrick De Freitas Santana
  • Caio de Andrade Mendes
  • Guilherme Eduardo Pinto
  • João Mendes Lopes Neto
  • José Goudet Alvim
  • José Henrique Fonseca Franco
  • Julio Cesar da Silva
  • Juan Ferrer Meleiro
  • Juan Francisco Camasca Fernández
  • Kaique Matias de Andrade Roberto
  • Lídia Raquel Forte de Lima Batinga
  • Luiz Cláudio Frederico Fernandez
  • Renato Reis Leme
  • Thiago Prado de Azevedo Andrade
  • Victor Luis Barroso Nascimento
  • Vinicius Oliveira Rocha

Chamada SBL 02/2022 - Auxílio à participação de estudantes em eventos apoiados pela SBL

A Sociedade Brasileira de Lógica abre esta chamada para auxílio à participação de estudantes em eventos. Conforme deliberação na Assembléia Geral Ordinária de 9 de maio de 2019, os auxílios serão restritos à participação de estudantes associados a esta Sociedade em eventos da área de Lógica organizados por algum membro em dia com suas anuidades que tenha proposta aprovada nesta chamada. Para esta chamada compreendem-se eventos iniciados de 1 de agosto de 2022 a 31 de março de 2023; a data limite para solicitações é 10 de fevereiro de 2023. Os valores alocados para esta chamada serão de até 30% das anuidades recebidas em 2022, ainda conforme deliberação na Assembléia Geral Ordinária (30% da receita de anuidades ao ano da chamada, dividido em duas chamadas, mas não tivemos propostas na primeira chamada).

Para submeter uma proposta preencha o formulário disponível aqui. Em caso de dúvidas entre em contato pelo email contato@sbl.org.br.

Resultado

  • II Encontro Brasileiro em Teoria das Categorias (Proponente: Hugo Mariano)
  • Escola São Paulo de Ciência Avançada em Lógica Contemporânea, Racionalidade e Informação (Proponente: Ítala D'Ottaviano)

Chamada SBL 01/2022 - Auxílio à participação de estudantes em eventos apoiados pela SBL

A Sociedade Brasileira de Lógica abre a chamada para auxílio à participação de estudantes associados a esta Sociedade em eventos apoiados pela SBL iniciados até 15 de agosto de 2022. A análise será feita em fluxo contínuo.

Para submeter uma proposta preencha o formulário disponível aqui. Em caso de dúvida entre em contato pelo email contato@sbl.org.br.

Concurso na área de Lógica -- UERJ

Clique aqui para visualizar o edital para o Concurso Público para Professor Adjunto do Departamento de Filosofia da UERJ, na área de Lógica. As inscrições estarão abertas no período de 06/06/2022 a 07/07/2022.

Chamada SBL 01/2021 - Indicação de membros estudantes para a Association for Symbolic Logic (ASL) para o ano de 2022

A Sociedade Brasileira de Lógica tora pública a Chamada SBL n. 01/2021, indicação de membros estudantes para a Association for Symbolic Logic (ASL) para o ano de 2022.

As candidaturas deverão ser efetuadas pelo formulário disponível aqui até as 18h do dia 01 de dezembro de 2021.

Resultado

  • Pedro Henrique Carrasqueira Zanei (orientador: Walter Carnielli)
  • Júlio Cândido Veloso Júnior (orientador: Jonas Rafael Arenhart)
  • Allan Patrick De Freitas Santana (orientador: Bruno Lopes)
  • Bernardo Pinto de Alkmim (orientador: Hermann Haeusler)
  • Pablo Rafael Rolim dos Santos (orientador: Walter Carnielli)
  • Guilherme Vicentin de Toledo (orientador: Marcelo Coniglio)
  • Kaique Matias de Andrade Roberto (orientador: Hugo Mariano)
  • Vitor Greati (orientador: João Marcos)
  • Giovanna Dias Cardoso (orientador: Luis Henrique Silvestrini)
  • Carmem Júlia de Oliveira (orientador: Carlos Olarte)
  • João Mendes Lopes Neto (orientador: Carlos Olarte)
  • Victor Luis Barroso Nascimento (orientador: Luiz Carlos Pereira)

Edital de convocação para Assembleia Geral Ordinária 2021

Prezada(o) Associada(o) da Sociedade Brasileira de Lógica (SBL):


Pelo presente Edital de Convocação, temos o prazer de convidar V.Sa. para a Assembleia Geral Ordinária da Sociedade Brasileira de Lógica (SBL), a realizar-se na sede da Sociedade Brasileira de Lógica, no Centro de Lógica e Epistemologia da Universidade Estadual de Campinas, Cidade Universitária, Barão Geraldo, Campinas, SP, em primeira convocação às 16h00 do dia 10/04/2021, e não havendo quórum, em segunda convocação às 16h30 no mesmo dia e local, com qualquer número de associados presentes, para tratar da seguinte Ordem do Dia:


1. Informes.
2. Aprovação da prestação de contas do período 10/05/2019 a 31/03/2021.
3. Eleição da nova diretoria para o período 2021–2023.

Contando com a valiosa presença de V.Sa., ressaltamos que as deliberações obrigam a todos, inclusive aos associados ausentes. Caso as condições sanitárias/restritivas impeçam o uso da localidade prevista, esta poderá ser alterada com aviso prévio.


Campinas, 05 de fevereiro de 2021


Prof. Dr. Cezar Augusto Mortari
Presidente da Sociedade Brasileira de Lógica (SBL)
Período: 2019-2021

Chamada SBL 02/2020 - Indicação de membros estudantes para a Association for Symbolic Logic (ASL) para o ano de 2021

A Sociedade Brasileira de Lógica tora pública a Chamada SBL n. 02/2019, Indicação de membros estudantes para a Association for Symbolic Logic (ASL) para o ano de 2021.

As candidaturas deverão ser efetuadas pelo formulário disponível aqui até as 18h do dia 01 de dezembro de 2020.

Resultado

  • Bernardo Pinto de Alkmim (orientador: Edward Hermann Haeusler)
  • Bruno Bandeira Monteiro (orientador: Jorge Petrucio Viana)
  • Elias Oliveira Vieira dos Santos (orientador: Luiz Henrique da Cruz Silvestrini)
  • Erick Simas Grilo (orientador: Bruno Lopes)
  • Guilherme Vicentin de Toledo (orientador: Marcelo Esteban Coniglio)
  • Igor Baima de Sa Menezes (orientador: Ederson Safra Melo)
  • Josenaldo Araújo da Silva Junior (orientador: Elaine Gouvêa Pimentel)
  • Leonardo Melo Batista (orientador: Daniele Nantes Sobrinho)
  • Sandro Preto (orientador: Marcelo Finger)
  • Vitor Pereira Machado (orientador: Mario Roberto Folhadela Benevides)
  • Vitor Rodrigues Greati (orientador: João Marcos)

Eleições para a Diretoria da Sociedade Brasileira de Lógica 2021-2023

ELEIÇÃO PARA DIRETORIA DA SOCIEDADE BRASILEIRA DE LÓGICA

A Comissão Eleitoral, instituída pela portaria 01/2020/SBL, de 29 de setembro de 2020, torna público, aos sócios da Sociedade Brasileira de Lógica (SBL), que está aberto o processo de inscrição de chapas para a diretoria da SBL, para o período de 01/07/2021 a 30/06/2023. As eleições serão regidas pelo seguinte regulamento.

Art. 1. Da Comissão Eleitoral Local:

A Comissão Eleitoral, instalada em 29 de setembro de 2020, é composta pelos seguintes membros: Profa. Dra. Cláudia Nalon (presidente), Prof. Dr. Hugo Luiz Mariano, Prof. Dr. Marcos Antonio da Silva Filho e Prof. Dr. Bruno Lopes Vieira (suplente).

Art. 2. Do Direito a Voto:

Para a presente Eleição, têm direito a voto todos os sócios efetivos no pleno gozo de seus direitos conforme estabelecido no Artigo 5º do Estatuto da SBL.
O voto é pessoal e singular.

Art. 3. Da Data e Local da Eleição:

A Eleição será realizada durante Assembléia Geral Extraordinária da SBL, a ser realizada no dia 10 de abril de 2021, às 16:00, na sede da Sociedade Brasileira de Lógica, no Centro de Lógica e Epistemologia da Universidade Estadual de Campinas, Cidade Universitária, Barão Geraldo, Campinas, SP.
Na impossibilidade de realização da Assembléia na sede da Sociedade, por razões decorrentes da atual crise sanitária, novo endereço será divulgado e comunicado a todos os sócios com a devida antecedência.

Art. 4. Dos Candidatos à Direção:

São elegíveis para a Diretoria da SBL todos os sócios efetivos no pleno gozo de seus direitos conforme Artigo 5º do Estatuto da SBL.

Art. 5. Das Inscrições:

A inscrição das chapas será feita no período de 04 a 29 de janeiro de 2021 por envio para o endereço eletrônico nalon@unb.br aos cuidados da Profa. Cláudia Nalon (Presidente da Comissão). As chapas deverão ser constituídas dos seguintes cargos: Presidente, Vice-Presidente, Segundo Vice-Presidente, Secretário Geral, Subsecretário e Tesoureiro (Artigo 14º do Estatuto da SBL).

Art. 6. Da Divulgação das Inscrições:

No dia 12 de fevereiro de 2021, a Comissão Eleitoral tornará pública a relação das chapas inscritas para a direção da SBL e o resultado da homologação das candidaturas em acordo com o Artigo 4.

Art 7. Da Condução da Eleição

A eleição será conduzida por membros da Comissão Eleitoral, no local e data dispostos no Artigo 3.
Em acordo com o Artigo 15º, Parágrafo Único, do Estatuto da SBL, serão admitidos votos por correspondência registrada, desde que recebidos até o momento da realização da Assembléia. Para este propósito, a cédula eleitoral será disponibilizada pela Comissão Eleitoral através na página da SBL (www.sbl.org.br) em 12 de fevereiro de 2021.
Os votos por correspondência registrada devem ser enviados em envelope com clara identificação do associado para (endereço a ser divulgado aos associados através de mensagem eletrônica) aos cuidados da Profa. Cláudia Nalon (Presidente da Comissão).
É opcional o anonimato no caso de votos enviados por correspondência. Ao optar pelo anonimato, o associado deve enviar a cédula eleitoral em envelope interno, em branco e lacrado.

Art.8. Das Disposições Finais:

Em todos os casos omissos, as decisões serão tomadas pela Comissão Eleitoral.

Brasília, 05 de novembro de 2020.
Profa. Dra. Cláudia Nalon
Presidente da Comissão

Cronograma resumido

  • Inscrição de chapa: 04 a 29 de janeiro de 2021
  • Divulgação das chapas inscritas: 12 de fevereiro de 2021
  • Eleição: 10 de abril de 2021

Chamada SBL 02/2020 - Indicação de membros estudantes para a Association for Symbolic Logic (ASL) para o ano de 2021

A Sociedade Brasileira de Lógica tora pública a Chamada SBL n. 02/2019, Indicação de membros estudantes para a Association for Symbolic Logic (ASL) para o ano de 2020 (chamada em anexo).

As candidaturas deverão ser efetuadas pelo formulário disponível aqui até as 18h do dia 01 de dezembro de 2020.

Chamada SBL 01/2020 - Auxílio à participação de estudantes em eventos apoiados pela SBL

A Sociedade Brasileira de Lógica abre esta chamada para auxílio à participação de estudantes em eventos. Conforme deliberação na Assembléia Geral Ordinária de 9 de maio de 2019, os auxílios serão restritos à participação de estudantes associados a esta Sociedade em eventos da área de Lógica organizados por algum membro em dia com suas anuidades que tenha proposta aprovada nesta chamada. Para esta chamada compreendem-se eventos iniciados de 1 abril de 2020 a 30 de setembro de 2020; a data limite para solicitações é de 10 de março de 2020. Os valores alocados para esta chamada serão de até 15% das anuidades recebidas em 2019, ainda conforme deliberação na Assembléia Geral Ordinária (30% da receita de anuidades ao ano da chamada, dividido em duas chamadas).

Para submeter uma proposta preencha o formulário disponível aqui. Em caso de dúvidas entre em contato pelo email contato@sbl.org.br .

Resultado

  • Logical and Semantic Frameworks with Applications (Proponente: Darllan Conceição Pinto)
  • São Paulo School in Advanced Science on Contemporary Logic, Rationality, and Information - SPLogIC (Proponente: Itala Maria Loffredo D'Ottaviano)
  • Workshop Brasileiro de Lógica (Proponente: Edward Hermann Haeusler)

Chamada SBL 02/2019 - Indicação de membros estudantes para a Association for Symbolic Logic (ASL) para o ano de 2020

A Sociedade Brasileira de Lógica tora pública a Chamada SBL n. 02/2019, Indicação de membros estudantes para a Association for Symbolic Logic (ASL) para o ano de 2020 (chamada em anexo).

As candidaturas deverão ser efetuadas pelo formulário disponível aqui até as 18h do dia 30 de novembro de 2019.

Resultado

  • Bernardo Pinto de Alkmim (PUC-Rio - orientador: Edward Hermann Haeusler)
  • Caio de Andrade Mendes (USP - orientador: Hugo Luiz Mariano)
  • Elias Oliveira Vieira dos Santos (UNESP - orientador: Luiz Henrique da Cruz Silvestrini)
  • Emerson Wendlingger Dantas Sales (UFRN - orientadora: Elaine Pimentel)
  • Erick Simas Grilo (UFF - orientador: Bruno Lopes)
  • Guilherme Luiz Grudtner (UNICAMP - orientadora: Itala M. Loffredo D'Ottaviano)
  • Guilherme Vicentin de Toledo (UNICAMP - orientador: Marcelo Esteban Coniglio)
  • Igor Baima de Sá Menezes (UFMA - orientador: Ederson Safra Melo)
  • Renato Reis Leme (UNICAMP - orientador: Giorgio Venturi)
  • Sandro Preto (USP - orientador: Marcelo Finger)
  • Vitor Rodrigues Greati (UFRN - orientador: João Marcos)

Chamada SBL 01/2019 - Auxílio à participação de estudantes em eventos apoiados pela SBL

A Sociedade Brasileira de Lógica abre esta chamada para auxílio à participação de estudantes em eventos. Conforme deliberação na Assembléia Geral Ordinária de 9 de maio de 2019, os auxílios serão restritos à participação de estudantes associados a esta Sociedade em eventos da área de Lógica organizados por algum membro em dia com suas anuidades que tenha proposta aprovada nesta chamada. Para esta chamada compreendem-se eventos iniciados de 1 outubro de 2019 a 31 de março de 2020; a data limite para solicitações é de 31 de agosto de 2019. Os valores alocados para esta chamada serão de até 15% das anuidades recebidas em 2019, ainda conforme deliberação na Assembléia Geral Ordinária (30% da receita de anuidades ao ano da chamada, dividido em duas chamadas).

Uma nova chamada para os eventos iniciados de 1 de abril a 31 de outubro deverá ser lançada em fevereiro de 2020.

Para submeter uma proposta preencha o formulário disponível aqui . Em caso de dúvidas entre em contato pelo email contato@sbl.org.br.

Resultado

  • CREATIVITY 2019 1st World Congress of the Brazilian Academy of Philosophy in Honor of Newton da Costa 90th Birthday (Proponente: Jean-Yves Beziau)
  • Semana Temática de Lógica, Conjuntos e Topologia (Proponente: Ciro Russo)