Re: [Logica-l] re-Qualis-ficação de Conferências ligadas à Lógica na área de Computação

2011-12-13 Por tôpico ana
Prezados: Excelente trabalho, João Marcos, para a nossa comunidade de Lógica Computação. Vamos torcer que o trabalho do Marcelo e o Maurício junto às Comissões Especiais de Inteligência Artificial e Circuitos (não seria Métodos Formais?) tragam bons resultados. []s Ana [URGENTE] PessoALL:

[Logica-l] Qualis em Lógica Computacional

2011-12-13 Por tôpico Mauricio Ayala-Rincon
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

[Logica-l] XV SLALM - First Announcement

2011-12-13 Por tôpico samuel
--- FIRST ANNOUNCEMENT The 15th Latin American Symposium on Mathematical Logic,SLALM2012, will be held in Bogota, Colombia, during the week of June 4 to 8, 2012. The first SLALM (Simposio Latinoamericano de Lógica Matemática) was

Re: [Logica-l] re-Qualis-ficação de Conferências ligadas à Lógica na área de Computação

2011-12-13 Por tôpico Joao Marcos
2011/12/13 Valeria de Paiva valeria.depa...@gmail.com: Faco coro aos parabens da Ana e aproveito pra perguntar se tem alguma coisa especifica que seja necessaria fazer... Valeria Sugerir novas conferências a acrescentar? (a lista completa considerada atualmente pelo Comitê de Área consta do