Prezados,
como já apontado por diversos colegas nesta lista, a área de lógica
computacional
(e fundamentos da computação) está em desvantagem perante o CA de Computação
da CAPES. Dessa forma, além do levantamento da lista de conferencias é
necessário,
que estas sejam indicadas em diversos CAs. É importante que membros de
Comissões Especiais da SBC em áreas como Métodos Formais e outras similares,
também manifestem a necessidade de incluir conferências da área nas
listas destas
comissões.
Por outra parte, é essencial o enriquecimento da lista originada pelo
João Marcos
com outras publicações/conferências, que vocês considerem pertinentes para
a área.
Nota: as que não podem faltar são aquelas nas quais membros da comunidade
de lógica computacional publicaram ou estarão publicando durante o triénio
2010-2012 em avaliação.
Grande abraço,
Mauricio Ayala Rincón
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l