João e demais:

Vocês conhecem o sistema csindexbr (DCC/UFMG)?

https://csindexbr.org/

Lá Lógica e Métodos Formais estão na mesma classificação.

Sobre

> O WoLLIC já está lá.  Incluirei o LSFA na lista, mas me parece que
> será difícil ele contar como uma das "20 melhores conferências" da
> nossa área.

concordo com o Mauricio e Hermann: não adianta muito incluir LICS e
excluir LSFA, porque raramente alguém submete algo ao LICS. Acaba
sendo irrealista :-/

Você pode sempre colocar na lista, certo?

Abraços,
-- 
Elaine.
-------------------------------------------------
Elaine Pimentel  - DMAT/UFRN

Address: Departamento de Matemática
    Universidade Federal do Rio Grande do Norte
    Campus Universitário - Av. Senador Salgado Filho, s/nº
    Lagoa Nova, CEP: 59.078-970 - Natal - RN

Phone: +55 84 3215-3820

http://sites.google.com/site/elainepimentel/
Lattes: http://lattes.cnpq.br/3298246411086415
--------------------------------------------------------

-- 
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/CAHQVs%2BVeW9Zhtdf7_3PdedztFJc6_2PcNRZYVKWUdOu-m42T%3Dw%40mail.gmail.com.

Responder a