Nao existe revista de Logica computacional A1? Regards; Fynn. -- "Even a stopped clock is right twice a day"
"All paid jobs absorb and degrade the mind." _Aristoteles On 20 March 2012 21:30, Valeria de Paiva <[email protected]> wrote: > OK, funciona pra mim! ;) > se alguem achar ruim, por favor reclame... > obrigada! > valeria > 2012/3/20 Elaine Pimentel <[email protected]> > >> Oi, Valeria! >> >> Bem, um jornal da ACM é um jornal da ACM... Então não sei, talvez A2? >> >> Abraços! >> >> Elaine. >> >> 2012/3/20 Valeria de Paiva <[email protected]> >> >> > Elaine, >> > desculpe a demora. sim qual a sua sugestao de classificacao pra ACM >> > Transactions, por favor? B1ou A2? >> > >> > Itala, >> > como eu disse a gente nao esta sendo muito completo nao e agora que voce >> > mencionou acho que talvez B4 seja muito baixo pra Studia Logica em Logica >> > em Computacao, vamos pedir B3, ou B2 gente? >> > >> > Agradecemos as correcoes, esperamos outras. >> > >> > Vamos tentar ver te conseguimos todas as correcoes/melhorias ate domingo, >> > gente? >> > >> > Abracos, >> > Valeria >> > 2012/3/20 Elaine Pimentel <[email protected]> >> > >> >> Hola, Valeria!!! >> >> >> >> parabens pela iniciativa! >> >> >> >> Então, na lista de vocês eu só senti falta da ACM Transactions on >> >> Computational Logic (TOCL). Não sei porque, só aparece em Farmácia e >> áreas >> >> afins... >> >> >> >> Beijo! >> >> >> >> >> >> 2012/3/20 Valeria de Paiva <[email protected]> >> >> >> >> > Caros colegas, >> >> > >> >> > Continuando a mensagem do Rodrigo abaixo, a tabela com revistas de >> >> Logica >> >> > pras quais reivindicamos modificacoes no Qualis esta' disponivel no >> >> Google >> >> > doc >> >> > >> >> > >> >> >> https://docs.google.com/spreadsheet/ccc?key=0AiQvGrHooOoHdEVhUDU2YlUxdHZZbHc1LThUTWx5NGc >> >> > >> >> > Todas as sugestoes de melhorias sao bemvindas, mas como ressaltou o >> >> > Rodrigo, o tempo 'e curto e e' melhor pelos menos conseguir pedir uma >> >> > pequena melhoria do que esperar outros tres anos pra poder PEDIR >> >> qualquer >> >> > coisa. >> >> > >> >> > Abracos logicos, >> >> > >> >> > Valeria >> >> > >> >> > 2012/3/20 Rodrigo Freire <[email protected]> >> >> > >> >> > > Caros colegas >> >> > > >> >> > > Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma >> >> proposta >> >> > > para o qualis que deverá ser encaminhada a capes. O documento contém >> >> dois >> >> > > componentes: uma carta e uma tabela com revistas e propostas de >> >> > > classificação. Estou encaminhando a carta no corpo dessa mensagem. >> >> Como >> >> > > essa lista não aceita anexos, estamos pensando como vamos >> >> disponibilizar >> >> > a >> >> > > tabela. >> >> > > >> >> > > A idéia é ouvir as opiniões da lista e depois preparar um documento >> >> > > contendo um abaixo assinado que deverá ser encaminhado a capes e >> >> > divulgado >> >> > > no jornal da ciência. >> >> > > >> >> > > Lembro que a atualização do qualis está em processo, por isso temos >> >> > *pouco >> >> > > tempo* para ajustes. (Aparentemente o qualis da física já foi >> >> > atualizado). >> >> > > Manifestem-se. >> >> > > >> >> > > Abraço >> >> > > Rodrigo >> >> > > >> >> > > >> >> > > >> >> > > [Aos comitês relevantes da Capes para o Qualis] >> >> > > >> >> > > O presente documento tem por finalidades: (i) diagnosticar e >> avaliar a >> >> > > situação >> >> > > das publicações em Lógica perante o Qualis-2009, e (ii) levar aos >> >> comitês >> >> > > responsáveis >> >> > > da Capes uma proposta da comunidade acadêmica para a atualização em >> >> curso >> >> > > (2012) >> >> > > do Qualis no que se refere à Lógica. Com relação ao primeiro >> objetivo, >> >> > > notamos que as >> >> > > publicações em Lógica abrangem as áreas de Matemática, Filosofia e >> >> > Ciência >> >> > > da >> >> > > Computação e constatamos que nas respectivas listas Qualis a >> situação >> >> da >> >> > > Lógica é >> >> > > insatisfatória em mais de um aspecto. Em primeiro lugar, várias >> entre >> >> as >> >> > > melhores >> >> > > revistas de Lógica sequer possuem uma classificação em pelo menos >> uma >> >> > > dessas áreas. >> >> > > Em segundo lugar, nas listas correspondentes às três áreas acima, as >> >> > > revistas de Lógica >> >> > > não apresentam uma classificação coerente nem com a qualidade das >> >> mesmas, >> >> > > nem com >> >> > > a percepção da comunidade internacional a respeito delas. Por >> último, >> >> > > notamos que, em >> >> > > duas dessas áreas (Matemática e Ciência da Computação), a Lógica >> >> aparece >> >> > > desvalorizada com relação às demais subáreas, não sendo contemplada >> >> com >> >> > > nenhuma >> >> > > revista especializada nos estratos A. >> >> > > >> >> > > A presente proposta elabora em detalhes os pontos de insatisfação >> >> > > levantados >> >> > > acima, considerando a partir de agora a situação da Lógica >> >> separadamente >> >> > > em cada uma >> >> > > das três áreas destacadas, começando pela Matemática. Há, em grande >> >> > medida, >> >> > > consenso na comunidade internacional de lógicos matemáticos sobre >> >> quais >> >> > > são as >> >> > > melhores entre as revistas especializadas que publicam pesquisa >> >> original >> >> > > em Lógica >> >> > > Matemática. São elas (em ordem alfabética): Annals of Pure and >> Applied >> >> > > Logic, >> >> > > Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of >> >> > > Mathematical >> >> > > Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal >> >> Logic e >> >> > > The >> >> > > Journal of Symbolic Logic. No presente momento, apenas duas entre as >> >> sete >> >> > > revistas >> >> > > listadas acima possuem uma classificação segundo Qualis na área de >> >> > > Matemática >> >> > > (ambas B1). No documento anexo segue uma proposta de classificação >> >> para >> >> > > cada uma >> >> > > dessas sete revistas, divididas em dois grupos: um grupo de três >> >> > revistas, >> >> > > que julgamos >> >> > > ter qualidade compatível com o estrato A1 e um grupo com as quatro >> >> > > revistas restantes, >> >> > > que julgamos ter qualidade compatível com o estrato A2. No primeiro >> >> grupo >> >> > > encontramse >> >> > > Annals of Pure and Applied Logic, Journal of Mathematical Logic e >> The >> >> > > Journal of >> >> > > Symbolic Logic, conforme indicado no documento anexo. Lembramos que >> a >> >> > > Lógica >> >> > > Matemática não é uma subdivisão da Álgebra ou da Análise, por isso >> não >> >> > está >> >> > > contemplada por revistas especializadas em outras áreas. Ao >> contrário, >> >> > > trata-se de uma >> >> > > disciplina autônoma com intensa atividade de pesquisa em >> >> Computabilidade, >> >> > > Teoria de >> >> > > Conjuntos, Teoria de Modelos e Teoria da Prova. Não obstante, a >> Lógica >> >> > > Matemática >> >> > > apresenta conexões substanciais com Álgebra Universal, Análise >> >> > > não-Standard, >> >> > > Geometria Algébrica, Teoria de Categorias, Teoria da Computação, >> >> Teoria >> >> > da >> >> > > Medida, >> >> > > Teoria de Espaços de Banach, Topologia Geral, entre outras, e há >> >> > potencial >> >> > > para >> >> > > estabelecer outras relações e para aprofundar as relações já >> >> existentes. >> >> > A >> >> > > Lógica >> >> > > Matemática é comparável, em extensão e profundidade de seus >> >> resultados, a >> >> > > outras >> >> > > disciplinas matemáticas atualmente contempladas com vários >> periódicos >> >> nos >> >> > > estratos A. >> >> > > >> >> > > Com relação à Filosofia, a atualização da lista Qualis ocorrida em >> >> 2009 >> >> > > corrigiu >> >> > > algumas distorções relativas à Lógica. Contudo, há ainda ausências >> >> > > notáveis: as revistas >> >> > > The Review of Symbolic Logic e Notre Dame Journal of Formal Logic >> não >> >> > > possuem >> >> > > classificação. Essa situação é compreensível no caso da primeira, >> >> pois a >> >> > > mesma foi >> >> > > criada em 2008 e a última lista Qualis foi produzida já em 2009, >> mas é >> >> > > totalmente >> >> > > incompreensível no caso da segunda. O Notre Dame Journal of Formal >> >> Logic >> >> > > possui >> >> > > grande tradição na área de Lógica Filosófica e Fundamentos da >> >> Matemática, >> >> > > e é >> >> > > considerado um dos melhores periódicos de Lógica Formal. Portanto, >> >> > > propomos que >> >> > > essas revistas sejam classificadas pelo Qualis e que recebam uma >> >> > avaliação >> >> > > compatível >> >> > > com a reconhecida qualidade das mesmas. A proposta completa >> >> encontra-se >> >> > no >> >> > > documento anexo. >> >> > > >> >> > > Finalmente, a lista Qualis em Ciência da Computação apresenta >> >> > discrepâncias >> >> > > similares àquelas da Matemática: apenas uma entre as sete melhores >> >> > > revistas de Lógica >> >> > > Matemática mencionadas acima possui uma classificação segundo >> Qualis. >> >> Não >> >> > > há >> >> > > revista especializada em Lógica nos estratos A. >> >> > > >> >> > > As considerações expostas acima, somadas à importância do Qualis >> para >> >> os >> >> > > programas de pós-graduação em todo o país, constituem um quadro >> >> negativo >> >> > > para a >> >> > > Lógica e seus pesquisadores no Brasil. Diante dessa situação vimos >> >> > propor, >> >> > > através >> >> > > deste documento, alterações ao Qualis que sejam justas para com >> nossas >> >> > > áreas de >> >> > > atuação. Para isso realizamos uma extensa consulta a pesquisadores e >> >> > > rankings >> >> > > nacionais e internacionais, e uma análise das principais publicações >> >> em >> >> > > Lógica, >> >> > > comparando-as com publicações especializadas em outras subáreas. O >> >> > > resultado dessa >> >> > > atividade é o documento anexo, que consiste em uma tabela de >> revistas >> >> e >> >> > > propostas para >> >> > > classificação em cada uma das três áreas em questão. Na primeira >> >> coluna >> >> > da >> >> > > tabela >> >> > > encontra-se o nome da revista, na segunda a editora. Em cada uma das >> >> três >> >> > > colunas >> >> > > seguintes há uma proposta de classificação segundo Qualis em >> >> Matemática, >> >> > > Filosofia e >> >> > > Ciência da Computação, nessa ordem. O asterisco indica que essa é a >> >> > > classificação atual >> >> > > (2009) e que estamos propondo que seja mantida. Nos outros casos, >> >> sempre >> >> > > há duas >> >> > > propostas e a primeira é a prioritária. Portanto, [A2 ou B1] e [B1 >> ou >> >> A2] >> >> > > são diferentes: >> >> > > no primeiro caso a proposta é "prioritariamente A2" e no segundo >> "B1, >> >> mas >> >> > > não menos >> >> > > que B1". A tabela não tem qualquer pretensão de completude: >> >> > > concentramos-nos >> >> > > naquilo que parece mais urgente. >> >> > > >> >> > > Certos de que os critérios estritamente acadêmicos devem prevalecer, >> >> > > assinam >> >> > > esta carta: >> >> > > 1- Rodrigo de Alvarenga Freire – Pesquisador associado do Centro de >> >> > Lógica, >> >> > > Epistemologia e História da Ciência, Unicamp. >> >> > > 2- Samuel Gomes da Silva – Professor Adjunto do Instituto de >> >> Matemática, >> >> > > UFBA. >> >> > > 3- Valeria de Paiva - Senior Research Scientist Rearden Commerce, >> CA, >> >> > USA e >> >> > > Honorary Research Fellow, University of Birmingham, UK. >> >> > > >> >> > >> >> > >> >> > >> >> > -- >> >> > Valeria de Paiva >> >> > http://www.cs.bham.ac.uk/~vdp/ >> >> > http://valeriadepaiva.org/www/ >> >> > _______________________________________________ >> >> > Logica-l mailing list >> >> > [email protected] >> >> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> >> > >> >> >> >> >> >> >> >> -- >> >> Elaine. >> >> -------------------------------------------------------- >> >> Elaine Pimentel >> >> Departamento de Matematicas >> >> Universidad del Valle >> >> Calle 13 No. 100 - 00 ; Edificio 320. >> >> Ciudadela Universitaria Melendez >> >> Cali, Colombia >> >> >> >> https://sites.google.com/site/elainepimentel/ >> >> -------------------------------------------------------- >> >> _______________________________________________ >> >> Logica-l mailing list >> >> [email protected] >> >> 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/ >> > >> >> >> >> -- >> Elaine. >> -------------------------------------------------------- >> Elaine Pimentel >> Departamento de Matematicas >> Universidad del Valle >> Calle 13 No. 100 - 00 ; Edificio 320. >> Ciudadela Universitaria Melendez >> Cali, Colombia >> >> https://sites.google.com/site/elainepimentel/ >> -------------------------------------------------------- >> _______________________________________________ >> Logica-l mailing list >> [email protected] >> 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 > [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
