Olá a todos, Joao Marcos, muito obrigado ! Acho que a comunidade de lógicos do Brasil espera que vc mantenha atualizacoes dessa lista nos próximos anos, conforme forem sendo mudadas as listas Qualis a cada triênio... Arrumaste um trabalhinho para o resto da carreira !!! 8-)
E claro, vc tem razao, o meu comentário sobre "publicacoes top" é *segundo a avaliacao da CAPES*... O dia que eu publicar algo na Fundamenta Mathematicae, terei certeza de que é uma "publicacao top", mesmo sendo B1 na lista... Até, []s Samuel Quoting logica-l-requ...@dimap.ufrn.br: > Enviar submissões para a lista de discussão Logica-l para > logica-l@dimap.ufrn.br > > Para se cadastrar ou descadastrar via WWW, visite o endereço > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > ou, via email, envie uma mensagem com a palavra 'help' no assunto ou > corpo da mensagem para > logica-l-requ...@dimap.ufrn.br > > Você poderá entrar em contato com a pessoa que gerencia a lista pelo > endereço > logica-l-ow...@dimap.ufrn.br > > Quando responder, por favor edite sua linha Assunto assim ela será > mais específica que "Re: Contents of Logica-l digest..." > > > Tópicos de Hoje: > > 1. Seminarios do LOLITA nesta Segunda (Regivan Santiago) > 2. Qualis 2010: *conferências internacionais* na área de Lógica > em Computação (Joao Marcos) > 3. Qualis 2010: *periódicos* que publicam artigos na área de > Lógica (Joao Marcos) > 4. Re: Qualis 2010: *periódicos* que publicam artigos na área de > Lógica (Valeria de Paiva) > 5. Re: "Ladeira abaixo na lista da Qualis" (Joao Marcos) > 6. Pedido de artigos sobre revisão de crenças (Gärdenfors) > (Diego Fernandes) > 7. [OFF topic] ainda sobre divulgação de matemática (Joao Marcos) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Fri, 27 Aug 2010 12:15:20 -0300 > From: Regivan Santiago <regivan.santi...@gmail.com> > Subject: [Logica-l] Seminarios do LOLITA nesta Segunda > To: Regivan Santiago <regivan.santi...@gmail.com> > Cc: Alunos Doutorado DIMAp <alunos-doutor...@ppgsc.ufrn.br>, Daniel > Durante <dura...@ufrnet.br>, ma...@cos.ufrj.br, Usuários LCC > <usuar...@lcc.ufrn.br>, STAFF <st...@dimap.ufrn.br>, "Soc Bras Mat. > Aplic. e Comp- Regional 03" <sb...@dimap.ufrn.br>, > alu...@engcomp.ufrn.br, Maria da Paz <m...@ufrnet.br>, Alunos Mestrado > Dimap <alunos-mestr...@ppgsc.ufrn.br>, logica-l@dimap.ufrn.br > Message-ID: <9b5f7a1e-bbd6-4972-beae-592c71ae2...@gmail.com> > Content-Type: text/plain; charset=iso-8859-1 > > Caríssimos, > > mais uma palestra no LoLITA, desta vez: > > Lógica Dinâmica e Álgebras de Processo > > Prof. Mario Benevides (COPPE-UFRJ) > > Local: Sala de Reuniões do DIMAp > Data: Segunda 30/08/2010 às 10:00hs > > Resumo: CSS (Calculus of Communication Systems) é uma linguagem > algébrica de especificação de comunicação e sincronização em > sistemas concorrentes proposta por Robin Milner. Ela trata da > interação entre processos através de ações de comunicação. Uma > especificação em CCS é uma descrição do comportamento do sistema em > função dos eventos de comunicação que ocorrem. > > Lógica Dinâmica Proposicional PDL tem um papel importante na > especificação de propriedades de programas. Várias propostas têm > sido feitas de se ter uma contrapartida lógica para CCS. As mais > conhecidas são: Lógica de Hennessy-Milner, a Lógica Dinâmica > Concorrente CPDL e channel-CPDL de David Peleg. A primeira é > simplesmente uma lógica multi-modal com > uma modalidade para cada porta (ação) de comunicação. A segunda e a > terceira são lógicas dinâmicas proposicionais para programas > regulares estendida com um operador de sincronização. CPDL e > channel-CPDL são bem próxima da Lógica de Jogos e elas são bem > apropriadas para representar propriedades de sistemas concorrentes e > jogos. A semântica de channel-CPDL é baseada em super-estados > (composição de estados) e super-processos e o problema de > satisfabilidade nesta lógica é indecidível ($\Pi_{1}^{1}$-hard). Ela > também não tem uma axiomatização completa. > > Neste trabalho nós gostaríamos de investigar uma lógica dinâmica > cujas ações fossem programas CCS. Nossas fórmulas teriam a forma > $[\pi] \varphi$, cujo significado seria: após a execução do programa > $\pi$, é sempre o caso que $\varphi$ vale. Gostaríamos de ter nos > programas CCS os operadores de prefixo, composição paralela, escolha > não-determinística, restrição e renomeação. Com > esta linguagem seríamos capazes raciocinar sobre especificações CCS > tanto no nível das ações como no de comunicações e sincronizações. > Por outro lado, devido ao mecanismo de comunicação simples de CCS > temos fortes indícios de que a lógica seria decidível. > > > $\pi$-Calculus é uma extensão do CCS para processos móveis > \cite{milner99}. A idéia é permitir que nomes de portas de > comunicação possam ser passados como dados e depois dinâmicamente > serem usados para comunicação. Um extensão natural deste trabalho é > desenvolver uma Lógica Dinâmica cujos os programas são programas > (termos) do $\pi$-Calculus. > > > Atenciosamente, > Regivan > ********************************************************************************* > Prof. Dr. Regivan Hugo Nunes Santiago > Group of Logic, Language, Information, Theory and Applications - LoLITA > Department of Informatics and Applied Mathematics - DIMAp > Federal University of Rio Grande do Norte - UFRN > Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil > Phone: +55 84 3215-3814 Ext. 228 > Fax: +55 84 3215-3813 > http://www.dimap.ufrn.br/~regivan > e-mail: regivan AT DOMAIN=dimap,ufrn,br. > ********************************************************************************* > > Em 25/08/2010, às 22:36, Regivan Santiago escreveu: > >> Carissimos, >> >> mais um seminario do LoLITA, desta vez >> >> Sistemas Modais Intuicionistas - Uma abordagem semântica >> Profa. Maria da Paz (DFIL-UFRN) >> Local: Anfi-teatro A do CCET >> Dia: 27-Ago-10 >> Horário: 09:00hs >> >> Resumo: >> Discussões acerca dos aspectos intuicionistas de lógicas modais >> começam a surgir especialmente com a publicação dos trabalhos de R. >> A. Bull na >> década de 60, século passado, cuja preocupação era apresentar uma >> formalização de um conceito intuicionista de modalidade. Essas >> idéias iniciais, >> entretanto, estavam longe de uma aceitação consensual quanto à base >> dedutiva do que deve ser um sistema lógico modal intuicionista. No >> campo >> semântico a situação não é diferente, também não está estabelecido >> que conexão deva haver entre a relação de ordem dos modelos >> intuicionistas >> e a relação de acessibilidade dos modelos modais. Analisaremos, a >> partir da diversidade de sistemas surgidos na literatura, que >> modelos caracetizam >> adequadamente um sistema modal como intuicionista. >> >> Para informações atualizadas visite: >> >>> http://groups.google.com.br/group/lolita-ufrn/web/seminrios-do-lolita?msg=ns >> >> >> Atenciosamente, >> Regivan >> ********************************************************************************* >> Prof. Dr. Regivan Hugo Nunes Santiago >> Group of Logic, Language, Information, Theory and Applications - LoLITA >> Department of Informatics and Applied Mathematics - DIMAp >> Federal University of Rio Grande do Norte - UFRN >> Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil >> Phone: +55 84 3215-3814 Ext. 228 >> Fax: +55 84 3215-3813 >> http://www.dimap.ufrn.br/~regivan >> e-mail: regivan AT DOMAIN=dimap,ufrn,br. >> ********************************************************************************* >> > > > > ------------------------------ > > Message: 2 > Date: Fri, 27 Aug 2010 18:41:36 +0200 > From: Joao Marcos <botoc...@gmail.com> > Subject: [Logica-l] Qualis 2010: *conferências internacionais* na área > de Lógica em Computação > To: Lista acadêmica brasileira dos profissionais e estudantes da área > de LOGICA <logica-l@dimap.ufrn.br> > Message-ID: > <aanlktin93wxdvvakq3xpjt5qyw+cwq61xziuxma8p...@mail.gmail.com> > Content-Type: text/plain; charset=UTF-8 > > Vivas: > > Esta é a primeira de duas mensagens de "utilidade pública" > envolvendo o Qualis. > (Creio que o 3o link abaixo **irá interessar a muitos dos colegas**.) > > Talvez alguns de vocês se recordem de uma mobilização que fizemos no > final de 2007 para buscarmos exercer alguma influência na atualização > do Qualis-CC: > http://www.dimap.ufrn.br/pipermail/logica-l/2007-October/001596.html > Conseguimos na época que fosse criado o grupo "Formalismos, Lógica, > Semântica da Computação", ao lado de outros grupos tradicionais, e > cheguei a disponibilizar online minha classificação pessoal dos > eventos da área, com o fito de participar do projeto "Perfil-CC": > http://www.dimap.ufrn.br/pipermail/logica-l/2007-October/001646.html > > Coletei naquela época detalhes de 52 eventos tradicionais numa > planilha, e achei que seria interessante atualizar agora esta planilha > com a classificação que eles de fato receberam no documento de área de > Ciência da Computação publicado este ano. Qualquer um dos colegas > pode conferir esta planilha atualizada em: > http://tinyurl.com/35awmdh > > * * * > > A análise dos dados da planilha eu deixo por conta dos colegas. Não > deixo de notar contudo que, como vocês podem conferir no fim da página > principal da planilha, os percentuais de participação dos "nossos > eventos" em cada um dos melhores estratos de classificação ficaram > ligeiramente *mais elevados* do que os percentuais gerais > correspondentes da área de Computação como um todo, com seus 1048 > eventos. > > Em geral, não há muitas inconsistências absurdas entre a nossa > "classificação sugerida", em 2007, e a "classificação obtida", em > 2010. Surpreendem contudo que haja um par de eventos (destacados na > planilha) que sugerimos como *A* ou *B* que tenham sido classificados > pelos super-expertos da área de Computação (que sem dúvida são neutros > e conhecem melhor a nossa sub-área do que nós mesmos) nos piores > estratos possíveis, a saber, os estratos *B4* e *B5*. Este é o caso, > por exemplo, de alguns eventos que sugerimos como *B*, como o WRS (que > aconteceu no ano passado em Brasília) e o INAP, e de alguns eventos > que sugerimos como *A*, como o LFCS, o FTP e o WoLLIC. > > * * * > > Que todos façam bom proveito destas informações! > > Saudações lógicas, > Joao Marcos > > -- > http://sequiturquodlibet.googlepages.com/ > (in absentia, post-doc in cives vindobonensis) > > > ------------------------------ > > Message: 3 > Date: Fri, 27 Aug 2010 18:43:18 +0200 > From: Joao Marcos <botoc...@gmail.com> > Subject: [Logica-l] Qualis 2010: *periódicos* que publicam artigos na > área de Lógica > To: Lista acadêmica brasileira dos profissionais e estudantes da área > de LOGICA <logica-l@dimap.ufrn.br> > Message-ID: > <aanlktiko5z3yx02kcgxrabvcjvbqm3femc9nd7f61...@mail.gmail.com> > Content-Type: text/plain; charset=UTF-8 > > Viva viva: > > Esta é a segunda de duas mensagens de "utilidade pública" relacionadas > ao Qualis. > > Na planilha > http://tinyurl.com/27t7tq2 > se encontra uma lista bastante abrangente de *periódicos* que publicam > artigos na área de Lógica (em Filosofia, em Matemática, em Computação, > em Linguística). > > Reconheço que alguns destes periódicos estão mortos, e que há vários > que eu de fato não conheço pessoalmente. Foi através da consulta a > inúmeros sites e listas congêneres, nos últimos anos, que eu fui > montando esta lista. Incrementei-a contudo, recentemente, > acrescentando, para cada periódico, as seguintes informações: > > * Classificações Qualis atuais, por área > * ISSN > * Link para o periódico em questão, na net > * Informação sobre se o periódico é indexado pela ISI, > ou se tem os artigos livremente disponibilizados on-line > * Fator de impacto segundo o Journal Citation Records > > Espero que estas informações, coligidas em um só lugar, possam ser > úteis a alguns dos colegas. > > Encontrou algum erro na planilha? > Não encontrou ali seu periódico de Lógica preferido? > Avise-me, em email off-list, que eu corrijo ou incluo, segundo o caso. > > Atenciosamente, > Joao Marcos > > -- > http://sequiturquodlibet.googlepages.com/ > (in absentia, post-doc in cives vindobonensis) > > > ------------------------------ > > Message: 4 > Date: Fri, 27 Aug 2010 09:56:41 -0700 > From: Valeria de Paiva <valeria.depa...@gmail.com> > Subject: Re: [Logica-l] Qualis 2010: *periódicos* que publicam artigos > na área de Lógica > To: Joao Marcos <botoc...@gmail.com> > Cc: Lista acadêmica brasileira dos profissionais e estudante , s da > área de LOGICA <logica-l@dimap.ufrn.br> > Message-ID: > <aanlktimezqd6cc1vot_cxsoshdu4wrrjqrgluow4m...@mail.gmail.com> > Content-Type: text/plain; charset=ISO-8859-1 > > JM obrigada pelas duas mensagens de utilidade publica. Sao bem uteis mesmo! > --Valeria > > 2010/8/27 Joao Marcos <botoc...@gmail.com>: >> Viva viva: >> >> Esta é a segunda de duas mensagens de "utilidade pública" relacionadas >> ao Qualis. >> >> Na planilha >> http://tinyurl.com/27t7tq2 >> se encontra uma lista bastante abrangente de *periódicos* que publicam >> artigos na área de Lógica (em Filosofia, em Matemática, em Computação, >> em Linguística). >> >> Reconheço que alguns destes periódicos estão mortos, e que há vários >> que eu de fato não conheço pessoalmente. Foi através da consulta a >> inúmeros sites e listas congêneres, nos últimos anos, que eu fui >> montando esta lista. Incrementei-a contudo, recentemente, >> acrescentando, para cada periódico, as seguintes informações: >> >> * Classificações Qualis atuais, por área >> * ISSN >> * Link para o periódico em questão, na net >> * Informação sobre se o periódico é indexado pela ISI, >> ou se tem os artigos livremente disponibilizados on-line >> * Fator de impacto segundo o Journal Citation Records >> >> Espero que estas informações, coligidas em um só lugar, possam ser >> úteis a alguns dos colegas. >> >> Encontrou algum erro na planilha? >> Não encontrou ali seu periódico de Lógica preferido? >> Avise-me, em email off-list, que eu corrijo ou incluo, segundo o caso. >> >> Atenciosamente, >> Joao Marcos >> >> -- >> http://sequiturquodlibet.googlepages.com/ >> (in absentia, post-doc in cives vindobonensis) >> _______________________________________________ >> 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/ > > > ------------------------------ > > Message: 5 > Date: Fri, 27 Aug 2010 18:58:50 +0200 > From: Joao Marcos <botoc...@gmail.com> > Subject: Re: [Logica-l] "Ladeira abaixo na lista da Qualis" > To: Lista acadêmica brasileira dos profissionais e estudantes da área > de LOGICA <logica-l@dimap.ufrn.br> > Message-ID: > <aanlkti=xe0rhsbjetrth_qfpd8+i5swq-q-bnnmes...@mail.gmail.com> > Content-Type: text/plain; charset=UTF-8 > >> E, até onde eu saiba, nao existe nenhuma revista de lógica >> matemática acima da >> classificacao B1. >> Se isso for verdade, o que acredito que seja mesmo, é impossível para >> um lógico matemático realizar uma publicacao "top" no Brasil... > > Olá, Samuel, nota que a lista de 134 periódicos que eu acabei de > divulgar dá bastante suporte à sua observação acima, se você pretendia > dizer que não há, segundo a *área de avaliação* CAPES denominada > "MATEMÁTICA / PROBABILIDADE E ESTATÍSTICA" um periódico que seja > classificado acima do estrato B1. > > Noto de fato *uma única exceção* para esta tese na planilha, a saber, > o periódico > "Theoretical Computer Science" > que a área de Matemática classifica como A1 (!). Algumas coisas, mas > não muitas, de "Lógica Matemática" cabem ali. > > Abraços, > Joao Marcos > > -- > http://sequiturquodlibet.googlepages.com/ > (in absentia, post-doc in cives vindobonensis) > > > ------------------------------ > > Message: 6 > Date: Fri, 27 Aug 2010 15:38:04 -0300 > From: Diego Fernandes <diegofernand...@gmail.com> > Subject: [Logica-l] Pedido de artigos sobre revisão de crenças > (Gärdenfors) > To: logica-l@dimap.ufrn.br > Message-ID: > <aanlktim-6kojyw6we9+2kovbqyqzqwry_vdvkufhn...@mail.gmail.com> > Content-Type: text/plain; charset=ISO-8859-1 > > Olá pessoal, > > alguém poderia fazer o favor de me enviar os seguintes artigos? > > Gärdenfors, P. 1978, "On The Logic of Relevance", Synthese, n. 37:351-67 > ___________. 1978, "Conditionals and Changes of Belief", Acta Philosophica > Fennica, Vol. 30, pp. 381-404 > ___________. 1982, "Rules for Rational Changes of Belief", Philosophical > Studies, n. 34, pp. 88-101 > ___________. 1984, "Epistemic Importance and Minimal Changes of Belief", > Australasian Journal of Philosophy, n. 62 pp. 136-157 > > Harper, W.L. 1975, "Rational Belief Change, Popper Functions and > Counterfactuals", Synthese n. 30 pp 221-262 > > > Agradeço desde já. > > Diego Fernandes. > > > ------------------------------ > > Message: 7 > Date: Fri, 27 Aug 2010 23:38:53 +0200 > From: Joao Marcos <botoc...@gmail.com> > Subject: [Logica-l] [OFF topic] ainda sobre divulgação de matemática > To: Lista acadêmica brasileira dos profissionais e estudantes da área > de LOGICA <logica-l@dimap.ufrn.br> > Message-ID: > <aanlktimsz+-hty1usbo2k2tmcvxbe_j7dg+ienb-p...@mail.gmail.com> > Content-Type: text/plain; charset=UTF-8 > > O congresso internacional de matemáticos termina hoje em Hyderabad com > a premiação do Simon Singh, autor de bestsellers sobre o último > teorema de Fermat e sobre criptografia. > > Simon Singh wins Leelavati Prize for Public Outreach in Maths > > http://plus.maths.org/content/simon-singh-wins-leelavati-prize-public-outreach-maths > entrevista com o autor: > http://plus.maths.org/content/interview-simon-singh-icm-2010 > > Este é um projeto interessante no qual ele está envolvido, que leva > Turing às escolas do Reino Unido: > The Enigma Project > A Genuine WWII Enigma Machine In Your School! > http://enigma.maths.org/content/ > > > jm > > > ------------------------------ > > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > Fim da Digest Logica-l, volume 54, assunto 30 > ********************************************* > ---------------------------------------------------------------- Universidade Federal da Bahia - http://www.portal.ufba.br _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
