[Logica-l] rindo numa hora dessas?

[Joao Marcos]

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

[Bruno Woltzenlogel Paleo]

>   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 o acesso a estrangeiros fora do horário normal de trabalho. 
Estrangeiros que trabalham no INRIA agora só podem entrar no prédio e em suas 
salas de trabalho entre 8:00 e 18:00, de segunda a sexta, enquanto o acesso a 
cidadãos da União Européia continua livre em qualquer dia e qualquer horário. 
("Egalité"?)

Sempre que o INRIA quer contratar um estrangeiro,  é necessário enviar dados do 
estrangeiro para o serviço de segurança francês, que então decide se o 
estrangeiro pode ser contratado ou não. Normalmente, a autorização é dada sem 
problemas. No meu caso, no entanto, a autorização foi apenas condicional: o 
INRIA deveria, teoricamente, restringir meu acesso apenas ao tópico da minha 
pesquisa, provavelmente por suspeita de espionagem. Desde quando logicians e 
proof theorists passaram a ser suspeitos de espionagem? (E suspeitar dos outros 
sem motivo não soa muito compatível com "Fraternité"...) 

De qualquer forma, a situação na França ainda é melhor que, por exemplo, na 
Inglaterra, onde não é possível andar nem 100 metros sem ser filmado por várias 
cameras CCTV e pesquisadores são interrogados para poder entrar no país e 
participar de conferências, ou na Austria, em que 30% da população vota pra 
partidos nazistas...

Até,

Bruno

--
Bruno Woltzenlogel Paleo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Lógica da Economia

[Alfredo]

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

Alfredo Pereira Jr.



Pois é, eu me graduei em Administração de Empresas e Filosofia, e acabei 
optando pela segunda área de conhecimento como ocupação profissional. O que 
me dá uma certa liberdade para especular sobre questões do âmbito da 
primeira.

A economia política mundial, na contemporaneidade, desafia o entendimento 
científico. É como se todas as teorias até então formuladas tivessem deixado 
escapar algo de muito importante. Tomemos como base de comparação o 
colonialismo inglês, do qual o Brasil foi uma das vítimas (ou 
beneficiário?). A lógica do colonialismo é que o colonizador fique cada vez 
mais rico, e o colonizado cada vez mais pobre. Sempre houve um limite para a 
exploração (a saber, a sobrevivência produtiva do explorado), mas não 
existia e não existe (ainda) um limite para o endividamento. Deste modo, o 
que se via até então era o país colonizado (Brasil) contrair uma monstruosa 
dívida externa, tendo o colonizador (Inglaterra) como credor.

Mas agora as coisas estão diferentes. Em muitos aspectos, os EUA colonizam a 
China. Milhões de chineses pobres trabalham arduamente para prover os 
cidadãos americanos de produtos de baixo custo, que possibilitam um alto 
nível de consumo (se isso é qualidade de vida é algo a ser discutido, mas em 
muitos casos parece ser). Entretanto, quem está ficando cada vez mais rica é 
a China, e os EUA estão cada vez mais endividados.

A lei que rege a economia contemporânea, que ainda não foi descoberta pelos 
economistas, parece ser mais ou menos a seguinte: no contexto atual, para um 
país enriquecer é preciso que, entre outras coisas, sua população seja 
pobre. Países nos quais a população alcançou um alto padrão de consumo (e/ou 
qualidade de vida) tendem a empobrecer.

Agora que a lei está mais ou menos formulada, uma certa lógica das relações 
econômicas internacionais começa a transparecer. Sim, havendo um processo de 
globalização, com acesso quase irrestrito à informação via Internet, e 
possibilidade de intercâmbio comercial generalizado, a concorrência 
capitalista (mesmo com os protecionismos vigentes) faz com que, 
progressivamente, quem tem produtos mais baratos e com certa qualidade (nos 
níveis mínimos requeridos pelos consumidores) consiga dominar o mercado. 
Ora, só tem produtos mais baratos quem tem uma população mais pobre e/ou 
recursos naturais mais fartos que os concorrentes. O Brasil tem ambos, 
logo - todas as demais condições sendo iguais (por exemplo, todos os países 
concorrentes tendo acesso a tecnologias e métodos de administração 
eficazes) - o Brasil tem boas perspectivas de sucesso econômico.

Nesta ótica, muitos acontecimentos que parecem ser absurdos começam a fazer 
algum sentido. Por exemplo, a existência de enormes favelas nas grandes 
cidades brasileiras é de interesse econômico-político. A criminalidade é um 
problema grave, mas não inviabiliza o desenvolvimento econômico.

Constato então que não é de fato a universidade pública o agente fundamental 
do processo de desenvolvimento econômico brasileiro. Nos cabe fornecer uma 
preparação para que a sociedade tenha condições mínimas de participar do 
processo produtivo dentro dos padrões atuais de tecnologia incorporada e 
racionalidade administrativa. Porém, a existência de massas de trabalhadores 
pobres e a possibilidade de dilapidar o meio-ambiente para obtenção de 
matéria-prima barata seriam os dois fatores decisivos.

Espero estar redondamente enganado...

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

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

[Decio Krause]

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). Passar em RX no areoporto mostrando "tudo"? ("tudo"o quê?)  
Sem problemas.  Nada contra eles. Eles que estabeleçam suas regras, e  
se quisermos frequentar, devemos estar de acordo, ou não vamos.  
Deveríamos fazer coisa parecida, se fosse possível. Estou errado?  
Muito radical?
Em todo caso, isso chateia mesmo, mas são coisas da atualidade. Boa  
sorte, e acho que seu caso não trará problemas.

Décio

Decio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-990 Florianópolis, SC -- Brasil
deciokra...@gmail.com
www.cfh.ufsc.br/~dkrause
_
'according to the modern theory [quantum mechanics], if a particle of  
a person's body were exchanged with a similar particle in one of the  
bricks of his house then nothing would happened at all.'' (R. Penrose,  
The Emperor's New Mind)


"all in all you're just another brick in the wall" (Pink Floyd)








Em 18/02/2010, às 13:51, Bruno Woltzenlogel Paleo escreveu:




 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 o acesso a estrangeiros fora do horário normal de trabalho.  
Estrangeiros que trabalham no INRIA agora só podem entrar no prédio  
e em suas salas de trabalho entre 8:00 e 18:00, de segunda a sexta,  
enquanto o acesso a cidadãos da União Européia continua livre em  
qualquer dia e qualquer horário. ("Egalité"?)


Sempre que o INRIA quer contratar um estrangeiro,  é necessário  
enviar dados do estrangeiro para o serviço de segurança francês, que  
então decide se o estrangeiro pode ser contratado ou não.  
Normalmente, a autorização é dada sem problemas. No meu caso, no  
entanto, a autorização foi apenas condicional: o INRIA deveria,  
teoricamente, restringir meu acesso apenas ao tópico da minha  
pesquisa, provavelmente por suspeita de espionagem. Desde quando  
logicians e proof theorists passaram a ser suspeitos de espionagem?  
(E suspeitar dos outros sem motivo não soa muito compatível com  
"Fraternité"...)


De qualquer forma, a situação na França ainda é melhor que, por  
exemplo, na Inglaterra, onde não é possível andar nem 100 metros sem  
ser filmado por várias cameras CCTV e pesquisadores são interrogados  
para poder entrar no país e participar de conferências, ou na  
Austria, em que 30% da população vota pra partidos nazistas...


Até,

Bruno

--
Bruno Woltzenlogel Paleo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] ITRS 2010 - Call for papers

[Elaine Pimentel]

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 intersection types.
* Results for related systems, such as union types, refinement types, or
singleton types.
* Applications to lambda calculus and similar systems.
* Applications to pi-calculus and similar systems.
* Applications for programming languages.
* Applications for other areas, such as database query languages and program
extraction from proofs.
* Related approaches using behavioural types to characterize computational
properties.
SUBMISSION

The submission is in two stages.

(1) Before the workshop, authors are invited to submit an extended abstract
(max. 10 pages) in PDF format: go to the  Easychair ITRS 2010 submission
site  and follow the
instruction there.
Accepted papers will be presented at the workshop and included in the
preliminary proceedings, which will made available in electronic form.
(2) After the workshop, authors of accepted papers will be invited to submit
full versions, which will be referred for inclusion in final
post-proceedings. The post-proceedings will be  published as a special issue
of *Electronic Proceedings in Theoretical Computer Science*
(EPTCS).
Submissions must be prepared in LaTeX using the EPTCS macro package (
http://style.eptcs.org/).
IMPORTANT DATES

*Submission of extended abstracts: March 31, 2010 - midnight CET (GMT+1)
Author notification: April 30, 2010
Final version for preliminary proceedings: May 26, 2010
Workshop: July 9, 2010
Submission for EPTC post-proceedings: September 30, 2010 (TBC)*
PROGRAM COMMITTEE

Mariangiola Dezani-Ciancaglini (Univ.di Torino)
Joshua Dunfield (McGill Univ. Montreal)
Silvia Ghilezan (Univ. of Novi Sad)
Atsushi Igarashi (Kyoto Univ.)
Elaine Pimentel (Belo Horizonte Univ.)
Betti Venneri (Univ. di Firenze)  Chair
Joe Wells (Heriot-Watt Univ.Edinburgh).
*INFORMATION *

For further information, please contact
Betti Venneri
Email: venn...@dsi.unifi.it


-- 
Elaine.
-
Elaine Pimentel  - DMat/UFMG

Address: Departamento de Matematica
Universidade Federal de Minas Gerais
Av Antonio Carlos, 6627 - C.P. 702
Pampulha - CEP 30.161-970
Belo Horizonte - Minas Gerais - Brazil
Phone:   55 31 3409-5970/3409-5994
Fax:   55 31 3409-5692
http://www.mat.ufmg.br/~elaine
-
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l