[Logica-l] Um pequeno evento no IME-USP no dia 14 de janeiro: dia mundial da logica

[Hugo Luiz Mariano]

Caros colegas e estudantes,

Teremos uma pequena reunião informal no bloco B do  IME-USP no período
da manha do dia mundial da Lógica.

Estão confirmadas as presenças de alguns professores  e vários alunos.

Todos interessados são bem-vindos!

Abs.
Hugo

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqipAHRVZSSh%3DeEead9UTgOtA0B0nsLB9io4Z%2BKNzacZuw%40mail.gmail.com.

Re: [Logica-l] SLALM no Rio de Janeiro em 2025

[Hugo Luiz Mariano]

Caros colegas e em especial ao prof Cezar Mortari,


Gostaria de explicar um pouco o contexto de algumas  conversas
informais que  originaram o tema desta sequencia de emails e, desde
já, pedir desculpas por qualquer  eventual  mal-entendido.


Em conversa informal ocorrida durante algum cofffe-break no SLALM em
dezembro passado, entre quase todos os "brasileiros" presentes no
evento: Juliana, Walter, Jean-Yves e eu (a Elaine Pimentel, que fechou
o evento como invited speaker,não estava neste momento), conversamos
(informalmente) sobre a possibilidade de, no futuro, trazer novamente
o SLALM para o Brasil, possíveis datas (2022 ja estaria acertado
ocorrer na Costa Rica), etc.
Neste momento comentei que, também em conversa informal, agora
ocorrida na espera do voo de João Pessoa a São Paulo, esta ocorrida em
maio de 2019, ao final do EBL, os "paulistas" presentes: Renata
Wassermann, Julio Stern e eu,matamos o tempo divagando sobre a
possibilidade de uma candidatura para trazer o EBL para a cidade de
São Paulo  em 2023 (alguem mencionou que isto tinha ocorrido uma vez,
ha uns 30 anos). E fiicamos de conversar mais seriamente sobre isto no
futuro, agregando outros colegas da USP, principalmente da Faculdade
de Filosofia, para vermos se o entusiasmos de momento se cristalizaria
em uma proposta adequada a ser submetida ao crivo comparativo dos
colegas em sessão da SBL, em Salvador 2021.


Abraços,
Hugo



Em 17/02/2020, C. Mortari escreveu:
> Caras e caros colegas,
>
> espero que tenha tido todos ótimas férias. Vamos a mais um ano!
>
> É uma ótima notícia saber que a proposta, endossada pela SBL, de
> realizar o SLALM 2025 no Brasil, em particular no Rio de Janeiro, foi
> aprovada.
>
> Quanto às propostas de realizar os EBLs de 2023 (São Paulo) e 2025 (Rio,
> junto com o SLALM), certamente são bem-vindas. Sabendo da dificuldade de
> organizar eventos científicos no Brasil, ainda mais nos tempos que
> correm, quaisquer grupos que se proponham a realizar os eventos são
> merecedores de todo o nosso apoio. Devo apenas lembrar, no entanto, que
> a decisão sobre data e local dos Encontros Brasileiros de Lógica é de
> competência da Assembleia da SBL. Agradecemos e registramos as propostas
> (que, tenho certeza, serão muito bem acolhidas pelos associados) para
> incluí-las na pauta da próxima Assembleia, a ser realizada durante o EBL
> de Salvador, em 2021.
>
> Abraços,
>
> Cezar
>
>
> -
> Cezar A. Mortari
> presidente
> Sociedade Brasileira de Lógica (SBL)
>
>
> Em 2020-02-16 22:04, jean-yves beziau escreveu:
>> No derradeiro congresso latino-americano de lógica matemática
>> (SLALM) que aconteceu em dezembro passado na cidade de Concepción no
>> Chile
>>
>> http://slalmxviii.udec.cl/
>> fiz a proposta de organizar uma próxima edição do SLALM na cidade
>> do Rio de Janeiro.
>> A proposta foi recebida positivamente pelo comitê organizador do
>> SLALM.
>> A próxima edição do SLALM é prevista na Costa Rica em 2022, a
>> ideia sendo de fazer alternação entre América do Sul e América
>> Central.
>> O que foi combinado então foi de organizar o SLALM no Rio de Janeiro
>> em 2025, será a vigésima edição desta série de eventos.
>> A derradeira vez que o SLALM foi organizado no Brasil foi em 2008 em
>> Paraty, junto com o EBL
>> http://www.cle.unicamp.br/cle30-ebl-slalm/
>> Foi um evento muito importante com a presença em particular do
>> Raymond Smullyan e do Jaakko Hintitkka
>> https://sites.google.com/view/hintikka/1929-2015
>> A ideia é de organizar também esta vez o SLALM junto com o EBL.
>> Falei a respeito disso em Concepción com o Walter, a Juliana e o
>> Hugo.
>> O Hugo me falou que ele planejava organizar o EBL em São Paulo em
>> 2023  depois da próxima edição prevista em Salvador em 2021.
>> A edição do EBL no Rio seria então a seguir, em 2025 (a única vez
>> que o EBL foi organizado na cidade do  Rio de Janeiro foi em 1984).
>> JYB
>>
>> 
>>
>> __
>>
>>  --
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L"
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAhwtU4K3S5GUz8kOPiUKwMdDzLX-TcpVKO8LLjAHx_xA%40mail.gmail.com
>> [1].
>>
>>
>> Links:
>> --
>> [1]
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAhwtU4K3S5GUz8kOPiUKwMdDzLX-TcpVKO8LLjAHx_xA%40mail.gmail.com?utm_medium=email&utm_source=footer
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3a2623ff65ba6b874cf539d7210d1756%40cfh.ufsc.br.
>

-- 
Você está recebendo esta mensagem porque se inscreveu no gru

Re: [Logica-l] SLALM no Rio de Janeiro em 2025

[Hugo Luiz Mariano]

Caro Cezar e colegas,

Obrigado pela mensagem.
Vamos conversar com os colegas lógicos da USP (Computação, Filosofia e
Matemática) e,  caso se concretize  uma  proposta de realizar o EBL na
cidade de São Paulo em 2023, a  apresentaremos ao escrutinio da
assembleia da SBL no ano que vem, em Salvador.

Abraços,
Hugo

Em 18/02/2020, C. Mortari escreveu:
> Caro Hugo, caras e caros colegas,
>
> muito obrigado pela mensagem. Peço desculpas caso não tenha ficado
> claro, mas não há de modo algum objeções à realização do EBL 2023 em São
> Paulo, ou EBL/SLALM em 2025 no Rio. Como eu disse, as sugestões são
> muito bem-vindas e espero que o entusiasmo que você mencionou realmente
> resulte em uma proposta a ser discutida em Salvador. De fato, o último
> (e único) EBL realizado na cidade de São Paulo foi em 1988; e no Rio, em
> 1984. Já faz mesmo bastante tempo!
>
> Grande abraço,
>
> Cezar
>
>
>
> Em 2020-02-18 07:36, Hugo Luiz Mariano escreveu:
>> Caros colegas e em especial ao prof Cezar Mortari,
>>
>>
>> Gostaria de explicar um pouco o contexto de algumas  conversas
>> informais que  originaram o tema desta sequencia de emails e, desde
>> já, pedir desculpas por qualquer  eventual  mal-entendido.
>>
>>
>> Em conversa informal ocorrida durante algum cofffe-break no SLALM em
>> dezembro passado, entre quase todos os "brasileiros" presentes no
>> evento: Juliana, Walter, Jean-Yves e eu (a Elaine Pimentel, que fechou
>> o evento como invited speaker,não estava neste momento), conversamos
>> (informalmente) sobre a possibilidade de, no futuro, trazer novamente
>> o SLALM para o Brasil, possíveis datas (2022 ja estaria acertado
>> ocorrer na Costa Rica), etc.
>> Neste momento comentei que, também em conversa informal, agora
>> ocorrida na espera do voo de João Pessoa a São Paulo, esta ocorrida em
>> maio de 2019, ao final do EBL, os "paulistas" presentes: Renata
>> Wassermann, Julio Stern e eu,matamos o tempo divagando sobre a
>> possibilidade de uma candidatura para trazer o EBL para a cidade de
>> São Paulo  em 2023 (alguem mencionou que isto tinha ocorrido uma vez,
>> ha uns 30 anos). E ficamos de conversar mais seriamente sobre isto no
>> futuro, agregando outros colegas da USP, principalmente da Faculdade
>> de Filosofia, para vermos se o entusiasmos de momento se cristalizaria
>> em uma proposta adequada a ser submetida ao crivo comparativo dos
>> colegas em sessão da SBL, em Salvador 2021.
>>
>>
>> Abraços,
>> Hugo
>>
>>
>>
>> Em 17/02/2020, C. Mortari escreveu:
>>> Caras e caros colegas,
>>>
>>> espero que tenha tido todos ótimas férias. Vamos a mais um ano!
>>>
>>> É uma ótima notícia saber que a proposta, endossada pela SBL, de
>>> realizar o SLALM 2025 no Brasil, em particular no Rio de Janeiro, foi
>>> aprovada.
>>>
>>> Quanto às propostas de realizar os EBLs de 2023 (São Paulo) e 2025
>>> (Rio,
>>> junto com o SLALM), certamente são bem-vindas. Sabendo da dificuldade
>>> de
>>> organizar eventos científicos no Brasil, ainda mais nos tempos que
>>> correm, quaisquer grupos que se proponham a realizar os eventos são
>>> merecedores de todo o nosso apoio. Devo apenas lembrar, no entanto,
>>> que
>>> a decisão sobre data e local dos Encontros Brasileiros de Lógica é de
>>> competência da Assembleia da SBL. Agradecemos e registramos as
>>> propostas
>>> (que, tenho certeza, serão muito bem acolhidas pelos associados) para
>>> incluí-las na pauta da próxima Assembleia, a ser realizada durante o
>>> EBL
>>> de Salvador, em 2021.
>>>
>>> Abraços,
>>>
>>> Cezar
>>>
>>>
>>> -
>>> Cezar A. Mortari
>>> presidente
>>> Sociedade Brasileira de Lógica (SBL)
>>>
>>>
>>> Em 2020-02-16 22:04, jean-yves beziau escreveu:
>>>> No derradeiro congresso latino-americano de lógica matemática
>>>> (SLALM) que aconteceu em dezembro passado na cidade de Concepción no
>>>> Chile
>>>>
>>>> http://slalmxviii.udec.cl/
>>>> fiz a proposta de organizar uma próxima edição do SLALM na cidade
>>>> do Rio de Janeiro.
>>>> A proposta foi recebida positivamente pelo comitê organizador do
>>>> SLALM.
>>>> A próxima edição do SLALM é prevista na Costa Rica em 2022, a
>>>> ideia sendo de fazer alternação entre América do Sul e América
>>>> Central.
>>>> O que foi combinado então foi de organi

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

[Hugo Luiz Mariano]

Obrigado pela divulgação Samuel!

A sessão de teoria de categorias do encontro conjunto Brasil-Portugal de
Matemática, organizado por Valeria de Paiva, Maria Manuel Clementino, José
Siqueira e eu, também gostaríamos de agradecer ao grupo de
Lógica-Matemática da UFBA pela gentil oferta de compartilhar a estrutura do
grupo (canal do youtube) para  divulgar  as palestras da sessão de teoria
das categorias:
https://sites.google.com/view/categoriasbrasil-portugal/

Abraços,
Hugo Mariano

Em qua., 17 de ago. de 2022 às 00:18, 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:

> ... Ah sim,
>
> E temos "um plus a mais",
>
> No canal do YouTube do nosso grupo de Lógica (link na mensagem anterior)
>
> Também faremos a live das duas sessões de Teoria das Categorias,
>
> Que ocorrerão nas mesmas quinta e sexta só que na parte da manhã, às 10h30.
>
> Abraços
>
> []s  Samuel
>
> Em terça-feira, 16 de agosto de 2022 às 19:14:00 UTC-3, samuel escreveu:
>
>> Caros
>>
>> Atualizando as informações (sobre as sessões de Lógica Matemática do
>> Brasil-Portugal),
>>
>> ---> a sessão presencial de quinta-feira 18/08 às 14hs vai ser
>> transmitida ao vivo (a famosa "live") no canal de YouTube do grupo de
>> Lógica Matemática
>> da UFBA:
>>
>> https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg/featured
>>
>> Será a primeira live que faremos, então pedimos desculpas antecipadamente
>> por qualquer problema...  8-)
>>
>> --> a sessão online da sexta-feira 19/08 às 14hs vai ser transmitida via
>> Zoom no link
>>
>> https://ucl.zoom.us/j/96643160730
>>
>> Convidamos todos os interessados a nos acompanhar !
>>
>> Abraços
>>
>> []s  Samuel
>>
>>
>>
>> Em domingo, 14 de agosto de 2022 às 00:02:29 UTC-3, it...@unicamp.br
>> escreveu:
>>
>>> Caras e caros:
>>>
>>> Também não poderei participar do encontro, pois estarei coordenando o
>>> Fórum mencionado pelo Walter.
>>> Bom encontro!
>>>
>>> Itala
>>>
>>> Em sex., 12 de ago. de 2022 às 20:46, Walter Carnielli <
>>> walt...@unicamp.br> escreveu:
>>>
 Pessoal ,desejo boa sorte mas  esclareço que não poderei participar
 porque eu estou dando uma palestra em um Fórum da Unicamp neste dia.

 Abs
 Walter

 Em sex., 12 de ago. de 2022 17:22, Valeria de Paiva <
 valeria...@gmail.com> escreveu:

> >PS: Temos colegas lógicos também na Sessão de Teoria das Categorias,
> a qual vai ocorrer nos mesmos dias (quinta 18 e sexta 19), porém na parte
> da manhã.
>
> Muito obrigada pelo "shout-out" Samuel!!
>
> O José Siqueira, o Hugo Mariano, a Maria Manuel Clementino e eu
> estamos organizando uma sessão de teoria de categorias no mesmo encontro
> Brasil-Portugal.
> a descrição se encontra em
> https://sites.google.com/view/categoriasbrasil-portugal
>
> Abracos,
> Valeria
>
>
> On Thu, Aug 11, 2022 at 12:30 PM 'Samuel Gomes da Silva' via LOGICA-L <
> logi...@dimap.ufrn.br> wrote:
>
>> Prezados,
>>
>> Seguindo com a presença da Lógica na recente tradição dos encontros
>> bilaterais da Sociedade Brasileira de Matemática com as respectivas
>> sociedades de
>> outros países, em encontros organizados no Brasil (Brasil-Espanha
>> 2015, Brasil-Itália 2016 e Brasil-França 2019),
>>
>> Teremos também uma Sessão de Lógica Matemática no Encontro Conjunto
>> Brasil-Portugal de Matemática
>>
>> 
>> https://sites.google.com/view/ecbpm/
>>
>> o qual vai ser realizado aqui mesmo em Salvador, na semana que vem,
>> de 14 a 19 de agosto.
>>
>> A sessão de Lógica ocorrerá em duas tardes, na quinta dia 18
>> (apresentações presenciais) e sexta dia 19 (apresentações online).
>>
>> Mesmo as apresentações presenciais, tentaremos viabilizar a
>> transmissão ao vivo pelo Canal de YouTube do Grupo de
>> Lógica da UFBA, mando mensagem na semana que vem confirmando isso
>> (além de divulgar o link para a sessão da sexta-feira
>> que vai ser online de todas as formas).
>>
>> Também temos uma página própria para a Sessão de Lógica:
>>
>> https://sites.google.com/view/logica-brasil-portugal
>>
>> Segue a descrição da sessão:
>>
>> ==
>>
>> Tópicos:
>>
>> Decidability, Proof Theory, Type Theory, Model Theory, Complexity,
>> Algebraic Logic, Categorical
>> Logic, Non-Classical Logics, Set Theory.
>>
>> Organizadores da Sessão Temática:
>>
>> Alfredo Roque Freire
>> Elaine Pimentel
>> João Marcos
>> Manuel Martins
>> Samuel G. da Silva
>>
>>
>> **
>> Quinta-feira, 18 de Agosto
>> **
>>
>> 13:50–14:00 Abertura da sessão  (Elaine & João Marcos - organização)
>>
>> 14:00–14:20 Pedro Quaresma -  Coimbra, Portugal
>>
>> New and interesting theorems
>>

[Logica-l] Divulgação do 2o Encontro Brasileiro em Teoria das Categorias

[Hugo Luiz Mariano]

Prezados e Prezadas,
Esperamos que esta mensagem os encontre em boa saúde!

É com enorme alegria e satisfação que os convidamos para a segunda edição
do *Encontro Brasileiro em Teoria das Categorias
<https://encontrocategorico.mat.br/>*, que ocorrerá de
*20 a 24de Março de 2023*. Esta edição será presencial com transmissão ao
vivo pelo Youtube.

Contamos com o apoio do grupo Math-Phys-Cat <http://math-phys.group/>, do
IME-USP <https://www.ime.usp.br/>, da SBL <http://sbl.org.br/> e do INCTMat
<https://inctmat.impa.br/>.

Incentivamos que trabalhos nas mais diversas áreas, como Álgebra,
Geometria, Ciência da Computação, Lógica e Física, desde que relacionado
com Teoria das Categorias, sejam enviados. As inscrições e submissões de
trabalhos já estão abertas!

Para maiores informações, visite o nosso site: encontrocategorico.mat.br.

Não hesite em nos contatar caso tenha alguma dúvida:
encontrocategor...@ime.usp.br

* Datas importantes:*

*- Submissão de resumo para palestras e pôsteres:* até dia *13/01/2023*
*- Inscrições:* até dia *01/03/2023*


Por favor, divulguem o evento amplamente!

Cumprimentos em nome do comitê organizador,
Hugo Luiz Mariano, IME-USP

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqgZZzNsxDa%3DFr-LwDAYsykxHbThUAXHy0bUCaCamaAdTg%40mail.gmail.com.

[Logica-l] divulgação do 2o Encontro Brasileiro em Teoria das Categorias, 20-24 de março, IME-USP

[Hugo Luiz Mariano]

Prezados e Prezadas,

Gostaria de convidá-los  para participarem da  segunda edição do
*Encontro Brasileiro em Teoria das Categorias
<https://encontrocategorico.mat.br/>*,  a ocorrer de *20 a 24 de Março* de
2023 no IME-USP.

Os resumos de 1 página devem ser submetidos até 10 de fevereiro e
construídos segundo o template
https://www.overleaf.com/project/6353f9dacb446ce8062d570b

A notificação da aceitação ocorrerá até o dia 20 de fevereiro.

Todos os participantes inscritos com resumos aceitos serão listados no
programa e no caderno de resumos do evento.

As inscrições devem ser realizadas até o dia 1 de março através do
formulário
https://docs.google.com/forms/d/e/1FAIpQLSd50rg2A7lBwGvYgHZFg_SSjhAoCyvvRORZvDo7GmkTjorFyw/viewform

É estimulada a participação presencial dos inscritos e, dentro das
limitações orçamentárias, buscamos fontes para auxiliar a participação
sobretudo de jovens pesquisadores.

Destacamos o importante apoio oficial e propaganda da SBL para a realização
do evento (http://sbl.org.br/pmwiki.php/Main/Events). Além disso, também
foram  disponibilizados R$ 1.500 para a participação de estudantes
associados a SBL com anuidade em dia (http://sbl.org.br/pmwiki.php/
Main/Apoio).

Mais detalhes estão em https://encontrocategorico.mat.br/II/Submissoes


Cumprimentos em nome do comitê organizador,
Hugo Luiz Mariano, IME-USP

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqj5M_JjEboWPPsb2%3DPqm9uoH0fszskaujzr2qQJ6xFLUQ%40mail.gmail.com.

[Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq

[Hugo Luiz Mariano]

Caros colegas,

Encaminho mensagem recebida através de um colega algebrista contendo uma
proposta da alteração do sistema de avaliação de revistas da área de
matemática no CNPq.

A proposta de alteração (ver 2 anexos) beneficiaria não apenas a área de
álgebra, mas também áreas mais abstratas da matemática, como lógica e
fundamentos.

Noto que a manifestação de cada um que estiver de acordo, teria que
ocorrer  através do formulário abiaxo, até o dia *25 de março.*


https://docs.google.com/forms/d/e/1FAIpQLSeBXQNr7jAEsT4kkWKjzEDL35L4RVTyOVYeJvUO5Rl4qKrDoA/viewform?usp=sharing

Abraços,

Hugo


-- Forwarded message -
De: Plamen Emilov Kochloukov 
Date: ter., 21 de mar. de 2023 11:59
Subject: Critérios do CA-MA para avaliação das solicitações no CNPq
To: , , <
adrielly@gmail.com>, , , <
alessandradelguing...@gmail.com>, , <
alexc...@gmail.com>, , <
alexandr.kor...@ufabc.edu.br>, , , <
aline.vandrad...@gmail.com>, , <
alonso.castella...@ufu.br>, Altair S O T , <
amandacv...@gmail.com>, , Ana Cristina Vieira <
anac...@ufmg.br>, , ,
, , , <
acbian...@unifesp.br>, , , <
acsouzafi...@usp.br>, , , <
bmirz...@icmc.usp.br>, , <
cags_guimar...@hotmail.com>, , ,
, , <
cintyaw...@gmail.com>, , Clayton Cristiano Silva <
ccri...@gmail.com>, , ,
, , ,
, , , <
danielaalvesolive...@gmail.com>, , <
sancaodan...@gmail.com>, , ,
, , <
jessycristina16ama...@gmail.com>, Ednei Aparecido Santulo Junior <
easjun...@uem.br>, Edson Ribeiro Alvares , <
silv...@impa.br>, Eduardo do Nascimento Marcos , <
elainesilva@gmail.com>, , <
vishnyako...@googlemail.com>, , ,
, , , <
f.cas...@ufsc.br>, Felipe Yukihide , <
fpere...@ita.br>, , , Flavio Ulhoa
Coelho , , <
francielia...@hotmail.com>, , <
francismarkoro...@yahoo.com.br>, , <
gabrielalcantar...@gmail.com>, , <
leleskogabr...@gmail.com>, , , <
gilson...@gmail.com>, , <
grasiela.mart...@gmail.com>, , <
grazi_fons...@hotmail.com>, , ,
, , ,
, , , <
i...@im.ufrj.br>, , , <
i.svirid...@mat.unb.br>, , , <
jsanchezse...@gmail.com>, , <
jhon.quis...@gmail.com>, João Schwarz Fernando , <
joaodomin...@id.uff.br>, , John MacQuarrie <
j...@mat.ufmg.br>, , , <
vilca.rodrigu...@gmail.com>, , , <
julianosoaresd...@gmail.com>, , ,
Kostiantyn Iusenko , , <
lnrd.alar...@gmail.com>, , ,
, , <
lhcali...@mat.ufmg.br>, , <
henrique.lucas20...@gmail.com>, , <
luisfelipe...@gmail.com>, , <
manuela.so...@ufba.br>, , , <
mehernan...@uem.br>, , <
marcosfrancinos...@hotmail.com>, , Marcos Antônio <
marcosantoniospi...@gmail.com>, , <
mtmd...@hotmail.com>, , , <
matheus.bernard...@gmail.com>, , , <
fernando25...@gmail.com>, , , <
myrlakedy...@ufmg.br>, , , <
n_arakel...@hotmail.com>, , , <
centaur...@gmail.com>, , , <
pbiancacom...@gmail.com>, , ,
, , , <
pavel2...@gmail.com>, , ,
Plamen Emilov Kochloukov , ,
, , , <
frei...@vm.uff.br>, , , <
rober...@impa.br>, , ,
Rodrigo Rodrigues , , <
rbrusamare...@gmail.com>, , , <
sabrinaferreira...@hotmail.com>, Saeed Tafazolian , <
samat...@hotmail.com>, , ,
, , , <
sinem.odab...@hotmail.com>, , , <
tanpie...@gmail.com>, , , <
jaiyeolatemit...@yahoo.com>, , <
trtamusiu...@yahoo.com.br>, , Thiago de Mello Castilho <
castilho.thi...@gmail.com>, , , <
tobias.pi...@ufv.br>, , ,
Victor Petrogradsky , , <
vnascimentomart...@gmail.com>, , <
glopezneum...@gmail.com>, , <
victorhugom...@hotmail.com>, Viktor Bekkert , <
bittencourt...@gmail.com>, , <
vitoria.will...@gmail.com>, , Vyacheslav Futorny <
vfuto...@gmail.com>, , , <
wilian...@yahoo.com.br>, , Dessislava Hristova
Kochloukova , Carolina Araujo , Eduardo
de Sequeira Esteves , Marcelo Muniz Alves <
mmuni...@gmail.com>, Ivan Shestakov , Aron Simis <
a...@dmat.ufpe.br>, Israel Vainsencher , <
doku...@gmail.com>, Marcos Benevenuto Jardim , Pavel
Zalesski , Noraí Romeu Rocco , <
csaba.schnei...@gmail.com>, Herivelto Martins Borges Filho <
hbor...@icmc.usp.br>


Caras e Caros Colegas,

Esta é uma lista que foi usada para a Escola de Álgebra de 2018, em
Campinas.

Estou lhes escrevendo por um motivo bastante relevante para a
matemática, e em particular, para a álgebra.

Nos últimos dois anos, o CA-MA, do CNPq, tem adotado critérios
numéricos no julgamento das solicitações de bolsas e de auxílios. Como
se trata de critérios numéricos e objetivos, deveria estar tudo
perfeito. Mas não é. Sabemos muito bem que as revistas especializadas
em álgebra e teoria de números, têm, tradicionalmente, indicadores
numéricos (seja fator de impacto JCR, seja SJR da Scimago – este
último utilizado pelo CA-MA) muito inferiores que as revistas de áreas
mais aplicáveis e aplicadas da matemática.

Podem conferir no site da Scimago essas discrepâncias. Não se trata de
comparar revistas de matemática com as de biologia ou medicina, mas a
magnitude das diferenças nos números na própria SJR, Scimago, entre a
álgebra e por exemplo a matemática aplicada ou as equações
diferenciais, é bastante parecida.

Portanto decidimos enviar uma proposta ao CA-MA com um novo sistema de
classificação das revistas. Este sistema foi baseado exclusivament

Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq

[Hugo Luiz Mariano]

Olá Walter e colegas!


Realmente o pdf -- que aparentemente será encaminhado ao CA-MA -- tem um
tom pouco formal.

E como a proposta é baseada em uma utilização o SJR-Scimago, esta
importa de lá algumas discrepâncias (me avisaram no privado de pelo menos
uma, na aba da lógica) .

Não sei se há muito o que fazer neste curto espaço de tempo. Mas também
encaro como um pontapé inicial...

Abraços,
Hugo

Em qua., 22 de mar. de 2023 às 13:43, Walter Carnielli 
escreveu:

> Olá Hugo,  Cara(o)s toda(o)s:
>
>
> Eu assinei o formulário, estou em princípio de acordo com esse tipo de
> mudança mais racional .
> Mas não ficou claro para mim qual é a carta exata que vai ser enviada ao
> CA-MA.
>
> Deve ser alguma coisa melhor redigida do que as meras ponderações que
> aparecem na mensagem, imagino.
>
> Você já tem essa carta,  digamos assim, em  um tom mais oficialesco?
>
>  Penso que algo semelhante deveria  ser enviado ao CA-FI.
>
> Abraços,
>
> Walter
>
> Em qua., 22 de mar. de 2023 05:02, Hugo Luiz Mariano 
> escreveu:
>
>> Caros colegas,
>>
>> Encaminho mensagem recebida através de um colega algebrista contendo uma
>> proposta da alteração do sistema de avaliação de revistas da área de
>> matemática no CNPq.
>>
>> A proposta de alteração (ver 2 anexos) beneficiaria não apenas a área de
>> álgebra, mas também áreas mais abstratas da matemática, como lógica e
>> fundamentos.
>>
>> Noto que a manifestação de cada um que estiver de acordo, teria que
>> ocorrer  através do formulário abiaxo, até o dia *25 de março.*
>>
>>
>>
>> https://docs.google.com/forms/d/e/1FAIpQLSeBXQNr7jAEsT4kkWKjzEDL35L4RVTyOVYeJvUO5Rl4qKrDoA/viewform?usp=sharing
>>
>> Abraços,
>>
>> Hugo
>>
>>
>> -- Forwarded message -
>> De: Plamen Emilov Kochloukov 
>> Date: ter., 21 de mar. de 2023 11:59
>> Subject: Critérios do CA-MA para avaliação das solicitações no CNPq
>> To: , , <
>> adrielly@gmail.com>, , ,
>> , , <
>> alexc...@gmail.com>, , <
>> alexandr.kor...@ufabc.edu.br>, , , <
>> aline.vandrad...@gmail.com>, , <
>> alonso.castella...@ufu.br>, Altair S O T , <
>> amandacv...@gmail.com>, , Ana Cristina
>> Vieira , , <
>> anapaulasilva.matemat...@gmail.com>, , <
>> conti...@ufmg.br>, , , <
>> annae...@hotmail.com>, , ,
>> , , , <
>> brunamc.mira...@yahoo.com.br>, , <
>> cgomes...@gmail.com>, , <
>> mendes.carol...@ict.ufvjm.edu.br>, , <
>> cintyaw...@gmail.com>, , Clayton Cristiano Silva <
>> ccri...@gmail.com>, , ,
>> , , <
>> dalalre...@yahoo.com>, , , <
>> dfcast...@gmail.com>, , <
>> daniellesantos@gmail.com>, , <
>> avelar...@gmail.com>, , <
>> d.carbajalordin...@gmail.com>, , <
>> jessycristina16ama...@gmail.com>, Ednei Aparecido Santulo Junior <
>> easjun...@uem.br>, Edson Ribeiro Alvares , <
>> silv...@impa.br>, Eduardo do Nascimento Marcos , <
>> elainesilva@gmail.com>, , <
>> vishnyako...@googlemail.com>, , ,
>> , , ,
>> , Felipe Yukihide , <
>> fpere...@ita.br>, , , Flavio Ulhoa
>> Coelho , , <
>> francielia...@hotmail.com>, , <
>> francismarkoro...@yahoo.com.br>, , <
>> gabrielalcantar...@gmail.com>, , <
>> leleskogabr...@gmail.com>, , ,
>> , , <
>> grasiela.mart...@gmail.com>, , <
>> grazi_fons...@hotmail.com>, , <
>> guilherm...@ufu.br>, , , <
>> srinivas...@missouri.edu>, , , <
>> igor.matemat...@gmail.com>, , , <
>> ingrid@hotmail.com>, , ,
>> , , <
>> jessicacristina-ama...@outlook.com>, , João
>> Schwarz Fernando , , <
>> joaovito...@outlook.com>, John MacQuarrie , <
>> jones.colo...@gmail.com>, , <
>> vilca.rodrigu...@gmail.com>, , ,
>> , , <
>> junroc...@gmail.com>, Kostiantyn Iusenko , <
>> lamark.biu...@hotmail.com>, , <
>> liliam.meri...@gmail.com>, , <
>> luanaconti...@yahoo.com.br>, , <
>> lhcali...@mat.ufmg.br>, , <
>> henrique.lucas20...@gmail.com>, , <
>> luisfelipe...@gmail.com>, , <
>> manuela.so...@ufba.br>, , , <
>> mehernan...@uem.br>, , <
>> marcosfrancinos...@hotmail.com>, , Marcos
>> Antônio , , <
>> mtmd...@hotmail.com>, , , <
>> matheus.bernard...@gmail.com>, , , <
>> fernando25...@gmail.com>, , ,
>> , , ,
>> , , , <
>> centaur...@gmail.com>, , , 

Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq

[Hugo Luiz Mariano]

Olá Samuel e colegas,

 Vamos ver/torcer para que exista ao menos alguma folha de rosto mais
formal para o encaminhamento à Capes (vi na lista da mensagem que há
algebristas com conexões antigas com a Capes, talvez isto já esteja rolando
nos bastidores algébricos...).

Vou procurar documentos oficiais, mas  o "folclore" (pelo menos no Qualis
da Matemática) é que uma revista só entra na lista de um período
(quadriênio, em geral) se ocorreu algum registro pelo Coleta-Capes de
alguma publicação na revista no período anterior.

 Não creio que isto seja sempre respeitado (por exemplo, vi que o Annals of
Math. está na lista atual, mas não creio que tenha havido algum
"brasileiro" que tenha publicado lá nos últimos anos)

De toda forma, é um critério muito bizarro e que certamente na prática joga
para desorientar a produção  científica (ou melhor, a publicação
científica). Em particular, penso que para o Qualis Matemática atual, o
Studia Logica não estaria contando nada!

Desta forma, o melhor Qualis, para a Ciência, seria não haver mais Qualis...

Abraços,
Hugo

Em qua., 22 de mar. de 2023 às 18:02, 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:

> Caros,
>
>
> Walter, você viu o link para um .pdf na mensagem né ? Fiquei na dúvida se
> você viu. De todas as formas, porém, está bastante informal esse texto do
> .pdf
> do link também, com comparações e simulações e tal... Passa a mensagem,
> mas não tem cara de documento oficial. Já ouvi falar que as
> comissões de Matemática não gostam de informalidade nessas horas.
>
> Aproveitando: Hugo, você sabe se no atual Qualis, 2017-2020, está se
> mantendo/tentando manter a coisa da unificação dos Qualis em diferentes
> áreas ?
> Pergunto especificamente sobre a Studia Logica, o que interessa a todos
> aqui porque é a revista do próximo Proceedings do EBL.
> A Studia Logica está A1 em Computação e em Filosofia mas não aparece em
> Matemática.
>
> Aí eu comentei isso com Darllan aqui na UFBA, e ele me disse que você
> teria dito a ele que casos assim ocorrem porque não teve
> ninguém de Matemática publicando na Studia Logica, mas que quando
> publicasse o procedimento seria ser A1 também.
> É isso mesmo, você confirma essa informação ? Ela está oficial em algum
> lugar ?
>
> Abraços
>
> []s  Samuel
>
>
>
>
>
> --
> *De: *"Hugo Luiz Mariano" 
> *Para: *"Walter Carnielli" 
> *Cc: *"Logica l" , "Francisco Miraglia Neto" <
> mirag...@ime.usp.br>, "Ricardo Bianconi" , "Cc:
> Vinicius C. L." , "Lucia Renato Junqueira" <
> lu...@ime.usp.br>, "Artur Hideyuki Tomita" , "Rogerio
> Augusto dos Santos Fajardo" , "Gabriel Zanetti Nunes
> Fernandes" , "Ana Luiza da Conceição Tenorio" <
> ana.teno...@usp.br>, "Caio de Andrade Mendes" , "José
> Goudet Alvim" , "Juan Ferrer Meleiro" <
> juanmele...@ime.usp.br>, "Fernando Yamauti" ,
> "Thiago Alexandre" , "James Miller Simeão
> Toledo da Silva" , "Kaique Matias de Andrade
> Roberto" , "Kaique Ribeiro Prates Santos" <
> kaique@ime.usp.br>, "Hugo Ribeiro" , "Jean
> Cerqueira Berni" , "Luan Alberto Ferreira" <
> l...@ime.usp.br>, "Mayk Alves de Andrade" ,
> "Alfredo Roque Freire" , "José Siqueira" <
> josev...@gmail.com>, "Valeria de Paiva" ,
> "Rodrigo Figueiredo" , "Rodrigo Freire" <
> freires...@gmail.com>, "Darllan Conceicao Pinto" ,
> "Andreas Brunner" , "Samuel Gomes da Silva" <
> sam...@ufba.br>, "ciro.russo" , "Marcelo Passos" <
> passo...@gmail.com>, "Rodrigo Roque Dias" ,
> "Leandro Aurichi" 
> *Enviadas: *Quarta-feira, 22 de março de 2023 12:31:37
> *Assunto: *Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das
> solicitações no CNPq
>
> Olá Walter e colegas!
>
>
> Realmente o pdf -- que aparentemente será encaminhado ao CA-MA -- tem um
> tom pouco formal.
>
> E como a proposta é baseada em uma utilização o SJR-Scimago, esta
> importa de lá algumas discrepâncias (me avisaram no privado de pelo menos
> uma, na aba da lógica) .
>
> Não sei se há muito o que fazer neste curto espaço de tempo. Mas também
> encaro como um pontapé inicial...
>
> Abraços,
> Hugo
>
> Em qua., 22 de mar. de 2023 às 13:43, Walter Carnielli <
> walte...@unicamp.br> escreveu:
>
>> Olá Hugo,  Cara(o)s toda(o)s:
>>
>>
>> Eu assinei o formulário, estou em princípio de acordo com

[Logica-l] Re: [SBL-Sócios] Eleições SBL -- votação eletrônica

[Hugo Luiz Mariano]

Prezados colegas,

Está se aproximando a data para as eleições da nova diretoria da SBL.
Assim, gostaríamos de colocar que, em continuidade e aprofundamentos com as
ações e iniciativas de gestões anteriores, a nossa chapa defende os
seguintes pontos:

- Seguir na defesa da educação de qualidade e, em particular, das
universidades públicas e gratuitas, que foram alvo de muitos ataques nos
últimos anos.

- Fortalecer e procurar expandir parcerias da SBL com outras sociedades do
Brasil e do exterior como a ASL, SBPC e SBC.

- Seguir empenhados na questão da representatividade em Lógica, em todas as
interpretações possíveis da palavra "representatividade",
nos termos do evento Lógica e Representatividade do Dia Mundial da Lógica
de 2021 (evento organizado em colaboração entre o Coletivo Lógicas
Brasileiras e a SBL).

- Seguir empenhados em fortalecer a área de Lógica dentro da academia,
sobretudo nas comunidades de Computação, Filosofia e  Matemática,
estimulando o ensino da Lógica em cursos e minicursos e apoiando estudantes
e eventos nessas três áreas, na medida da disponibilidade de verbas da SBL.

-  Atualizar,  na página da SBL,  as informações sobre  grupos de pesquisa
nacionais em Lógica e possivelmente disponibilizar informações básicas de
associados a SBL que assim o desejarem.

-  Promover a divulgação  na página da SBL de programas de pós-graduação
com atuação em Lógica, assim como  informações básicas sobre seminários,
cursos, minicursos e eventos no país e no exterior ligados à Lógica.

- Atuar na promoção e criação de minicursos e materiais sobre Lógica
voltados a Extensão Universitária sobretudo voltado  à formação de
professores do ensino
fundamental e médio e a divulgação da Lógica aos estudantes do ensino médio.


Estamos à disposição para maiores detalhamentos se houver membros da
comunidade com alguma dúvida.


Cordialmente,
Os membros da chapa: Elaine Pimentel, Evelyn Erickson, Bruno Lopes, Marlo
Souza, Samuel Gomes e Hugo Mariano

Em seg., 22 de mai. de 2023 às 17:54, Sociedade Brasileira de Lógica via
Socios  escreveu:

> Colegas,
>
> A comissão eleitoral enviará, no dia 31/05/2023, as instruções para a
> votação eletrônica, que ocorrerá no dia 01/06/2023, para a escolha da nova
> Diretoria da Sociedade Brasileira de Lógica, período 2023-2025.
>
> Lembramos que apenas os sócios em dia com a anuidade terão direito a voto.
>
> Atenciosamente,
>
> A Diretoria.
> --
> Sociedade Brasileira de Lógica
> http://sbl.org.br
> ___
> Socios mailing list
> soc...@sbl.org.br
> http://sbl.org.br/mailman/listinfo/socios_sbl.org.br
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqgRd8xq835xL7ZeRDXLgdRPj2rB5EP9HPWt8Up-tdbAag%40mail.gmail.com.

Re: [Logica-l] Re: [SBL-Sócios] Eleições SBL -- votação eletrônica

[Hugo Luiz Mariano]

Cara Itália,

Agradecemos muito sua gentil mensagem!

Abraços,
Os membros da chapa.

Em ter, 30 de mai de 2023 04:21, Itala Maria Loffredo D'Ottaviano <
it...@unicamp.br> escreveu:

> Caros Hugo e demais componentes da chapa:
>
> Vocês contam com meu irrestrito e entusiástico apoio!
>
> Itala
>
> Em qui., 25 de mai. de 2023 às 12:38, Hugo Luiz Mariano <
> hugo...@ime.usp.br> escreveu:
>
>> Prezados colegas,
>>
>> Está se aproximando a data para as eleições da nova diretoria da SBL.
>> Assim, gostaríamos de colocar que, em continuidade e aprofundamentos com as
>> ações e iniciativas de gestões anteriores, a nossa chapa defende os
>> seguintes pontos:
>>
>> - Seguir na defesa da educação de qualidade e, em particular, das
>> universidades públicas e gratuitas, que foram alvo de muitos ataques nos
>> últimos anos.
>>
>> - Fortalecer e procurar expandir parcerias da SBL com outras sociedades
>> do Brasil e do exterior como a ASL, SBPC e SBC.
>>
>> - Seguir empenhados na questão da representatividade em Lógica, em todas
>> as interpretações possíveis da palavra "representatividade",
>> nos termos do evento Lógica e Representatividade do Dia Mundial da Lógica
>> de 2021 (evento organizado em colaboração entre o Coletivo Lógicas
>> Brasileiras e a SBL).
>>
>> - Seguir empenhados em fortalecer a área de Lógica dentro da academia,
>> sobretudo nas comunidades de Computação, Filosofia e  Matemática,
>> estimulando o ensino da Lógica em cursos e minicursos e apoiando estudantes
>> e eventos nessas três áreas, na medida da disponibilidade de verbas da SBL.
>>
>> -  Atualizar,  na página da SBL,  as informações sobre  grupos de
>> pesquisa nacionais em Lógica e possivelmente disponibilizar informações
>> básicas de associados a SBL que assim o desejarem.
>>
>> -  Promover a divulgação  na página da SBL de programas de pós-graduação
>> com atuação em Lógica, assim como  informações básicas sobre seminários,
>> cursos, minicursos e eventos no país e no exterior ligados à Lógica.
>>
>> - Atuar na promoção e criação de minicursos e materiais sobre Lógica
>> voltados a Extensão Universitária sobretudo voltado  à formação de
>> professores do ensino
>> fundamental e médio e a divulgação da Lógica aos estudantes do ensino
>> médio.
>>
>>
>> Estamos à disposição para maiores detalhamentos se houver membros da
>> comunidade com alguma dúvida.
>>
>>
>> Cordialmente,
>> Os membros da chapa: Elaine Pimentel, Evelyn Erickson, Bruno Lopes, Marlo
>> Souza, Samuel Gomes e Hugo Mariano
>>
>> Em seg., 22 de mai. de 2023 às 17:54, Sociedade Brasileira de Lógica via
>> Socios  escreveu:
>>
>>> Colegas,
>>>
>>> A comissão eleitoral enviará, no dia 31/05/2023, as instruções para a
>>> votação eletrônica, que ocorrerá no dia 01/06/2023, para a escolha da nova
>>> Diretoria da Sociedade Brasileira de Lógica, período 2023-2025.
>>>
>>> Lembramos que apenas os sócios em dia com a anuidade terão direito a
>>> voto.
>>>
>>> Atenciosamente,
>>>
>>> A Diretoria.
>>> --
>>> Sociedade Brasileira de Lógica
>>> http://sbl.org.br
>>> ___
>>> Socios mailing list
>>> soc...@sbl.org.br
>>> http://sbl.org.br/mailman/listinfo/socios_sbl.org.br
>>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqgRd8xq835xL7ZeRDXLgdRPj2rB5EP9HPWt8Up-tdbAag%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqgRd8xq835xL7ZeRDXLgdRPj2rB5EP9HPWt8Up-tdbAag%40mail.gmail.com?utm_medium=email&utm_source=footer>
>> .
>>
>
>
> --
> Prof. Dr. Itala M. Loffredo D'Ottaviano
> Full Professor in Logic and the Foundations of Science
> Member and Researcher of the *Centre for Logic, Epistemology and the* *History
> of Science* at the University of Campinas
> Research Fellow of the *Brazilian National Council for Scientific and
> Technological Development*
> Titular Member, *Brazilian Academy of Philosophy* (Rio de Janeiro)
> Emeritus 

Re: [Logica-l] Participação de Sociedades Científicas no PPA Participativo

[Hugo Luiz Mariano]

Prezado João,

Confesso que não conhecia o PPA.

Assim como a Elaine, acredito que a divulgação deste mecanismo é uma ótima
sugestão para a  consideração das sociedades científicas e da SBL em
particular.

Abraços
Hugo Mariano



Em sáb., 15 de jul. de 2023 às 15:30, João Mendes <
mendeslopes.j...@gmail.com> escreveu:

> Nos últimos dias, ganhou força na votação virtual do PPA a proposta de
> "Assegurar um mecanismo anual de reajuste das bolsas de estudo, pesquisa e
> pós-graduação no país e no exterior, usando como referência indicadores que
> possibilitem a recuperação do valor frente a inflação e com ganhos reais ao
> longo do período 2024-2027", formulada por ANPG e ANPEd.
>
> A votação é pela plataforma gov.br e o link dessa proposta é
> https://brasilparticipativo.presidencia.gov.br/processes/programas/f/2/proposals/8275.
> Cada pessoa pode votar em até seis propostas no total, sendo três entre os
> 28 programas oficiais elaborados pelos ministérios do governo federal e
> três elaboradas pela sociedade civil.
>
> A votação segue até amanhã (16), às 22h (horário de Brasília).
> Em segunda-feira, 22 de maio de 2023 às 12:58:29 UTC-3, Elaine Pimentel
> escreveu:
>
>> Boa tarde João,
>>
>> Até onde eu saiba, a SBPC não está engajada no PPA. Acho uma ótima
>> sugestão para a próxima diretoria da SBL.
>>
>> Atenciosamente,
>>
>> On Mon, May 22, 2023 at 5:40 PM João Mendes 
>> wrote:
>>
>>> Alguém tem informações de movimentações das Sociedades Científicas para
>>> participação no PPA Participativo (
>>> https://brasilparticipativo.presidencia.gov.br/)? Procurei algo nas
>>> mídias da SBPC e não encontrei nada. A diretoria da SBL planejou algo?
>>>
>>> Pergunto também porque as plenárias estaduais já começaram (a daqui do
>>> estado ocorre nesta quinta) e queria saber se posso fazer algo a respeito
>>> para além da participação na plataforma virtual.
>>>
>>> Agradeço desde já,
>>>
>>> João Mendes
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>> Lógica 
>>> ---
>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>>> Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>>> envie um e-mail para logica-l+u...@dimap.ufrn.br.
>>> Para ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/803beb78-3a75-41a9-9d5b-cc455d5aa61fn%40dimap.ufrn.br
>>> 
>>> .
>>>
>>
>>
>> --
>> Elaine.
>> ---
>> Elaine Pimentel
>> Associate Professor in Programming Principles, Logic, and Verification
>> Department of Computer Science
>> University College London
>> https://sites.google.com/site/elainepimentel/
>> ---
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0baa9fe4-464e-4167-a4b7-579a4ce16845n%40dimap.ufrn.br
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqjYdPgAEvUFWordLkevUBOWXWy9ogoVpfCE4bsik_Rj6Q%40mail.gmail.com.

[Logica-l] Mensagem inicial da diretoria eleita da SBL (7/2023-6/2025)

[Hugo Luiz Mariano]

Prezad@s colegas,

Desde já pedimos desculpas pelas múltiplas mensagens.

Gostaríamos de agradecer a confiança, e mensagens de apoio recebidas, para
assumirmos esta importante incumbência de  conduzir da Sociedade Brasileira
de Lógica nos próximos 2 anos.

Conforme nossa proposta, gostaríamos de colocar que, em continuidade e
aprofundamentos com as ações e iniciativas de gestões anteriores, a
nossa chapa defenderá os pontos listados abaixo, os quais serão motivos de
mensagens específicas e consultas aos membros de nossa comunidade nas
próximas semanas.

- Fortalecer e procurar expandir parcerias da SBL com outras sociedades do
Brasil e do exterior como a ASL, SBPC, SBC, SBM e SBMAC.

- Seguir empenhados na questão da representatividade em Lógica, em todas as
interpretações possíveis da palavra "representatividade", nos termos do
evento Lógica e Representatividade do Dia Mundial da Lógica de 2021 (evento
organizado em colaboração entre o Coletivo Lógicas Brasileiras e a SBL).

- Seguir empenhados em fortalecer a área de Lógica dentro da academia,
sobretudo nas comunidades de Computação, Filosofia e  Matemática,
estimulando o ensino da Lógica em cursos e minicursos e apoiando estudantes
e eventos nessas três áreas, na medida da disponibilidade de verbas da SBL
(Observação: questões envolvendo verbas, anuidades e gastos fixos para
manutenção da SBL serão colocadas em mensagem a parte, nas próximas
semanas).

-  Atualizar,  na página da SBL,  as informações sobre  grupos de pesquisa
nacionais em Lógica e possivelmente disponibilizar informações básicas de
associados a SBL que assim o desejarem.

-  Promover a divulgação  na página da SBL de programas de pós-graduação
com atuação em Lógica, assim como  informações básicas sobre seminários,
cursos, minicursos e eventos no país e no exterior ligados à Lógica.

- Atuar na promoção e criação de minicursos e materiais sobre Lógica
voltados a Extensão Universitária sobretudo voltado  à formação de
professores do ensino
fundamental e médio e a divulgação da Lógica aos estudantes do ensino médio.


Estamos à disposição para recebermos outras sugestões e possíveis críticas.


Cordialmente,
A diretoria



--
Sociedade Brasileira de Lógica
http://sbl.org.br

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqiu%2Ba%3DFPSyUMj5U-jeRypdGsK3aJyuZRdOLz5eXxApA4w%40mail.gmail.com.

[Logica-l] Fwd: [SBL-Sócios] Fwd: CHAMADO para a luta pela ciência e pela democracia

[Hugo Luiz Mariano]

Prezados colegas,

Desde já pedimos desculpas pelas múltiplas mensagens.

Encaminhamos abaixo um chamado recebido da SBPC para a luta pela ciência e
pela democracia.

O prazo é relativamente curto, mas caso membros da nossa comunidade tenham
possibilidade/disponibilidade para organizar algo referente ao chamado,
seria muito bem vindo.

Atenciosamente,

A diretoria

-- 
Sociedade Brasileira de Lógica
http://sbl.org.br

 Mensagem original 
Assunto: CHAMADO para a luta pela ciência e pela democracia
Data: 16/08/2023 13:00
De: 
Para: 


*Aos presidentes das Sociedades Científicas Afiliadas à SBPC*



Prezados companheiros na luta pela ciência e pela democracia,



Recordo a todos que, por iniciativa da SBPC, mais de cem sociedades,
inclusive muitas das afiliadas à própria SBPC, assumiram a proposta de
realizarmos anualmente um Dia de Luta pela Democracia Brasileira, a ser
celebrado este ano no dia 31 de outubro, data que evoca a primeira
manifestação de rua contra a ditadura militar no período iniciado com o
AI-5.



Para mobilizarmos a sociedade civil, entendemos que a efeméride do dia 7 de
setembro próximo pode e deve ser a grande ocasião para “esquentar os
tambores”. Com esta finalidade, propomos que as sociedades, científicas e
outras, que participarão desta mobilização, realizem entre a segunda-feira,
dia 4, e a sexta-feira, dia 8 de setembro.



Pedimos apenas que evitem o horário entre 14 e 16 horas do dia 6 de
setembro, quando pretendemos promover uma mesa-redonda organizada pela
própria SBPC, sobre o tema Independência: um passado a evocar, um futuro a
efetivar.



Enviaremos nos próximos dias a arte que preparamos para a mobilização,
pedindo que cada sociedade ou ator que organize suas atividades complete o
card com sua sigla e os dados das atividades que promoverá.



Finalmente, é importante comunicar-nos, neste formulário, quais serão suas
atividades, de modo a divulgarmos todas. Para divulgação pela SBPC,
recebemos material até o dia 4 de setembro. Os eventos do dia 7 de setembro
serão divulgados previamente.



Nunca mais deveremos tolerar retrocessos na causa democrática!



Formulário de envio de atividades - https://forms.gle/d5rx5U58EDGMgM2c8



Diretoria da SBPC


-- 
You received this message because you are subscribed to the Google Groups
"Sociedades Afiliadas (todas)" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to scafiliadas+unsubscr...@sbpcnet.org.br.
___

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqg7B2EKG3KmfydW_bYrzH%3DXrXTu99gMvPLE%2BSExFq_Kfw%40mail.gmail.com.

Re: [Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF

[Hugo Luiz Mariano]

Oi Ruy,

Obrigado pela ótima notícia (mesmo sendo disponível com acesso restrito)!
Certamente há muito ouro nestas notas!
Abraços,
Hugo

Em seg., 2 de out. de 2023 às 22:23, Gisele Secco 
escreveu:

> Que notícia maravilinda!
>
> On Mon, Oct 2, 2023 at 1:18 PM Ruy Jose Guerra Barretto de Queiroz <
> r...@cin.ufpe.br> wrote:
>
>> Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF
>> 
>> Le plus grand mathématicien du XXe siècle, qui a vécu en ermite jusqu'à
>> sa mort en 2014, avait commencé à faire don de ses manuscrits à la BnF. Sa
>> famille a poursuivi sa démarche. Ses textes ne seront accessibles qu'aux
>> chercheurs.
>> franceinfo Culture avec AFP
>> France Télévisions - Rédaction Culture
>> Publié le 30/09/2023 18:47
>> Mis à jour le 30/09/2023 18:52
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANSQ7Qh%2BSmGGrYjUPYnd0024%2BC1N4Y7-8wimsPZkfigKc9Kr_Q%40mail.gmail.com
>> 
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADjHNnpvRU%3Dg092vLUz%2B0S_3sYw_1MZE5LTkpDqcgvrpxuq2Zg%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqgmKD2VHVw8iNJuacvnzb9jQ5XK0G2_pAoibBZsxO8a-g%40mail.gmail.com.

[Logica-l] Fwd: [SBL-Sócios] anuidades da SBL e descontos

[Hugo Luiz Mariano]

Prezad@s colegas,

Encaminho mensagem sobre anuidades da SBL e descontos.
Abraços
Hugo Mariano

-- Forwarded message -
De: Sociedade Brasileira de Lógica via Socios 
Date: seg., 22 de jan. de 2024 às 23:11
Subject: [SBL-Sócios] anuidades da SBL e descontos
To: Socios 



Prezados colegas da comunidade brasileira de Lógica,

Desejamos-lhes um ótimo 2024!

Vimos por desta desta, reforçar alguns pontos importantes sobre a
associação a SBL-Sociedade Brasileira de Lógica e quitação das anuidades de
2024 e 2025.

1) O valor da anuidade da SBL para 2024 (e que também será o mesmo para a
anuidade em 2025, ao menos até o próximo EBL, em abril/maio de 2025) é de R$
150,00 para professores/pesquisadores e de R$ 75,00 para estudantes
regularmente matriculados em cursos de graduação ou de pós-graduação.

2) Estudantes associados a SBL com anuidades em dia podem requerer  auxílio
para participação em eventos  da área de Lógica organizados por algum
membro em dia com suas anuidades que tenha proposta aprovada pela diretoria
(chamadas em edital: https://sbl.org.br/pmwiki.php/Main/Apoio).

3) Membros da SBL com anuidade em dia têm direito a 50% de desconto nas
anuidades de  sociedades associadas a SBL,  valendo também a regra
recíproca, conforme https://sbl.org.br/pmwiki.php/Main/AffiliateBR.

4) O comitê organizador do próximo EBL (Encontro Brasieiro de Lógica), a
ocorrer  em São Paulo no próximo ano, em combinação com a diretoria da SBL,
estabeleceu que o valor efetivamente pago de anuidades da SBL
correspondentes aos anos de 2024 e 2025 poderão ser abatidas da taxa de
inscrição do  EBL de 2025, de forma a estimular os colegas  da
comunidade lógica brasileira a se associarem a SBL e a manterem em dia suas
anuidades.


Reforçamos que as instruções para associação a SBL e/ou quitação de
anuidades estão detalhadas em
https://sbl.org.br/pmwiki.php/Main/AffiliateBR


A diretoria da SBL
-- 
Sociedade Brasileira de Lógica
http://sbl.org.br
___
Socios mailing list
soc...@sbl.org.br
http://sbl.org.br/mailman/listinfo/socios_sbl.org.br

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqhG%2BYVmhqinFjmkgUQ5mr1CBq6Aa4djM_ru2CqLx8mbUQ%40mail.gmail.com.

[Logica-l] 2o Encontro USP-UFBA em Lógica e Fundamentos: 21-23 de fevereiro

[Hugo Luiz Mariano]

Car@s colegas,

O IME-USP e o IME-UFBA  são dois dos principais centros de pesquisa em
Lógica e Fundamentos do Brasil sediados em Departamentos de Matemática, e
têm mantido intensas e profícuas trocas:

(i)muitos dos professores desta área do IME-UFBA são doutores pelo
IME-USP;

(ii)  o IME-UFBA tem enviado muitos de seus mestres e bacharéis em
Matemática para realizar seus doutorados no IME-USP;

(iii)   nos últimos  anos têm ocorrido uma colaboração científica crescente
entre membros dos dois departamentos (ou com passagens por estes) na área
de Lógica e Fundamentos, resultando em trabalhos publicados em boas
revistas da área.

Gostaria de divulgar a 2a Edição do  Encontro USP-UFBA em Lógica e
Fundamentos, que ocorrerá em Salvador, 21-23 Fevereiro:
https://sites.google.com/site/1ouspufbalogica/p%C3%A1gina-inicial?authuser=0

A 1a edição ocorreu em abril de 2017, no IME-USP.

Esta edição do evento ocorrerá como parte da  da Semana Temática de Lógica,
Topologia e Teoria dos Conjuntos da UFBA  (19-23 de Fevereiro):
https://sites.google.com/view/semanatematicalogica2024



Cordialmente,
Hugo Mariano,

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqhEXnvL%2Bz-68dnC2QCLSCB-oPSF0q_qVh3_UpKiQ13zPQ%40mail.gmail.com.

[Logica-l] Fw: Semana Temática de Lógica, Conjuntos e Topologia do Programa de Verão do PGMAT e do II Encontro USP-UFBA de Lógica e Fundamentos

[Hugo Luiz Mariano]

Car@s colegas,

Encaminho abaixo mensagem sobre  a  "Semana Temática de Lógica, Conjuntos e
Topologia do Programa de Verão do PGMAT da UFBA" *(19-23 de Fevereiro,
Salvador)*  e o "II Encontro USP-UFBA de Lógica e Fundamentos  da
Matemática"* (21-23 Fevereiro, Salvador).*
Observo que parte das atividades será transmitida.

Cordialmente
Hugo Mariano


**

*É com grande prazer que anuncio e convido a todos os colegas a
participarem da Semana Temática de Lógica, Conjuntos e Topologia do
Programa de Verão do PGMAT e do II Encontro USP-UFBA de Lógica e
Fundamentos da Matemática. Esta edição do Encontro USP-UFBA  é em homenagem
ao prof. Andreas Bernhard Michael Brunner em comemoração ao seu aniversário
de 60 anos.*


*Teremos, na quinta-feira 22/02, às 17h, uma sessão em homenagem aos 60
anos do professor e da sua enorme contribuição nestes últimos 20 anos junto
ao grupo de pesquisa em Lógica e Fundamentos e do nosso Departamento de
Matemática.*

*A Semana Temática de Lógica ocorrerá no Auditório Maria José de Oliveira
de 19 a 23 de fevereiro, e o II Encontro USP-UFBA de Lógica*
*e Fundamentos da Matemática ocorrerá nos dias 21 a 23 de fevereiro, no
mesmo auditório. Maiores detalhes sobre os eventos podem ser encontrados
em:*


*https://sites.google.com/view/semanatematicalogica2024/p%C3%A1gina-inicial
*


*Esperamos contar com a sua presença para tornar este evento ainda mais
significativo.*


*Abaixo segue um resumé da trajetória do prof. Andreas.*

*Andreas Bernhard Michael Brunner  iniciou seus estudos em Matemática no
final de 1984 na Ludwig-Maximilians-Universitat (LMU) em Munique, tendo
interrompido seus estudos em 1985 e 1986 para trabalho civil, em
substituição ao serviço militar. Obteve o Vordiplom em 1988 (com quatro
provas orais, incluindo Análise, Matemática Aplicada e Estatística).  Já
interessado por Lógica Matemática,  estudou Lógica, Teoria dos Conjuntos e
Filosofia Geral na Faculdade de Filosofia da Universidade de Regensburg por
dois semestres. Retornou à LMU em 1989 para retomar os seus estudos em
Matemática, tendo cursado nesse mesmo ano as disciplinas de Lógica
Matemática e Teoria Axiomática dos Conjuntos. Obteve o Hauptdiplom após 13
semestres de estudos em Matemática em 1993, com Diplomarbeit (equivalente
no Brasil à uma dissertação de mestrado, oficialmente reconhecida
posteriormente pela USP) na área de Análise Complexa com várias variáveis.
Em agosto de 1995 foi aceito pelo programa de Doutorado da USP e iniciou
seus estudos de doutoramento sob a orientação do Prof. Dr. Francisco
(Chico) Miraglia. Seu trabalho de pesquisa no doutorado envolvia a Teoria
de Modelos em pré-feixes e feixes (objetos que atraem o interesse de
algebristas, geômetras algébricos e lógicos matemáticos), com destaque para
um Teorema de Omissão de Tipos para feixes sobre espaços topológicos.
Concluiu o seu doutorado no ano 2000 e publicou (em co-autoria com Chico)
um artigo com seu resultado mais importante da tese em 2004, no Logic
Journal of IGPL (Reino Unido). Nos anos de 2001 e 2002 esteve desenvolvendo
um pós-doutorado no CLE da UNICAMP, trabalhando sob a supervisão do Prof.
Dr. Walter Carnielli, e ministrou um curso de Teoria de Modelos para os
estudantes de mestrado do CLE em 2002. Seus trabalhos de pesquisa no CLE
envolveram lógicas intuicionistas com apartness,  lógicas
anti-intuicionistas e paraconsistentes e um artigo com seu trabalho  nessa
época (em co-autoria com Walter) foi publicado no renomado periódico
Journal of Applied Logic (Holanda) em 2005. Ingressou no Departamento de
Matemática da UFBA em 2003 e foi figura fundamental na criação,
desenvolvimento e consolidação do Grupo de Pesquisa em Lógica, Conjuntos e
Topologia, que está ativo até hoje e recentemente organizou o principal
encontro de Lógica do país (EBL Salvador, 2022). Tem atuação destacada no
ensino, ministrando disciplinas nos cursos de graduação em Matemática e em
Ciência da Computação, com produção de material didático. Desde 2003
Andreas orientou 16 trabalhos de iniciação científica, 05 monografias de
graduação e 02 mestrados. Segue ativo na pesquisa, com colaboradores na
UFBA, na USP e no exterior, publicando papers sobre lógicas abstratas,
dualidades e formas categoriais do Axioma da Escolha.  É Professor Titular
do Departamento de Matemática da UFBA desde 2021.*

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqh%3DTxhKPSaiVd%3D2mrDB7mTraRXJPGVDuiQGc7ZFgQT

[Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina

[Hugo Luiz Mariano]

Prezad@s coleg@s,

Dada a importância e gravidade do assunto, tomo a liberdade de encaminhar à
lista de Lógica esta mensagem vinda do professor Renato Janine, presidente
da SBPC.

Abraços
Hugo

-- Forwarded message -
De: Presidência SBPC 
Date: ter., 12 de mar. de 2024 às 16:09
Subject: SBPC - sobre grave situação de C&T na Argentina
To: 


*Aos presidentes das Sociedades Científicas afiliadas à SBPC*



Prezados Colegas,



Envio, anexo, carta enviada no último dia 29 de fevereiro ao Ministro Chefe
de Gabinete, Engenheiro Nicolas Posse, com cópia ao Presidente e membros do
Conselho Diretor do CONICET, sobre a grave situação do Sistema de Ciência e
Tecnologia da Argentina.



Abraços,



Renato Janine Ribeiro

Presidente da SBPC.



-- 
You received this message because you are subscribed to the Google Groups
"Sociedades Afiliadas (todas recadastradas)" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to afiliadas+unsubscr...@sbpcnet.org.br.

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqiL6%2BY98_Txuhw1C-wrcrZO-Vcc%2B%2B%3DE38QLDCO-F_hJQw%40mail.gmail.com.


Of SBPC-044 - ao Ministro NICOLAS POSSE.pdf
Description: Adobe PDF document

Re: [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina

[Hugo Luiz Mariano]

Oi João Marcos,

Sim, infelizmente a  situação de nossos vizinhos é gravíssima.

As manifestações podem ajudar pressionando para a minimizar o problema
orçamentário

A SBL enviou uma carta de apoio há cerca de  semana e a SBPC também já o
fez.

De fato, está havendo, se iniciou neste momento, um "reforço" da SBPC junto
às entidades filiadas sobre estas manifestações de apoio.

Abraços
Hugo

Abraços
Hugo

Em ter., 12 de mar. de 2024 às 17:47, Joao Marcos 
escreveu:

> Importantíssimo, Hugo!  Muito preocupante a situação da ciência
> cis-cis-platina!  Valeria a pena, talvez, a SBL também se manifestar
> oficialmente?
>
> []s, João Marcos
>
> On Tue, Mar 12, 2024, 13:42 Hugo Luiz Mariano  wrote:
>
>> Prezad@s coleg@s,
>>
>> Dada a importância e gravidade do assunto, tomo a liberdade de encaminhar
>> à lista de Lógica esta mensagem vinda do professor Renato Janine,
>> presidente da SBPC.
>>
>> Abraços
>> Hugo
>>
>> -- Forwarded message -
>> De: Presidência SBPC 
>> Date: ter., 12 de mar. de 2024 às 16:09
>> Subject: SBPC - sobre grave situação de C&T na Argentina
>> To: 
>>
>>
>> *Aos presidentes das Sociedades Científicas afiliadas à SBPC*
>>
>>
>>
>> Prezados Colegas,
>>
>>
>>
>> Envio, anexo, carta enviada no último dia 29 de fevereiro ao Ministro
>> Chefe de Gabinete, Engenheiro Nicolas Posse, com cópia ao Presidente e
>> membros do Conselho Diretor do CONICET, sobre a grave situação do Sistema
>> de Ciência e Tecnologia da Argentina.
>>
>>
>>
>> Abraços,
>>
>>
>>
>> Renato Janine Ribeiro
>>
>> Presidente da SBPC.
>>
>>
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "Sociedades Afiliadas (todas recadastradas)" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to afiliadas+unsubscr...@sbpcnet.org.br.
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para acessar essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqiL6%2BY98_Txuhw1C-wrcrZO-Vcc%2B%2B%3DE38QLDCO-F_hJQw%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqiL6%2BY98_Txuhw1C-wrcrZO-Vcc%2B%2B%3DE38QLDCO-F_hJQw%40mail.gmail.com?utm_medium=email&utm_source=footer>
>> .
>>
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqiL1LPBkBCuhD3cFZPXnkdZR%3DaEkm5qD7V-NyQGfUNTSw%40mail.gmail.com.

Re: [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina

[Hugo Luiz Mariano]

Oi Marcos e João Marcos,

Sim, o esforço para divulgação do problema é muito importante nesta
situação: aparentemente, só haveria verba para custear as universidades
argentinas até meados de junho.

Parabéns, Marcos, pelo apoio da SBFA!

Abraços
Hugo

Em ter., 12 de mar. de 2024 às 21:18, Joao Marcos 
escreveu:

> Estão de parabéns SBL e SBFA por se empenharem nesta luta!
>
> Penso que as instituições brasileiras devem fazer o possível ---e o
> impossível!--- para dar uma mão aos colegas argentinos neste momento
> de dificuldade --- que infelizmente replica o que vivemos nestas
> plagas há pouco...
>
> Força,
> Joao Marcos
>
> On Tue, Mar 12, 2024 at 4:48 PM Marcos Silva 
> wrote:
> >
> > Parabéns pela iniciativa, Hugo!
> >
> > A Sociedade Brasileira de Filosofia Analítica (SBFA) também enviou
> recentemente de uma carta de apoio e solidariedade aos acadêmicos
> argentinos.
> >
> > Abraços de Recife,
> > Marcos
> >
> > On Tue, Mar 12, 2024 at 1:55 PM Hugo Luiz Mariano 
> wrote:
> >>
> >> Oi João Marcos,
> >>
> >> Sim, infelizmente a  situação de nossos vizinhos é gravíssima.
> >>
> >> As manifestações podem ajudar pressionando para a minimizar o problema
> orçamentário
> >>
> >> A SBL enviou uma carta de apoio há cerca de  semana e a SBPC também já
> o fez.
> >>
> >> De fato, está havendo, se iniciou neste momento, um "reforço" da SBPC
> junto às entidades filiadas sobre estas manifestações de apoio.
> >>
> >> Abraços
> >> Hugo
> >>
> >> Abraços
> >> Hugo
> >>
> >> Em ter., 12 de mar. de 2024 às 17:47, Joao Marcos 
> escreveu:
> >>>
> >>> Importantíssimo, Hugo!  Muito preocupante a situação da ciência
> cis-cis-platina!  Valeria a pena, talvez, a SBL também se manifestar
> oficialmente?
> >>>
> >>> []s, João Marcos
> >>>
> >>> On Tue, Mar 12, 2024, 13:42 Hugo Luiz Mariano 
> wrote:
> >>>>
> >>>> Prezad@s coleg@s,
> >>>>
> >>>> Dada a importância e gravidade do assunto, tomo a liberdade de
> encaminhar à lista de Lógica esta mensagem vinda do professor Renato
> Janine, presidente da SBPC.
> >>>>
> >>>> Abraços
> >>>> Hugo
> >>>>
> >>>> -- Forwarded message -
> >>>> De: Presidência SBPC 
> >>>> Date: ter., 12 de mar. de 2024 às 16:09
> >>>> Subject: SBPC - sobre grave situação de C&T na Argentina
> >>>> To: 
> >>>>
> >>>>
> >>>> Aos presidentes das Sociedades Científicas afiliadas à SBPC
> >>>>
> >>>>
> >>>>
> >>>> Prezados Colegas,
> >>>>
> >>>>
> >>>>
> >>>> Envio, anexo, carta enviada no último dia 29 de fevereiro ao Ministro
> Chefe de Gabinete, Engenheiro Nicolas Posse, com cópia ao Presidente e
> membros do Conselho Diretor do CONICET, sobre a grave situação do Sistema
> de Ciência e Tecnologia da Argentina.
> >>>>
> >>>>
> >>>>
> >>>> Abraços,
> >>>>
> >>>>
> >>>>
> >>>> Renato Janine Ribeiro
> >>>>
> >>>> Presidente da SBPC.
> >>>>
> >>>>
> >>>>
> >>>> --
> >>>> You received this message because you are subscribed to the Google
> Groups "Sociedades Afiliadas (todas recadastradas)" group.
> >>>> To unsubscribe from this group and stop receiving emails from it,
> send an email to afiliadas+unsubscr...@sbpcnet.org.br.
> >>>>
> >>>> --
> >>>> LOGICA-L
> >>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> >>>> ---
> >>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L"
> dos Grupos do Google.
> >>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> >>>> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqiL6%2BY98_Txuhw1C-wrcrZO-Vcc%2B%2B%3DE38QLDCO-F_hJQw%40mail.gmail.com
> .
> >>
> >> --
> >> LOGICA-L
> >> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> >> ---
> >> Você recebeu essa m

Re: [Logica-l] Re: Newton da Costa [1929-2024]

[Hugo Luiz Mariano]

Uma grande perda para a Lógica brasileira.
Pessoalmente, meu interesse por fundamentos surgiu  assistindo  um vídeo de
uma palestra do prof Newton da Costa  sobre teoria dos conjuntos no IF-USP
em 1988 (ele sempre foi um ótimo comunicador).
Acompanhei os seminários de  fundamentos da matematica que ele organizava
na FFLCH, antes de ir ao IME-USP.
O Newton (e o Hermann) compuseram minha banca de defesa de mestrado em
lógica e categorias.

Com pesar,
Abraços
Hugo Mariano

Em qui., 18 de abr. de 2024 às 00:17, Joao Marcos 
escreveu:

> Obituário publicado pela Filosofia / UFSC:
>
> https://fil.cfh.ufsc.br/nota-de-pesar-newton-carneiro-affonso-da-costa-1929-2024/
>
> JM
>
> On Wed, Apr 17, 2024, 11:24 Joao Marcos  wrote:
>
>> Qual o valor exato das palavras?  Este é aquele momento em que mais
>> sentimos falta delas, e em que mais elas nos faltam.
>>
>> Neste exato momento, vários obituários estão sendo preparados pela
>> comunidade.  Abro aqui na lista um espaço para que os colegas da
>> Lógica possam registrar, como melhor lhes aprouver, suas ternas
>> lembranças e suas homenagens ao mestre da Costa:
>> https://twitter.com/antitheorem/status/1780569310894666211
>>
>> Com pesar,
>> Joao Marcos
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh4PsW%2BnVjszudf3%3DE5EfyrXdnqSJtjv9%2Bg6%3DV%2BYb%2BS4A%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqivOgQFSZ%3DhYhZWjqbti0t-mPZXDAqByhra0p7QRJMNNA%40mail.gmail.com.

Re: [Logica-l] Fwd: livros de Marta Bunge na USP!

[Hugo Luiz Mariano]

Oi Valeria,

Muito obrigado pela divulgação (eu não sabia que já tinha sido publicada) e
pelo empenho em trazer os livros da Profa Marta Bunge no IME-USP!

Esperamos aqui poder  honrar a memória dela, fazendo bom uso de sua ótima
coleção .

Forte abraço
Hugo


Em qua., 22 de mai. de 2024 às 19:57, Valeria de Paiva <
valeria.depa...@gmail.com> escreveu:

> Passando a informacao!
> abs
> Valeria
>
> -- Forwarded message -
> From: Valeria de Paiva 
> Date: Wed, May 22, 2024 at 10:48 AM
> Subject: livros de Marta Bunge na USP!
> To: Teoria das Categorias Brasil <
> teoria-das-categorias-bra...@googlegroups.com>
>
>
> https://www.ime.usp.br/en/professor-marta-bunges-
> personal-library-is-donated-to-the-ime-usp-library/
>
>
> --
> You received this message because you are subscribed to a topic in the
> Google Groups "Teoria das Categorias Brasil" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/d/topic/teoria-das-categorias-brasil/_J0FfzW-hEY/unsubscribe
> .
> To unsubscribe from this group and all its topics, send an email to
> teoria-das-categorias-brasil+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/teoria-das-categorias-brasil/5989d528-c6db-4411-8b67-20f1d797ca19n%40googlegroups.com
> 
> .
> For more options, visit https://groups.google.com/d/optout.
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXuve6%3DRd%3DwhRffWJjAMBHeY%3DEBAOk9P6nZbg5o-kSsY7g%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqg%2BHRbnHzxkwpq3qTdynhdEUZKDQbdF_N0nuhFvUE8vBQ%40mail.gmail.com.

[Logica-l] Fwd: [SBL-Sócios] Nota de profundo pesar (falecimento do Prof. Aldo Figallo Orellano)

[Hugo Luiz Mariano]

Car@s colegas,

Recebemos com grande pesar a notícia do falecimento, ocorrido na
quinta-feira 27 de junho, do Professor Aldo Figallo Orellano, nosso colega
de tantos EBLs.

Especialista em lógica algébrica, desde 2011 Aldo  era professor  na
Universidad Nacional del Sur, Argentina, mesma instituição onde obteve seu
doutorado em Matemática.
Ele foi pós-doutorando da Universidade Estadual de Campinas (2017-2021),
professor Associado Visitante da Universidade Federal do Rio Grande do
Norte (2022-2023) e, desde o ano passado,  desenvolvia um projeto Fapesp
Jovem Pesquisador no IME-USP.


Em nome da Sociedade Brasileira de Lógica, externamos nossas condolências a
seus familiares.

A Diretoria.
-- 
Sociedade Brasileira de Lógica
http://sbl.org.br
___
Socios mailing list
soc...@sbl.org.br
http://sbl.org.br/mailman/listinfo/socios_sbl.org.br

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqgB6d4Y%3DD41AJyTt5Wou%3D6UygvB%3DCSHKni_O%2BWarSFFZg%40mail.gmail.com.

Re: [Logica-l] Melhor paper na Conferência KR2024

[Hugo Luiz Mariano]

Fantástico, Renata!
Meus parabéns!
Grande abraço
Hugo


Em qui., 7 de nov. de 2024 às 01:40, Marcelo Finger 
escreveu:

> Oi Walter.
>
> Se v der uma olhada no anexo da minha primeira msg, vai ver que o nome do
> artigo premiado é "Contractions Based on Optimal Repair", em co-autoria com
> Franz Baader.
>
> A Renata está sim no Vietnam (ou no caminho de volta), não deve ter tido
> tempo para responder emails em um fuso horário oposto ao nosso.
>
> []s
>
>
>
> Em qua., 6 de nov. de 2024 às 16:47, Walter Carnielli 
> escreveu:
>
>>
>> Parabéns Renata!
>> Imagino que foi com este  trabalho  no Vietnam?
>> "Towards Belief Contraction without Compactness"
>>
>> Grande abraço!
>>
>> Walter
>> Em qua., 6 de nov. de 2024 às 10:52, Marcelo Esteban Coniglio <
>> conig...@unicamp.br> escreveu:
>>
>>> Parabéns Renata!!!
>>>
>>> Marcelo
>>>
>>> Em qua., 6 de nov. de 2024 às 08:49, Marcelo Finger 
>>> escreveu:
>>>
 Parabéns a Renata Wassermann ganhou o prêmio de melhor artigo (Ray
 Reiter Best Paper Award) na *International Conference on Principles of
 Knowledge Representation and Reasoning.*

 []s

 --
 Marcelo Finger
  Departament of Computer Science, IME-USP
  http://www.ime.usp.br/~mfinger

>>>
>>  
>>  Walter Carnielli
>> CLE and Department of Philosophy
>> University of Campinas –UNICAMP, Brazil
>>
>> Chapman University, Orange, CA, USA
>>
>> AI2- Advanced Institute for Artificial Intelligence
>> Blog https://waltercarnielli.com/
>>
>> https://www.name-coach.com/walter-carnielli
>>
>
>
> --
> Marcelo Finger
>  Departament of Computer Science, IME-USP
>  http://www.ime.usp.br/~mfinger
>  ORCID: https://orcid.org/-0002-1391-1175
>  ResearcherID: A-4670-2009
>
> Instituto de Matemática e Estatística,
>
> Universidade de São Paulo
>
> Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta conversa, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw1ayretpCyJ9vb%2BP%2Bpu4ZFOTFSQeA2Mh55wX1Sp3n97OQ%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqiMQ8%3DkOuLb90UUa-x0RB0zqL0qzFNKM5iNxKDnMNco5w%40mail.gmail.com.

[Logica-l] Fwd: [SBL-Sócios] Mensagem de Fim de Ano – Sociedade Brasileira de Lógica

[Hugo Luiz Mariano]

-- Forwarded message -
De: Sociedade Brasileira de Lógica via Socios 
Date: ter., 24 de dez. de 2024 às 14:01
Subject: [SBL-Sócios] Mensagem de Fim de Ano – Sociedade Brasileira de
Lógica
To: Socios 


Estimados colegas da Sociedade Brasileira de Lógica,

À medida em que encerramos mais um ano, é com grande alegria e satisfação
que nos dirigimos a cada um de vocês. Este foi um ano de importantes
avanços, diálogos e colaborações que reforçaram o papel central da lógica
na ciência e na educação.

Agradecemos profundamente a todos que se dedicaram para contribuir com os
projetos, eventos e discussões da comunidade ao longo do ano. Juntos,
continuaremos a expandir as fronteiras do conhecimento lógico, promovendo
um ambiente rico em trocas de ideias e inovação.

Que o próximo ano, ano de EBL,  nos traga ainda mais oportunidades para
crescer, aprender e compartilhar.

Desejamos a todos vocês um período de festas repleto de harmonia, alegria e
reflexões inspiradoras, e que o novo ano seja marcado por conquistas
pessoais e acadêmicas.


Com os melhores votos,
Diretoria da Sociedade Brasileira de Lógica
-- 
Sociedade Brasileira de Lógica
http://sbl.org.br
___
Socios mailing list
soc...@sbl.org.br
http://sbl.org.br/mailman/listinfo/socios_sbl.org.br

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqjEu1t%2BdErK%3Debq1RwK83Dm6vfxX4kuw%2Bzc8d1BMB3D3g%40mail.gmail.com.

[Logica-l] Re: EBL 2025: Deadline for submissions: February 3

[Hugo Luiz Mariano]

I'm sorry.
Now follows the corrected version.


[Please distribute, apologies for duplicates]
>
> 
>
> XXI Brazilian Logic Conference (EBL 2025) - Call for Contributions
>
>
> *** DEADLINE APPROACHING, FEBRUARY 3, 2025
>
>
> The Brazilian Logic Conference (EBL) is the main event organized by the
> Brazilian Logic Society (SBL) and has been occurring since 1979. In 2025,
> the 21st edition of EBL will be held from May 12 to May 16 at the city of
> Serra Negra, São Paulo State, preceded by the Logic School from May 9 to
> May 11 at São Paulo City.
>
> We cordially invite submissions of contributed talks, in the form of an
> extended abstract, on the general topics of Logic, including, but not
> limited to:
>
> - Algebraic Logic
>
> - Artificial Intelligence
>
> - Categorical Logic
>
> - Classical and Non-classical Logics
>
> - Computability Theory
>
> - Foundations of Computer Science
>
> - Foundations of Mathematics
>
> - History and Philosophy of Logic
>
> - Model Theory
>
> - Philosophical Logic
>
> - Philosophy of Formal Sciences
>
> - Set Theory
>
> Proposals for contributions are of three kinds, all of which may be
> prepared in English, Portuguese or Spanish:
>
> (A) Talks
>
> In each contributed talk the speaker will have 20 minutes for the oral
> exposition plus 10 minutes for questions and discussion.
>
> (B) Poster
>
> The XXI EBL will also host poster sessions, especially suitable for
> ongoing or early-stage works.
>
> (C) Round tables and small workshops
>
> We encourage the proponents to get in touch with any of the co-chairs of
> the Scientific Committee (Lucia Junqueira, Marcelo Coniglio, and Bruno
> Lopes) for more detailed information on the submission process for such
> kinds of proposals.
>
> Proposals should be prepared according to the LaTeX template available at
>
> https://ebl2025.ime.usp.br/home/call-for-contributions
>
> and have a length of at most 2 pages including type (talk/poster/round
> table/workshop), title, name, affiliation, keywords, and the essential
> bibliography.
>
> The proposal should be submitted via the Google Form available at
>
> https://ebl2025.ime.usp.br/home/call-for-contributions
>
> and both the .pdf and .tex files should be attached.
>
> The deadline for all types of submissions is February 3, 2025.
>
> The Scientific Committee will consider the following criteria in order to
> select the contributions:
> - relevance and importance of the topic,
> - originality,
> - quality of work.
>
> The list of accepted proposals will be announced on February 24, 2025.
>
> At least one author of each accepted abstract must register for presenting
> the work at the meeting. Each given participant may coauthor more than one
> paper, but will only be allowed to present a single talk.
>
> A call for papers for the proceedings of the XXI EBL will be launched
> after the meeting, see
>
> https://ebl2025.ime.usp.br/home/schedule
>
> More information can be found at the website of the Conference:
>
> https://ebl2025.ime.usp.br/home
>
> Marcelo E. Coniglio (Scientific Committee, Chair)
> Lucia R. Junqueira (Scientific Committee, Chair)
> Bruno Lopes (Scientific Committee, Chair)
>
> --
> LOGICA-L
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqgASWd91yxsG7Kb2mEqv%3Db_%2BAqLXh2XMSsmRF7E1215Ww%40mail.gmail.com.

[Logica-l] EBL 2025: Deadline for submissions: February 3

[Hugo Luiz Mariano]

[Please distribute, apologies for duplicates]



XXI Brazilian Logic Conference (EBL 2025) - Call for Contributions


*** DEADLINE APPROACHING, FEBRUARY 3, 2025


The Brazilian Logic Conference (EBL) is the main event organized by the
Brazilian Logic Society (SBL) and has been occurring since 1979. In 2025,
the 21st edition of EBL will be held from May 12 to May 16 at the city of
Serra Negra, São Paulo State, preceded by the Logic School from May 9 to
May 11 at São Paulo City.

We cordially invite submissions of contributed talks, in the form of an
extended abstract, on the general topics of Logic, including, but not
limited to:

- Algebraic Logic

- Artificial Intelligence

- Categorical Logic

- Classical and Non-classical Logics

- Computability Theory

- Foundations of Computer Science

- Foundations of Mathematics

- History and Philosophy of Logic

- Model Theory

- Philosophical Logic

- Philosophy of Formal Sciences

- Set Theory

Proposals for contributions are of three kinds, all of which may be
prepared in English, Portuguese or Spanish:

(A) Talks

In each contributed talk the speaker will have 20 minutes for the oral
exposition plus 10 minutes for questions and discussion.

(B) Poster

The XXI EBL will also host poster sessions, especially suitable for ongoing
or early-stage works.

(C) Round tables and small workshops

We encourage the proponents to get in touch with any of the co-chairs of
the Scientific Committee (Lucia Junqueira, Marcelo Coniglio, and Bruno
Lopes) for more detailed information on the submission process for such
kinds of proposals.

Proposals should be prepared according to the LaTeX template available at

https://ebl2025.ime.usp.br/home/call-for-contributions

and have a length of at most 2 pages including type (talk/poster/round
table/workshop), title, name, affiliation, keywords, and the essential
bibliography.

The proposal should be submitted via the Google Form available at

https://ebl2025.ime.usp.br/home/call-for-contributions

and both the .pdf and .tex files should be attached.

The deadline for all types of submissions is January 31, 2025.

The Scientific Committee will consider the following criteria in order to
select the contributions:
- relevance and importance of the topic,
- originality,
- quality of work.

The list of accepted proposals will be announced on February 21, 2025.

At least one author of each accepted abstract must register for presenting
the work at the meeting. Each given participant may coauthor more than one
paper, but will only be allowed to present a single talk.

A call for papers for the proceedings of the XXI EBL will be launched after
the meeting, see

https://ebl2025.ime.usp.br/home/schedule

More information can be found at the website of the Conference:

https://ebl2025.ime.usp.br/home

Marcelo E. Coniglio (Scientific Committee, Chair)
Lucia R. Junqueira (Scientific Committee, Chair)
Bruno Lopes (Scientific Committee, Chair)

--
LOGICA-L

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqjy0JwHi%2BrY36TqNd%3DxF7k3T2AXr1BjO6NddB8nzvq%3D9g%40mail.gmail.com.

Re: [Logica-l] Claus Akira Matsushigue (1965-2024)

[Hugo Luiz Mariano]

Uma  grande tristeza ele desaparecer ainda tão jovem. Claus era uma grande
figura,  um bom amigo e colega de décadas.
Abraços
Hugo

Em qua., 11 de dez. de 2024 às 11:10, Ana Teresa  escreveu:

> Que triste notícia! Meus sentimentos a toda a família! Sua presença ficará
> em nossos corações ❤️
>
>
>
> Em qua., 11 de dez. de 2024, 03:42, Walter Carnielli 
> escreveu:
>
>> Que tristeza,o Claus tão de bem com a vida !
>>
>> Como é que pode a vida terminar assim até para uma pessoa tão de boa?
>>
>> Meus sinceros sentimentos!
>> Walter
>>
>> Em ter., 10 de dez. de 2024 18:53, 'Samuel Gomes da Silva' via LOGICA-L <
>> logica-l@dimap.ufrn.br> escreveu:
>>
>>> Caros,
>>>
>>> Com dor no coração informo que o colega e amigo Claus Akira Matsushigue
>>> faleceu hoje de manhã em Brasília, aos 59 anos de idade.
>>>
>>> Conforto aos familiares e amigos.
>>>
>>> []s Samuel
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>> Lógica 
>>> ---
>>> Você está recebendo esta mensagem porque se inscreveu no grupo
>>> "LOGICA-L" dos Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> Para ver esta conversa, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1082567979.9745556.1733885632265.JavaMail.zimbra%40ufba.br
>>> .
>>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver esta conversa, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLdW%3DGDy7UBTvgZJ1K1P92x7MNjn5vxDsFf-8dEpz6qHTA%40mail.gmail.com
>> 
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta conversa, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMEDXu1RjFbYZ%2BcDRp19XWn2QsCm1kqy6HCrQNj3jseF1Vgx2w%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqgFFjh6tycKe086a7Aaeq8qr6V2L3Cn%2BCS05LiAcZbdtA%40mail.gmail.com.

[Logica-l] Fwd: [Diretoria-SBL] Esclarecimentos sobre o Prêmio Newton da Costa

[Hugo Luiz Mariano]

-- Forwarded message -
De: Sociedade Brasileira de Lógica via Diretoria 
Date: dom., 30 de mar. de 2025 às 14:10
Subject: [Diretoria-SBL] Esclarecimentos sobre o Prêmio Newton da Costa
To: Socios , Diretoria 
Cc: Sociedade Brasileira de Lógica 


Prezados colegas,



Em  5 de março do ano corrente, foi enviada uma sucinta mensagem com o
título “Cancelamento da edição de 2024 do Prêmio de Lógica Newton da Costa”
,  que continha uma frase que não refletia completamente a complexidade do
ocorrido nesta edição de 2024 do PNC, a primeira sem a presença do
professor Newton da Costa, por nela não destacar a extrema dificuldade de
se constituir uma banca para avaliar os dois artigos submetidos (um deles
foi de fato retirado, em fins de fevereiro).


A diretoria da SBL se reuniu no dia 27 de março para debater o PNC, desde a
questão específica sobre o recém ocorrido   e perspectivas futuras do
prêmio. Em particular, haviam 2 propostas sobre o encaminhamento do PNC em
2025, pós cancelamento.


A posição majoritária referente a esta questão foi pelo rápido relançamento
de um novo edital, com julgamento e divulgação do resultado pouco antes ou
durante o 21o EBL, abrindo assim espaço para que na assembleia geral da SBL
(em 15 de maio), sejam debatidas entre os sócios questões mais estruturais
referentes a SBL e, em especial, ao futuro do PNC.


 Cordialmente,

A diretoria da SBL
-- 
Sociedade Brasileira de Lógica
http://sbl.org.br
___
Diretoria mailing list
direto...@sbl.org.br
http://sbl.org.br/mailman/listinfo/diretoria_sbl.org.br

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqiTmxAAZFiWCnu88bXR%3D7Xi6BS1uMmQMAXzRNYff1LsiA%40mail.gmail.com.

[Logica-l] Fwd: [SBL-Sócios] Chamada para o Prêmio Newton da Costa 2024/25

[Hugo Luiz Mariano]

-- Forwarded message -
De: Sociedade Brasileira de Lógica via Socios 
Date: seg., 31 de mar. de 2025, 17:12
Subject: [SBL-Sócios] Chamada para o Prêmio Newton da Costa 2024/25
To: Socios 


Colegas,

A SBL tem o prazer de anunciar a chamada para o Prêmio Newton da Costa
2024/25. O(s) artigo(s) vencedor(es) será(ão) divulgado(s) na cerimônia de
premiação, a ser realizada no EBL 2025.

O Prêmio Newton da Costa homenageia a carreira acadêmica e as contribuições
científicas e filosóficas originais do Prof. Newton da Costa, membro
fundador e primeiro presidente da SBL. Newton da Costa é um dos criadores
das lógicas paraconsistentes. A magnitude e o impacto de seu trabalho fazem
dele um dos cientistas brasileiros mais reconhecidos, citados e
homenageados no mundo.

O prêmio teve cinco edições: 2015, 2016, 2018, 2021 e 2022. Com o lançamento da
edição de 2024/25, a SBL busca dar continuidade a este evento e, em última
instância, promover o desenvolvimento da Lógica no Brasil.

ELEGIBILIDADE

-

O Prêmio visa distinguir pelo menos um artigo inédito no amplo campo da
Lógica.

Não há restrição de idade, gênero ou nacionalidade, mas pelo menos uma
pessoa autora do artigo submetido deve ser pesquisadora residente no
Brasil, estar afiliada a uma universidade (ou outra instituição de ensino)
no país e ser associada à SBL.

Membros da Diretoria da SBL e membros da comissão organizadora/julgadora do
Prêmio Newton da Costa não são elegíveis.

ORGANIZAÇÃO

—---

A diretoria da SBL indica a comissão organizadora do Prêmio Newton da
Costa, que, por sua vez, nomeia a comissão julgadora. A comissão
organizadora tem total autonomia em seus atos e decisões.

JULGAMENTO

--

O comitê julgador, independente do comitê organizador e nomeado por este,
será composto por três especialistas de reconhecida competência na área,
sem conflitos de interesse com as pessoas autoras dos artigos submetidos.

O prêmio será concedido à pessoa ou equipe autora do(s) artigo(s) que, na
avaliação do comitê, apresentar a melhor qualidade científica. O comitê
poderá decidir não conceder o prêmio caso considere que nenhum dos artigos
submetidos possui qualidade científica adequada.

CONTEÚDO E FORMATO

---

Não serão aceitos para avaliação artigos já publicados ou aceitos para
publicação. Antes de submeter o artigo, a pessoa ou equipe autora deve
verificar se um trabalho substancialmente semelhante não foi publicado em
outro lugar.

O artigo pode abordar qualquer tema relevante para a Lógica, podendo ser
teórico ou prático, relatar um trabalho explorado em profundidade e conter
referências apropriadas às fontes e documentação das afirmações feitas.

O artigo deve ter entre 10 e 30 páginas, ser escrito em inglês ou
português, de acordo com o modelo fornecido aqui:
http://ebl2021.ufba.br/assets/files/latex_template.tex

O artigo deve ser preparado para revisão anônima.

Os artigos devem ser submetidos pelo endereço: premio.ndc.sbl.2...@gmail.com
.

Artigos submetidos para a edição 2024 que expressarem o interesse em
continuar concorrendo estão automaticamente submetidos, não havendo
necessidade de re-submissão.

PRAZOS

--

O prazo para submissão é **13 de abril de 2025**.

O resultado do prêmio será anunciado durante o 21º EBL.

PREMIAÇÃO

—---

Além do reconhecimento honorífico, o prêmio inclui um apoio financeiro de
mil reais, concedido pela SBL, e a oportunidade de submeter o(s) artigo(s)
premiado(s) para publicação nos anais do 21º Encontro Brasileiro de Lógica
(EBL), que ocorrerá em 2025. Caso haja mais de um artigo premiado, o valor
será dividido entre os vencedores.

Casos omissos serão julgados pela Diretoria da SBL.


Comissão Organizadora:

Jorge Petrúcio Viana  – Presidente

Bruno Lopes – 1o. Vice-Presidente

Elaine Pimentel – 2o. Vice-Presidente
-- 
Sociedade Brasileira de Lógica
http://sbl.org.br
___
Socios mailing list
soc...@sbl.org.br
http://sbl.org.br/mailman/listinfo/socios_sbl.org.br

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqhtfDzcKgsxxo0hUOxH4MJqEarEW948VEGgdWe1%3Dkkhug%40mail.gmail.com.

[Logica-l] Programa do EBL 2025

[Hugo Luiz Mariano]

Caros colegas,

O programa do 21o-EBL (12-16 de maio, Serra Negra-SP) está disponível em
https://ebl2025.ime.usp.br/home/program

Atenciosamente
Hugo Mariano

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqhf6AEPY7_qoYytr3L2JHfBAOqCQD9BV55FuUX-NzaNiw%40mail.gmail.com.

[Logica-l] EBL2025: finalização do prazo para registro com desconto

[Hugo Luiz Mariano]

Car@s colegas,

Escrevo-lhes para lembrá-los que o prazo para registro  com desconto para
participação  no EBL (12-16 de maio, Serra Negra) se encerra em 2 dias (15
de março).

Os detalhes estão em:
https://ebl2025.ime.usp.br/home/registration

Por favor, encaminhem a possiveis interessados.

Observação: para a participação na Escola de Lógica (9-11 de maio, São
Paulo) é necessário realizar uma inscrição (sem custos) até 10 de abril,
em: https://ebl2025.ime.usp.br/home/logic-school


Abraços
Hugo Mariano

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqizye6HuH040DsUsyxZ_hXzc%3DdF8cJFo%2BKKjE7R%2BvkG5Q%40mail.gmail.com.

[Logica-l] Cancelamento da edição de 2024 do Prêmio de Lógica Newton da Costa

[Hugo Luiz Mariano]

Caros colegas,

Após discussão da atual Comissão Organizadora e a Diretoria da SBL, comunicamos
que o Prêmio de Lógica Newton da Costa 2024 não teve um número suficiente
de candidaturas que justificasse a formação de uma banca e o subsequente
julgamento para a desejada atribuição do prêmio.

A Assembleia Geral da Sociedade Brasileira de Lógica, que ocorrerá no XXI
Encontro Brasileiro de Lógica (SBL 2025), a ser realizado entre 12 e 16 de
maio, em Serra Negra, SP, deliberará sobre aspectos do regulamento e
futuras edições do prêmio.

Em 5 de março de 2025,

Comissão do Prêmio NdC 2024

Diretoria da Sociedade Brasileira de Lógica

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqhGBGqZik12E-%3D1nbRCQ_0hSc%3DGCXLWd767FKXAepWDWQ%40mail.gmail.com.

[Logica-l] Fwd: [Diretoria-SBL] Sobre os pedidos de auxílio da SBL para participação de estudantes no EBL

[Hugo Luiz Mariano]

-- Forwarded message -
De: Sociedade Brasileira de Lógica via Diretoria 
Date: ter., 11 de mar. de 2025 às 19:07
Subject: [Diretoria-SBL] Sobre os pedidos de auxílio da SBL para
participação de estudantes no EBL
To: Socios , Diretoria 
Cc: Sociedade Brasileira de Lógica 


Prezados,

A SBL torna pública as instruções para pedidos de apoio da SBL a
estudantes, visando participação no próximo EBL em Serra Negra:
https://sites.google.com/ime.usp.br/ebl2025/home/student-support

O deadline para inscrição é 28 de março, e os estudantes serão notificados
até 10 de abril.

Os estudantes devem ter uma comunicação aceita no EBL e serem associados à
SBL para fazerem o pedido de apoio.

Atenciosamente,
*A diretoria*
-- 
Sociedade Brasileira de Lógica
http://sbl.org.br
___
Diretoria mailing list
direto...@sbl.org.br
http://sbl.org.br/mailman/listinfo/diretoria_sbl.org.br

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqh-xxxOOGw%2Bo-E9r7Q25-0F%2BVxyrAuPG_99J90GhL-Vww%40mail.gmail.com.

[Logica-l] possibilidade de auxilio a estudantes para participação no EBL

[Hugo Luiz Mariano]

Prezados colegas e estudantes,

Por favor, encaminhem a possíveis interessados a possibilidade de auxílio
 a estudantes para participação no EBL, conforme descrito na página
https://ebl2025.ime.usp.br/home/student-support

Observo que o deadline para a solicitação se encerra na próxima
sexta-feira, dia 28 de março.

Cordialmente
Hugo Mariano

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqj-O8FNX7s0ksUF%2B3oDstqkbyQKKpX%2BUVckXnmiJY9HVQ%40mail.gmail.com.

[Logica-l] Fwd: [Diretoria-SBL] A SBL lamenta o falecimento do matemático Jacob Palis, ex-presidente da Academia Brasileira de Ciências

[Hugo Luiz Mariano]

-- Forwarded message -
De: Sociedade Brasileira de Lógica via Diretoria 
Date: qui., 8 de mai. de 2025 às 17:11
Subject: [Diretoria-SBL] A SBL lamenta o falecimento do matemático Jacob
Palis, ex-presidente da Academia Brasileira de Ciências
To: Socios , Diretoria 
Cc: Sociedade Brasileira de Lógica 


Caros colegas,


A Sociedade Brasileira de Lógica (SBL) registra, com profundo pesar, o
falecimento
do matemático brasileiro Jacob Palis, ocorrido em 07 de maio de 2025, aos
85 anos de idade.


Ex-presidente da Academia Brasileira de Ciências (ABC) e ex-diretor do
Instituto
de Matemática Pura e Aplicada (IMPA), Jacob Palis foi um dos mais
destacados cientistas do país e um dos matemáticos brasileiros mais
reconhecidos internacionalmente.


A SBL se solidariza com os familiares, amigos e todos aqueles que tiveram o
privilégio de conhecer o cientista brilhante que Jacob Palis foi, e cujo
legado permanecerá vivo entre nós.


A diretoria da SBL
-- 
Sociedade Brasileira de Lógica
http://sbl.org.br
___
Diretoria mailing list
direto...@sbl.org.br
http://sbl.org.br/mailman/listinfo/diretoria_sbl.org.br

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqhZ65iAgTyyg9apDyx%3DMqWv_Xtkwe_OWALk5EF_PAX%3DMw%40mail.gmail.com.