[Logica-l] Fwd: Launch of the Society for the Philosophy of Information (SPI)

2013-02-04 Por tôpico Joao Marcos
-- Forwarded message -- ** Apologies for Cross-Posting ** Following a 10-year period of formal and informal collaboration between several researchers, the establishment of the Society for the Philosophy of Information (SPI, [1]) inaugurates the next phase in the development of the

[Logica-l] Semantics of proofs and certified mathematics

2013-02-04 Por tôpico Elaine Pimentel
Repassando... ** We are pleased to point you to the web page http://ihp2014.pps.univ-paris-diderot.fr/ of the IHP trimester ** Semantics of proofs and certified mathematics ** which will be held in Paris from April 7 to July 11, 2014 (cf. previous pre-announcement on this forum). The web

[Logica-l] Fwd: Concurso UFABC -

2013-02-04 Por tôpico Walter Carnielli
Encaminhado a pedidos de colegas da UFABC: -- Mensagem encaminhada --- As inscrições do concurso de Epistemologia Contemporânea foram prorrogadas até dia 22 de fevereiro. Até agora, não tivemos muitas inscrições. Peço encarecidamente que divulguem o concurso. O link do edital é: http

[Logica-l] Nominations for Nevanlinna Prize

2013-02-04 Por tôpico Joao Marcos
The Nevanlinna Prize committee is seeking nominations for the 2014 award (to be sent to the chair). The prize recognizes a researcher under 40 years old for work in “All mathematical aspects of computer science”. http://agtb.wordpress.com/2013/01/31/nominations-for-nevanlinna-prize/ __