Joao Marcos writes: > A mensagem encaminhada abaixo, do comitê de CC da CAPES, pode ser do > interesse de vários colegas desta lista. > > Vale notar que os eventos da área de Lógica em sua maioria > desapareceram da qualis-ficação proposta para 2015, ao mesmo tempo em > que entraram pela primeira vez outros eventos jovens e praticamente > inexpressivos. Confiram a seguir a "lista provisória" que já passou > por várias rodadas de acerto e vai ser divulgada em breve: > http://qualis.ic.ufmt.br/
Essa lista é bem menor do que a do Qualis-CC 2012: https://www.capes.gov.br/images/stories/download/avaliacao/Comunicado_004_2012_Ciencia_da_Computacao.pdf Tem tipo metade das entradas. Isso me faz imaginar que essa lista não pode estar completa? Não tem eventos como CAV e TACAS... sem falar em quase qualquer coisa que envolva automated reasoning, como as conferências que JM citou. -- Haniel Barbosa https://members.loria.fr/HBarbosa/ -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87efxv5s1i.fsf%40gmail.com.
