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 documento de área que mencionei) Abraços, Joao Marcos > 2011/12/13 <a...@lia.ufc.br>: >> 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: >>> >>> Talvez alguns de vocês já saibam, mas o Comitê Assessor da área de >>> Ciência da Computação decidiu de forma inédita e inopinada este ano >>> descentralizar para as Comissões Especiais da Sociedade Brasileira de >>> Computação o direito de opinar sobre a inclusão de novas conferências >>> (a serem qualis-ficadas) no documento de área de CC. Dois detalhes >>> importantes: [1] a Lógica não tem uma CE na SBC (pois a própria SBC >>> não nos permitiu até agora criar uma, com a desculpa de que eles estão >>> procedendo a uma grande reorganização interna em torno de "grandes >>> áreas da computação", e que é preciso esperar indefinidamente); [2] o >>> deadline para envio de sugestões pelas CEs é o dia 19 de dezembro >>> (dentro de exatamente uma semana, portanto). >>> >>> Alguns de vocês se lembrarão de uma planilha de conferências que >>> construÃmos exatamente com este objetivo (sugestões de >>> qualis-ficação), em 2007 por ocasião do "perfil-cc" feito pela UFMG >>> (http://www.dimap.ufrn.br/pipermail/logica-l/2010-August/005037.html). >>> Pois bem. Foi doloroso, mas acabei de atualizar cuidadosamente cada >>> célula desta planilha (vale notar que nossa planilha foi de fato >>> levada em consideração, na atualização do Qualis que se seguiu, embora >>> vários dos julgamentos classificatórios feitos pelo CA-CC tenham >>> destoado dos julgamentos que os próprios membros da nossa área >>> propuseram), já incluindo algumas sugestões de classificação (que não >>> foram solicitadas), levando em consideração entre outras coisas o >>> ranking CORE feito na Austrália. A coisa agora ficou assim: >>> >>> http://goo.gl/OlhcN >>> >>> As principais mudanças com relação ao que divulguei em 2007, >>> comparando com o último e atual Qualis (fotografado em agosto de 2010) >>> são as seguintes: >>> >>> >>> (1) Eventos a acrescentar ao documento de área, e qualis-ficar >>> >>> (1.1) CiE-CS : Computability in Europe >>> >>> (1.2) FST&TCS : Conference on Foundations of Software Technology and >>> Theoretical Computer Science >>> >>> (1.3) ITP : Interactive Theorem Proving >>> (dá continuidade ao tradicional TPHOL) >>> >>> (1.4) LSFA : Workshop on Logical and Semantic Frameworks, with >>> Applications >>> >>> (1.5) RULEML : International Symposium on Rules >>> >>> >>> (2) Eventos a remover do documento de área >>> >>> (2.1) ICTL : International Conference on Temporal Logic >>> (descontinuado) >>> >>> (2.2) TPHOLs : International Conference on Theorem Proving in Higher >>> Order Logics >>> (continuado como ITP) >>> >>> >>> (3) Abreviatura a consertar >>> >>> (3.1) LCC : International Workshop on Logic and Complexity in Computer >>> Science >>> (aparece como LCCS) >>> >>> >>> (4) Evento extremamente mal qualis-ficado, sem explicação plausÃvel, >>> indo de encontro à percepção da comunidade e à avaliação >>> internacional >>> >>> (4.1) WoLLIC : Workshop on Logic, Language, Information and Computation >>> >>> >>> Pode ser que alguma coisa tenha sido esquecida e que estas sugestões >>> de re-qualis-ficação sejam conservadoras.  Mas submeto o resultado das >>> atualizações acima para apreciação e comentários (desde que enviados >>> até nesta 6a-feira!) de vocês. O resultado final deste trabalho será >>> apresentado ao CA-CC por Marcelo Finger e MaurÃcio Ayala através das >>> CEs de Inteligência Artificial e de Circuitos. >>> >>> Para saber mais sobre o documento de área de CC (onde consta a lista >>> classificatória das conferências da área, que de fato não faz parte do >>> Qualis, mas afeta igualmente nossos pedidos de financiamento e as >>> avaliações que recebemos) e seus critérios muitas vezes abstrusos, só >>> posso lhes sugerir conferi-lo diretamente: >>> http://www.capes.gov.br/images/stories/download/avaliacao/COMPUTACAO_05mar10.pdf >>> >>> Abraços >>> Joao Marcos >>> >>> -- >>> http://sequiturquodlibet.googlepages.com/ >>> _______________________________________________ >>> Logica-l mailing list >>> Logica-l@dimap.ufrn.br >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >>> >> >> _______________________________________________ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > -- > Valeria de Paiva > http://www.cs.bham.ac.uk/~vdp/ > http://valeriadepaiva.org/www/ -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
