Faco coro aos parabens da Ana e aproveito pra perguntar se tem alguma coisa especifica que seja necessaria fazer... Valeria
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/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
