[Logica-l] Contradiction in Quantum Physics - Carioca Logic Seminar - September 29, 2016, 16h30

2016-09-26 Por tôpico jean-yves beziau
Contradiction in Quantum Physics Carioca Logic Seminar http://www.rio-logic.org/ September 29, 2016, 16h30 University of Brazil, Rio de Janeiro with Jose Acacio de Barros, State University of San Francisco, USA Décio Krause, Federal University of Santa Catarina, Brazil Everybody is welcome to join

[Logica-l] Como anunciar eventos na Sociedade Brasileira de Computação

2016-09-26 Por tôpico Marcelo Finger
Caros. Eu não me lembro mais se existe um endereço para anunciar eventos na SBC geral, sem ser nas comissões especiais. Uma vez mandei para sbc-l e o emial voltou. Me lembro de ter visto algo a este respeito, mas uma busca rápida foi infrutífera. Agradeço a clarificação. Por favor enviem ao meu

Re: [Logica-l] Como anunciar eventos na Sociedade Brasileira de Computação

2016-09-26 Por tôpico Cláudia Nalon
Oi, Marcelo: Agora só associado com pagamento em dia pode anunciar qualquer coisa nas listas da SBC. O endereço é sb...@sbc.org.br. Abraços, Cláudia Em 2016-09-26 10:00, Marcelo Finger escreveu: Caros. Eu não me lembro mais se existe um endereço para anunciar eventos na SBC geral, sem ser

[Logica-l] CONVITE: Defesa de Mestrado de João Daniel Dantas de Oliveira

2016-09-26 Por tôpico Joao Marcos
Gostaria de convidar os colegas para a defesa do mestrado de *João Daniel Dantas de Oliveira*, com uma interessante dissertação sobre o "argumento estilingue" de Gödel. O resumo do trabalho se encontra abaixo. A dissertação se encontra escrita *em inglês*. Cumprimentos lógicos, Joao Marcos ---

[Logica-l] Livro sobre fundamentos da mecânica quântica com o Newton.

2016-09-26 Por tôpico Francisco Antonio Doria
Este é o texto de divulgação preparado pela editora: ``Neste livro primoroso escrito pelos amigos Newton C. A. Costa e Francisco Antonio Doria podemos ver, quase como um diálogo (ou como uma aula para nós) os autores explanando, concordando e discordando sobre a matemática da teoria quântica. Até

[Logica-l] Aproveitando o CONVITE...

2016-09-26 Por tôpico Elaine Pimentel
Após a defesa do João Daniel teremos mais uma conferência IMPERDÍVEL do nosso grupo, LoLITA :) Estão todos convidados! *** Luiz Carlos Pereira (PUC-Rio/UERJ/CNPq) O sistema Ecumênico e o sistema Fat Em um artigo recente [2015], Dag Prawitz propôs um sistema ecumênico no qual a lógica clássica e

[Logica-l] Call for Workshops Three of the main conferences on automated reasoning -- TABLEAUX, FroCoS, and ITP

2016-09-26 Por tôpico Marcelo Finger
(with apologies for multiple postings) CALL FOR WORKSHOPS AND TUTORIALS Three of the main conferences on automated reasoning -- TABLEAUX, FroCoS, and ITP -- will be held in Brasília, Brazil, between 25 and 29 September 2017. Following the long tradition of those events, we invite researchers and