Re: [Logica-l] RES: Fwd: Walter Carnielli: indicação para medalha de ouro

2012-08-03 Por tôpico Anderson de Araújo 
Caro Walter,

Meus parabéns!

Abraços,

Anderson


Em 2 de agosto de 2012 22:19, Jorge Alberto Molina escreveu:

> Parabéns Walter. Fico muito feliz pela sua premiação. Um forte abraço.
> Jorge Molina
>
> 
> De: logica-l-boun...@dimap.ufrn.br [logica-l-boun...@dimap.ufrn.br] em
> nome de josé carlos cifuentes [jcc...@gmail.com]
> Enviado: quarta-feira, 1 de agosto de 2012 16:37
> Para: Carlos Gonzalez
> Cc: Carlos González; Lista acadêmica brasileira dos profissionais e
> estudantes da área de LOGICA; Walter Carnielli
> Assunto: Re: [Logica-l] Fwd: Walter Carnielli: indicação para medalha de
> ouro
>
> Walter, meus parabens e também de parte de Blanca por esta homenagem que
> nos "enorgullece". Apenas soube enviei a mensagem a Blanca que se encontra
> em Peru, mas já volta semana que vem.
> Um grande abraço.
> Cifa
>
> Em 1 de agosto de 2012 16:04, Carlos Gonzalez 
> escreveu:
>
> > Parabéns Walter, pela merecida premiação, fruto de notáveis
> > contribuições à lógica.
> >
> > É uma honra para todos nós ter um colega de primeiro nível
> > internacional na pesquisa como você.
> >
> > Abraços
> >
> > Carlos
> >
> > 2012/8/1 Joao Marcos :
> >  > -- Forwarded message --
> > > From: Juliana Bueno-Soler 
> > > Date: 2012/8/1
> > > Subject: Walter Carnielli: indicação para medalha de ouro
> > >
> > >
> > > Caros colegas e amigos:
> > >
> > > escrevo para comunicar que o Prof. Walter Carnielli foi indicado para
> > > receber a medalha de ouro da Telesio Galilei Academy of Science
> (baseada
> > > em Bellinzona, Suiça) para 2013 na área de Matemática, por suas
> > > contribuições conjuntas à Matematica, Lógica e Filosofia
> > >
> > > http://telesio-galilei.com/tg/index.php/academy-award-2013
> > >
> > > O nome da academia homenageia Bernardino Telesio e Galileo Galilei,
> tidos
> > > como heróis da resistência à autoridade contra a ciência livre.
> > >
> > > A academia premiou desde 2008 diversos físicos, matemáticos e alguns
> > > poucos filósofos, incluindo os brasileiros Fernando Galembeck (Química,
> > > Unicamp) e Djairo Guedes de Figueiredo (Matemática, Unicamp).
> > >
> > > Gostaria que alguém postasse esta mensagem na Lista dos Lógicos
> > > Brasileiros (da qual eu não faço parte mais).
> > >
> > > Att.,
> > > Juliana
> > >
> > > +
> > > Juliana Bueno-Soler
> > > Professor Adjunto I
> > > Universidade Federal do ABC - CCNH
> > > Rua Santa Adélia, 166 - Bangu
> > > Santo André - SP
> > > homepages: http://tinyurl.com/juliana-bueno-soler
> > >http://geocities.com/j_bueno13/
> > > ___
> > > 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 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
>



-- 
Anderson de Araújo
Posdoctoral Researcher at IME-USP
Associated Researcher at CLE-UNICAMP
Webpage:
http://www.cle.unicamp.br/principal/institucional/alunos/index.php?home=araujo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Fwd: categories: CTCS available online

2012-08-03 Por tôpico Regivan Hugo Nunes Santiago 
Oi Valéria,

acho que deu algum problema quando você copiou o endereço, eu consegui baixar o 
livro no seguinte endereço:

ftp://ftp.math.mcgill.ca/barr/pdffiles/

Regivan

Em 03/08/2012, às 10:55, Valeria de Paiva escreveu:

> oi Regivan,
> bom que vc tb gostou.
> sobre a lista eles dizem: http://www.mta.ca/~cat-dist/
> 
> Administrative items (subscriptions, address changes etc.) should be sent to
> categories-requ...@mta.ca 
> Categories uses Majordomo mailing list software. To receive list email at the 
> address from which you are sending a subscription request,  simply write 
> "subscribe" in the body of your message. If you wish to have categories 
> mailings go to a different address, add that address to your message. For 
> instance, you might put the line "subscribe j...@my-uni.org" in the mail 
> message body. To terminate your subscription, send the message "unsubscribe". 
> This may fail if your provider has changed the way your address is shown in 
> your mail. To remove an address other than the one from which you are sending 
> the request, give that address in the request: "unsubscribe j...@my-uni.org".
> 
> abracos,
> Valeria
> On Fri, Aug 3, 2012 at 4:46 AM, Regivan Hugo Nunes Santiago 
>  wrote:
> Essa é uma boa notícia Valeria, eu procurei por tempos esse livro. Me diga 
> uma coisa, eu era assinante da lista Categories e de repente deixei de 
> receber notícias. Como faço para me associar de novo?
> 
> Regivan
> Em 03/08/2012, às 00:40, Valeria de Paiva escreveu:
> 
> > Boa noticia na mailing list "Categories"
> >
> >
> > -- Forwarded message --
> > From: Michael Barr 
> > Date: Thu, Aug 2, 2012 at 11:08 AM
> > Subject: categories: CTCS available online
> > To: Categories list 
> >
> >
> > The book, Category Theory for Computing Science, is now available for free
> > download.  Point your browser to
> > ftp://ftp.math.mcgill.ca/barr/**pdffiles/Index.html
> > and choose it.  Or point your browser to
> > ftp://ftp.math.mcgill.ca/barr/**pdffiles/ctcs.pdf
> > to get it in one step.
> >
> > I have also asked TAC to consider it as a TAC reprint.
> >
> > Michael
> >
> > --
> > The modern conservative is engaged in one of man's oldest exercises in
> > moral philosophy--the search for a superior moral justification
> > for selfishness.  --J.K. Galbraith
> >
> >
> > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
> >
> >
> >
> > --
> > Valeria de Paiva
> > http://www.cs.bham.ac.uk/~vdp/
> > http://valeriadepaiva.org/www/
> > ___
> > 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/

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

Re: [Logica-l] Fwd: categories: CTCS available online

2012-08-03 Por tôpico Valeria de Paiva 
obrigada por consertar o endereco Regivan!
abs
Valeria
On Fri, Aug 3, 2012 at 8:01 AM, Regivan Hugo Nunes Santiago <
regivan.santi...@gmail.com> wrote:

> Oi Valéria,
>
> acho que deu algum problema quando você copiou o endereço, eu consegui
> baixar o livro no seguinte endereço:
>
> ftp://ftp.math.mcgill.ca/barr/pdffiles/
>
> Regivan
>
> Em 03/08/2012, às 10:55, Valeria de Paiva escreveu:
>
> oi Regivan,
> bom que vc tb gostou.
> sobre a lista eles dizem: http://www.mta.ca/~cat-dist/
>
> Administrative items (subscriptions, address changes etc.) should be sent
> to
>  * categories-requ...@mta.ca * 
> Categories uses Majordomo mailing list software. To receive list email at
> the address from which you are sending a subscription request, simply write
> "subscribe" in the body of your message. If you wish to have categories
> mailings go to a different address, add that address to your message. For
> instance, you might put the line "subscribe j...@my-uni.org" in the mail
> message body. To terminate your subscription, send the message
> "unsubscribe". This may fail if your provider has changed the way your
> address is shown in your mail. To remove an address other than the one from
> which you are sending the request, give that address in the request:
> "unsubscribe j...@my-uni.org".
>
> abracos,
> Valeria
> On Fri, Aug 3, 2012 at 4:46 AM, Regivan Hugo Nunes Santiago <
> regivan.santi...@gmail.com> wrote:
>
>> Essa é uma boa notícia Valeria, eu procurei por tempos esse livro. Me
>> diga uma coisa, eu era assinante da lista Categories e de repente deixei de
>> receber notícias. Como faço para me associar de novo?
>>
>> Regivan
>> Em 03/08/2012, às 00:40, Valeria de Paiva escreveu:
>>
>> > Boa noticia na mailing list "Categories"
>> >
>> >
>> > -- Forwarded message --
>> > From: Michael Barr 
>> > Date: Thu, Aug 2, 2012 at 11:08 AM
>> > Subject: categories: CTCS available online
>> > To: Categories list 
>> >
>> >
>> > The book, Category Theory for Computing Science, is now available for
>> free
>> > download.  Point your browser to
>> > ftp://ftp.math.mcgill.ca/barr/**pdffiles/Index.html<
>> ftp://ftp.math.mcgill.ca/barr/pdffiles/Index.html>
>> > and choose it.  Or point your browser to
>> > ftp://ftp.math.mcgill.ca/barr/**pdffiles/ctcs.pdf<
>> ftp://ftp.math.mcgill.ca/barr/pdffiles/ctcs.pdf>
>> > to get it in one step.
>> >
>> > I have also asked TAC to consider it as a TAC reprint.
>> >
>> > Michael
>> >
>> > --
>> > The modern conservative is engaged in one of man's oldest exercises in
>> > moral philosophy--the search for a superior moral justification
>> > for selfishness.  --J.K. Galbraith
>> >
>> >
>> > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
>> >
>> >
>> >
>> > --
>> > Valeria de Paiva
>> > http://www.cs.bham.ac.uk/~vdp/
>> > http://valeriadepaiva.org/www/
>> > ___
>> > 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/
>
>
>


-- 
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Fwd: categories: CTCS available online

2012-08-03 Por tôpico Adolfo Neto 
O link direto então é este aqui:

ftp://ftp.math.mcgill.ca/barr/pdffiles/ctcs.pdf

On Fri, Aug 3, 2012 at 12:19 PM, Valeria de Paiva  wrote:

> obrigada por consertar o endereco Regivan!
> abs
> Valeria
> On Fri, Aug 3, 2012 at 8:01 AM, Regivan Hugo Nunes Santiago <
> regivan.santi...@gmail.com> wrote:
>
> > Oi Valéria,
> >
> > acho que deu algum problema quando você copiou o endereço, eu consegui
> > baixar o livro no seguinte endereço:
> >
> > ftp://ftp.math.mcgill.ca/barr/pdffiles/
> >
> > Regivan
> >
> > Em 03/08/2012, às 10:55, Valeria de Paiva escreveu:
> >
> > oi Regivan,
> > bom que vc tb gostou.
> > sobre a lista eles dizem: http://www.mta.ca/~cat-dist/
> >
> > Administrative items (subscriptions, address changes etc.) should be sent
> > to
> >  * categories-requ...@mta.ca * 
> > Categories uses Majordomo mailing list software. To receive list email at
> > the address from which you are sending a subscription request, simply
> write
> > "subscribe" in the body of your message. If you wish to have categories
> > mailings go to a different address, add that address to your message. For
> > instance, you might put the line "subscribe j...@my-uni.org" in the mail
> > message body. To terminate your subscription, send the message
> > "unsubscribe". This may fail if your provider has changed the way your
> > address is shown in your mail. To remove an address other than the one
> from
> > which you are sending the request, give that address in the request:
> > "unsubscribe j...@my-uni.org".
> >
> > abracos,
> > Valeria
> > On Fri, Aug 3, 2012 at 4:46 AM, Regivan Hugo Nunes Santiago <
> > regivan.santi...@gmail.com> wrote:
> >
> >> Essa é uma boa notícia Valeria, eu procurei por tempos esse livro. Me
> >> diga uma coisa, eu era assinante da lista Categories e de repente
> deixei de
> >> receber notícias. Como faço para me associar de novo?
> >>
> >> Regivan
> >> Em 03/08/2012, às 00:40, Valeria de Paiva escreveu:
> >>
> >> > Boa noticia na mailing list "Categories"
> >> >
> >> >
> >> > -- Forwarded message --
> >> > From: Michael Barr 
> >> > Date: Thu, Aug 2, 2012 at 11:08 AM
> >> > Subject: categories: CTCS available online
> >> > To: Categories list 
> >> >
> >> >
> >> > The book, Category Theory for Computing Science, is now available for
> >> free
> >> > download.  Point your browser to
> >> > ftp://ftp.math.mcgill.ca/barr/**pdffiles/Index.html<
> >> ftp://ftp.math.mcgill.ca/barr/pdffiles/Index.html>
> >> > and choose it.  Or point your browser to
> >> > ftp://ftp.math.mcgill.ca/barr/**pdffiles/ctcs.pdf<
> >> ftp://ftp.math.mcgill.ca/barr/pdffiles/ctcs.pdf>
> >> > to get it in one step.
> >> >
> >> > I have also asked TAC to consider it as a TAC reprint.
> >> >
> >> > Michael
> >> >
> >> > --
> >> > The modern conservative is engaged in one of man's oldest exercises in
> >> > moral philosophy--the search for a superior moral justification
> >> > for selfishness.  --J.K. Galbraith
> >> >
> >> >
> >> > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
> >> >
> >> >
> >> >
> >> > --
> >> > Valeria de Paiva
> >> > http://www.cs.bham.ac.uk/~vdp/
> >> > http://valeriadepaiva.org/www/
> >> > ___
> >> > 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/
> >
> >
> >
>
>
> --
> Valeria de Paiva
> http://www.cs.bham.ac.uk/~vdp/
> http://valeriadepaiva.org/www/
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 


==
Adolfo Neto
Assistant Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Twitter: http://twitter.com/adolfont
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==


Q: Why is this email three sentences or less?
A: http://three.sentenc.es
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] RES: Fwd: Walter Carnielli: indicação para medalha de ouro

2012-08-03 Por tôpico Adolfo Neto 
+1
Parabéns Walter!!!

2012/8/3 Anderson de Araújo 

> Caro Walter,
>
> Meus parabéns!
>
> Abraços,
>
> Anderson
>
>
> Em 2 de agosto de 2012 22:19, Jorge Alberto Molina  >escreveu:
>
> > Parabéns Walter. Fico muito feliz pela sua premiação. Um forte abraço.
> > Jorge Molina
> >
> > 
> > De: logica-l-boun...@dimap.ufrn.br [logica-l-boun...@dimap.ufrn.br] em
> > nome de josé carlos cifuentes [jcc...@gmail.com]
> > Enviado: quarta-feira, 1 de agosto de 2012 16:37
> > Para: Carlos Gonzalez
> > Cc: Carlos González; Lista acadêmica brasileira dos profissionais e
> > estudantes da área de LOGICA; Walter Carnielli
> > Assunto: Re: [Logica-l] Fwd: Walter Carnielli: indicação para medalha de
> > ouro
> >
> > Walter, meus parabens e também de parte de Blanca por esta homenagem que
> > nos "enorgullece". Apenas soube enviei a mensagem a Blanca que se
> encontra
> > em Peru, mas já volta semana que vem.
> > Um grande abraço.
> > Cifa
> >
> > Em 1 de agosto de 2012 16:04, Carlos Gonzalez 
> > escreveu:
> >
> > > Parabéns Walter, pela merecida premiação, fruto de notáveis
> > > contribuições à lógica.
> > >
> > > É uma honra para todos nós ter um colega de primeiro nível
> > > internacional na pesquisa como você.
> > >
> > > Abraços
> > >
> > > Carlos
> > >
> > > 2012/8/1 Joao Marcos :
> > >  > -- Forwarded message --
> > > > From: Juliana Bueno-Soler 
> > > > Date: 2012/8/1
> > > > Subject: Walter Carnielli: indicação para medalha de ouro
> > > >
> > > >
> > > > Caros colegas e amigos:
> > > >
> > > > escrevo para comunicar que o Prof. Walter Carnielli foi indicado para
> > > > receber a medalha de ouro da Telesio Galilei Academy of Science
> > (baseada
> > > > em Bellinzona, Suiça) para 2013 na área de Matemática, por suas
> > > > contribuições conjuntas à Matematica, Lógica e Filosofia
> > > >
> > > > http://telesio-galilei.com/tg/index.php/academy-award-2013
> > > >
> > > > O nome da academia homenageia Bernardino Telesio e Galileo Galilei,
> > tidos
> > > > como heróis da resistência à autoridade contra a ciência livre.
> > > >
> > > > A academia premiou desde 2008 diversos físicos, matemáticos e alguns
> > > > poucos filósofos, incluindo os brasileiros Fernando Galembeck
> (Química,
> > > > Unicamp) e Djairo Guedes de Figueiredo (Matemática, Unicamp).
> > > >
> > > > Gostaria que alguém postasse esta mensagem na Lista dos Lógicos
> > > > Brasileiros (da qual eu não faço parte mais).
> > > >
> > > > Att.,
> > > > Juliana
> > > >
> > > > +
> > > > Juliana Bueno-Soler
> > > > Professor Adjunto I
> > > > Universidade Federal do ABC - CCNH
> > > > Rua Santa Adélia, 166 - Bangu
> > > > Santo André - SP
> > > > homepages: http://tinyurl.com/juliana-bueno-soler
> > > >http://geocities.com/j_bueno13/
> > > > ___
> > > > 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 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
> >
>
>
>
> --
> Anderson de Araújo
> Posdoctoral Researcher at IME-USP
> Associated Researcher at CLE-UNICAMP
> Webpage:
>
> http://www.cle.unicamp.br/principal/institucional/alunos/index.php?home=araujo
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 


==
Adolfo Neto
Assistant Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Twitter: http://twitter.com/adolfont
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==


Q: Why is this email three sentences or less?
A: http://three.sentenc.es
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: categories: Link to ctcs

2012-08-03 Por tôpico Valeria de Paiva 
Pelo menos nao foi o meu cut-and-paste que causou o problema...
Valeria

-- Forwarded message --
From: Michael Barr 
Date: Fri, Aug 3, 2012 at 6:06 AM
Subject: categories: Link to ctcs
To: Categories list 


I have fixed it.  It shows what can happen with cut and paste (and forget
to edit completely).  Anyway, it ought to work now.

Michael

-- 
The modern conservative is engaged in one of man's oldest exercises in
moral philosophy--the search for a superior moral justification
for selfishness.  --J.K. Galbraith


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]



-- 
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l