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 > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
