[Logica-l] rindo numa hora dessas?

Tirinha/banda desenhada: "Tautology Club" http://xkcd.com/703/ JM ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] França aprova em primeira instância lei que permite controle da internet

> 1. França aprova em primeira instância lei que permite controle > da internet (Rodrigo Oliveira) Parece que a "Liberté" já era... Me mudei pra França há 2 meses pra fazer um PostDoc no INRIA (http://www.inria.fr/), e há 1 mês o serviço de segurança francês exigiu que o INRIA bloqueie

[Logica-l] Lógica da Economia

Caros, envio o texto abaixo, que escrevi para o jormal da Associação de Docentes da UNESP-Botucatu, para despertar uma discussão sobre a lógica da economia contemporânea, ou - talvez - sobre meus sofismas... Abraços Alfredo Pereira Jr. Grandiosas Reflexões de um Administrador que virou Filósofo

Re: [Logica-l] França aprova em primeira instância lei que permite controle da internet

Oh, Bruno Mais uma vez eu vou ser retrógado (como acho que sou sempre). Qual o problema em ser filmado a cada 100m? Você anda com o dedo no nariz? Acho essas medidas seguras, e eles devem mesmo se proteger. Câmeras em todo lugar, na minha opinião, são necessárias (e não somente bem vindas

[Logica-l] ITRS 2010 - Call for papers

The ITRS 2010 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. TOPICS Possible topics for submitted papers include, but are not limited to: * Formal properties of systems with intersect