Caros
Solicito divulgação do workshop em anexo. Aos interessados, apareçam.
Grato,
DK
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-940 Florianópolis, SC -- Brasil
deciokrause[at]gmail.com
www.cfh.ufsc.br/~dkrause
Temos varios logicos que trabalham com computacao na lista. Vale a pena
conferir:
http://teardownthispaywall.appspot.com/
Valeria
--
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/
___
Logica-l mailing list
Logica-l@dimap.ufr
Hummm, isto me faz recordar o mais recente editorial escrito por Moshe
Vardi para a CACM:
http://cacm.acm.org/magazines/2013/3/161207-to-boycott-or-not-to-boycott/fulltext
Será que já haviam circulado rumores desta nova petição?
Obviamente, a frase "I believe in keeping science separate from
polit
http://rjlipton.wordpress.com/2013/02/24/who-invented-boolean-functions/
(O livro de Badesa citado no ensaio acima também parece ser bastante
interessante.)
JM
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/lis
Eu também estava interessado no livro do Badesa. Para variar, é caro e,
como todo computeiro, fiquei acostumado a baixar livros; mas ao mesmo
tempo, como todo ex-geek de humanas, acho mais prático ter o livro à mão.
De qualquer modo, para o pessoal da área com tendências de 'fundamentos'
(história
-- Forwarded message --
Litwin Books, LLC offers a yearly award of $1,000 for Ongoing Doctoral
Dissertation Research in the Philosophy of Information
For more details please see http://litwinbooks.com/award.php
1. Nature of the Award
1.1 The award shall consist of $1,000, given
-- Forwarded message --
ACKERMANN AWARD 2013 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN
COMPUTER SCIENCE
CALL FOR NOMINATIONS
Eligible for the 2013 Ackermann Award are PhD dissertations in topics
specified by the EACSL and LICS conferences, which were formally
accep