[Logica-l] Seminários LoLITA. Mudança de Local

Caríssimos, hove uma mudança de local do seminário. O mesmo ocorrerá no Auditório do CCET (Prox a secretaria do mesmo). Regivan 2011/5/31 Regivan Santiago > Caros colegas, > > mais um seminário do LoLITA, desta vez: > > > Integrais Intervalares de > Linha

Re: [Logica-l] LSFA 2011 -- Call for posters

Oi, Adolfo, Obrigada pela sugestão. Eu acho que é melhor então colocar o tamanho em duas páginas... Eu poderia fazer um estilo próprio, mas acaba dando na mesma e o ENTCS é fácil de usar e de adaptar depois para criar os proceedings. Bem, então para a lista: abstract de duas páginas no máximo, ok

[Logica-l] Turing é capaz de decidir P=NP

uma postagem comemorando 75 anos de números computáveis http://rjlipton.wordpress.com/2011/05/27/happy-anniversary-to-turings-paper/ além de algumas tantas coisas que recebem o adjetivo Turing no nome, e dos "Fatos Alan Turing", como este no assunto acima jm _