Demanda da CAPES à SBC: Conferências da área de Lógica

[Joao Marcos]

PessoALL:

A CAPES solicitou a cada uma das Comissões Especiais da Sociedade
Brasileira de Computação que listasse as 20 melhores conferências de
sua área (deadline: 22/07). Vale recordar que *não* há uma CE da área
de Lógica --- área esta, portanto, que não está nem nunca esteve
formalmente representada na SBC.

Preparei uma lista rápida a partir de coleções de conferências que
havíamos construído há vários anos, divulgadas nesta lista, e
atualizei-a com dados recentes do Google Metrics e do CORE 2018, em
todos os casos em que eu os encontrei:
https://docs.google.com/spreadsheets/d/1LGyI6Li8T2PxXy7DKvVfsPeX_DguHH_h9l2CyvVGkGM/
As 22 conferências que constam nesta planilha estão listadas em ordem
decrescente de h-index do Qualis (coluna "Comentário"). As duas
últimas colunas, que dizem respeito ao CORE, não fazem parte da
planilha original circulada pela SBC.

Todas as conferências da supra-mencionada planilha pertencem ao grupo
de "Formalismos, Lógica, Semântica da Computação". Permitam-me
observar que também há conferências tradicionais e importantes com
tópicos da área de Lógica nos grupos de "Algoritmos e Teoria da
Computação" (como o FOCS), de "Linguagens de Programação" (como o
FLOPS), de "Engenharia de Software, Métodos Formais" (como o CAV), de
"Inteligência Artificial" (como o JELIA), e de "Processamento de
Linguagem Natural" (como o IWCS). Quero crer, contudo, que as
conferências nativas destes grupos já estão sendo levadas em
consideração pelas correspondentes CEs da SBC.

Se algum dos colegas quiser ajudar a editar algo nesta planilha, é só
me dar um toque.

Abraços,
Joao Marcos

--
http://sequiturquodlibet.googlepages.com/

[Haniel Barbosa]

Oi JM,

Joao Marcos writes:

> PessoALL:
>
> A CAPES solicitou a cada uma das Comissões Especiais da Sociedade
> Brasileira de Computação que listasse as 20 melhores conferências de
> sua área (deadline: 22/07).

Como que pesquisadores interessados em chamar a atenção da SBC a
conferências importantes da sua área devem proceder? Me parece que sua
ideia é mandar essa lista pra alguma dessas comissões especiais ou
algo assim?

> [...]

>
> Quero crer, contudo, que as conferências nativas destes grupos já
> estão sendo levadas em consideração pelas correspondentes CEs da
> SBC.

No qualis de 2016 da CAPES,

http://capes.gov.br/images/documentos/Qualis_periodicos_2016/Qualis_conferencia_ccomp.pdf

as conferências mais importantes de verificação formal, CAV e TACAS,
simplesmente não são listadas (eram A1 no qualis-CC de 2012), então eu
teria menos fé nessas CEs. :)

Abraços,
--
Haniel Barbosa
http://homepage.divms.uiowa.edu/~hbarbosa/

[Joao Marcos]

Viva, Haniel:

> > A CAPES solicitou a cada uma das Comissões Especiais da Sociedade
> > Brasileira de Computação que listasse as 20 melhores conferências de
> > sua área (deadline: 22/07).
>
> Como que pesquisadores interessados em chamar a atenção da SBC a
> conferências importantes da sua área devem proceder? Me parece que sua
> ideia é mandar essa lista pra alguma dessas comissões especiais ou
> algo assim?

Receio que não haja um procedimento claro... Uma colega que faz parte
da CE de *Algoritmos, Combinatória e Otimização* se ofereceu contudo
para encaminhar diretamente para a CAPES a lista que "os lógicos"
prepararem.

> > Quero crer, contudo, que as conferências nativas destes grupos já
> > estão sendo levadas em consideração pelas correspondentes CEs da
> > SBC.
>
> No qualis de 2016 da CAPES,
>
> http://capes.gov.br/images/documentos/Qualis_periodicos_2016/Qualis_conferencia_ccomp.pdf
>
> as conferências mais importantes de verificação formal, CAV e TACAS,
> simplesmente não são listadas (eram A1 no qualis-CC de 2012), então eu
> teria menos fé nessas CEs. :)

Mas então é este o momento para fazer lobby diretamente junto ao
pessoal da CE de Métodos Formais!