Viva, Mauricio: > minha sugestão é que sejam incluídas nessa lista das 20+, > tanto WoLLIC quanto LSFA,
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. > como procedimento normal de > cada comissão (SBMF, SBCC, etc para comissões como MF e CD). Não estou seguro de que este seja o "procedimento normal", neste caso. > Por outra parte, conferências como CADE, IJCAR, ITP, NASA Formal Methods, > CPP, etc seguramente estão sendo consideradas e incluídas por comissões > aparte como a Comissão de Métodos Formais. Eu não tenho esta informação por parte das outras comissões... > Devemos ponderar se é > o caso de serem incluídas também na lista de Formalismos, Lógica e > Semântica. Sim, no final teremos que escolher 20 conferências apenas. > Quanto à RTA (e TLCA) essas duas conferências foram sucedidas por > FSCD, que já entra na sua quinta edição. Minha sugestão é que seja > incluída FSCD em troca da já extinta RTA. Bem lembrado. Você teria os dados do FSCD para inclusão na planilha? Abraços, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh98vZ7cJR1_Pg2n1UU6oL5WYX2iB_T%3DNWDQ%3DU_SWn_0A%40mail.gmail.com.
