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:
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
---
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
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