Sim^2
Todavia, se quisermos que a ABC "reconheca" a area de Logica,
Deveriamos (SBL) ter uma presenca forte na SBPC -- e Nao a temos.
Mea Culpa: Nao vou a uma reuniao da SBPC ha seculos,
salvo uma participacao esporadica e remota em uma mesa redonda
organizada pela Elaine
Pimentel e coordenada pelo Cassiano,
com participacao de Evandro e da Itala, na SBPC de 2022.
Acho que deveriamos (SBL) ter uma participacao forte e regular na SBPC.
Eh bom para divulgar a area de Logica e estimular interacoes com outras areas.
Quanto a importancia do "reconhecimento" pela ABC, tenho minhas duvidas.
Obte-lo (i.e. eleger alguns membros da SBL na ABC) vai dar um trabalhao,
mas a importancia disto (melhor dito, a real utilidade) me parece questionavel.
Notem que a area de Computacao, muito maior e mais forte que nos, penou
muito ate eleger alguem na ABC, com direito a brigas e dramas no caminho.
Mas Porque Nao? -
Porque Nao?! (Caetano Veloso - Alegria, Alegria).
Para o que for preciso, contem comigo;
Tudo de bom, ---Julio Stern