Olá Petrucio e demais,

A situacao é mais complicada do que "fingir que nao se lê": ignora-se  
mesmo esse princípio de que o Qualis nao deve ser utilizado em  
avaliacoes individuais...

Coordenadores do meu programa de mestrado, por exemplo, me pressionam  
aberta e diretamente para que só publique em revistas "qualisficadas"  
!!!

E até a coordenacao de iniciacao científica da UFBA, órgao  
institucional da pró-reitoria e tudo, ao julgar pedidos de bolsa de  
iniciacao científica, pede para se avaliar se a publicacao do  
orientador é Qualis ou nao... Entao os pesquisadores estao, sim,  
pressionados a publicar em revistas que *já* estao na lista.

E o discurso do "revistas que nao estao na lista podem entrar, desde  
que algum pesquisador brasileiro publique nelas" nao funciona bem  
assim: os coordenadores de programa que têm mais acesso ao pessoal da  
CAPES, de quando em quando, pedem aos seus pesquisadores sugestoes de  
revistas para entrar no Qualis, o que às vezes dá certo, sim.

Agora, imaginar que eu vá, "quietinho quietinho", publicar algo por  
exemplo no Mathematical Logic Quarterly e, sem conversar com ninguém,  
sem fazer nenhuma política, a revista acaba entrando no Qualis...  
Infelizmente, nao é assim que funciona nao.

Abracos a todos !

[]s  Samuel

PS: Como existem listagens diferentes para Computacao, Filosofia,  
Matemática, etc., uma lista unificada dá uma ajuda, sim.

Quoting Jorge Petrucio Viana <petru...@cos.ufrj.br>:

> Caros filolistas,
>
> uma tabela como esta, embora bem vinda, pois poupa o tempo de quem   
> esta procurando a classificacao de um periodico eh, de uma certa   
> forma, desnecessaria (o Qualis ja tem uma tabela com mecanismo de   
> busca) e, o que talvez seja ainda pior, trai os proprios ideais do   
> Qualis (Sim, eles existem, e nao sao tao ruins assim. O que e ruim e  
>  o uso que a propria academica faz do Qualis).
>
> O objetivo nao e, de forma nenhuma, que as pessoas so publiquem nos   
> periodicos/congressos que estao listados.
> Pelas diretrizes, quando um brasileiro publica nos ultimos anos em   
> um periodico/congresso que nao esta listado, ele passa a ser   
> considerado para a confeccao da proxima tabela e os periodicos que   
> nao aceitaram publicacoes de brasileiros saem da tabela.
> ]
> Pelo que me informaram, a tabela eh elaborada desta forma para ser   
> usada no julgamento de instituicoes/programas e nao no julgamento   
> individual de pesquisadores.
>
> Mas, como sempre, ninguem le (ou finge que nao le) as letrinhas   
> miudas do contrato...
>
> abracos,
> P.
>
> ---------- Original Message -----------
> From: sam...@ufba.br
> To: logica-l@dimap.ufrn.br
> Sent: Sat, 28 Aug 2010 13:15:33 -0300
> Subject: Re: [Logica-l] Digest Logica-l, volume 54, assunto 30
>
>> 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
>> >     logic...@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>,     logic...@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
> ------- End of Original Message -------
>
>



----------------------------------------------------------------
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

Responder a