Re: [Logica-l] Fwd: Amílcar Sernadas (sad news)

2017-02-07 Por tôpico Joao Marcos
Não foi apenas um homem que nos deixou: foi uma força da natureza! Amílcar levou consigo, do mundo, um pouco do élan vital. Fará imensa falta! Joao Marcos 2017-02-07 22:23 GMT+01:00 josé carlos cifuentes : > Meus respeitos e sentimentos aos familiares e aos amigos que conheceram mais > de pert

Re: [Logica-l] Fwd: Amílcar Sernadas (sad news)

2017-02-07 Por tôpico josé carlos cifuentes
Meus respeitos e sentimentos aos familiares e aos amigos que conheceram mais de perto ao Amílcar Sernadas, eu só tratei pessoalmente ele em 2005 quando tive oportunidade de visita-lo no IST de Lisboa quando eu voltava de um congresso em Porto, e já percebi sua grande personalidade. Cifuentes Em 7

Re: [Logica-l] Raymond Smullyan

2017-02-07 Por tôpico Joao Marcos
> JM qual 'e o livro que 'e autobiography do Smullyan? O primeiro livro que ele escreveu com este objetivo, publicado em 2002, é "Some Interesting Memories: A paradoxical life". Mas não é BEM uma autobiografia... Em 2015 apareceu um outro livro (que eu não li) ---na aparência, mais propriamente

Re: [Logica-l] Fwd: Amílcar Sernadas (sad news)

2017-02-07 Por tôpico Valeria de Paiva
Puxa vida!! ta' dificil, ne? JM qual 'e o livro que 'e autobiography do Smullyan? 2017-02-07 10:05 GMT-08:00 Joao Marcos : > Esta é uma data realmente triste... Perdemos mais uma grande e > insubstituível personalidade. Não será esquecido. > > Joao Marcos > > > -- Forwarded message

Re: [Logica-l] Fwd: Amílcar Sernadas (sad news)

2017-02-07 Por tôpico Marcelo Finger
Outra grande perda. Muito triste mesmo! []s 2017-02-07 10:05 GMT-08:00 Joao Marcos : > Esta é uma data realmente triste... Perdemos mais uma grande e > insubstituível personalidade. Não será esquecido. > > Joao Marcos > > > -- Forwarded message -- > From: Francisco Dionisio >

Re: [Logica-l] Raymond Smullyan

2017-02-07 Por tôpico Joao Marcos
Thus was Raymond Smullyan, master of the Tao, in his multiplicity ("everybody is unique, but myself!"): an influential logician, an accomplished pianist, an entertaining magician, an authentic caretaker, a kind humanist. A finite life is surely the ultimate paradox to be solved by us. It is so ap

[Logica-l] Fwd: Amílcar Sernadas (sad news)

2017-02-07 Por tôpico Joao Marcos
Esta é uma data realmente triste... Perdemos mais uma grande e insubstituível personalidade. Não será esquecido. Joao Marcos -- Forwarded message -- From: Francisco Dionisio Dear friends, We regret to inform that our colleague Amílcar Sernadas passed away this morning. The v

[Logica-l] EBL 2017: New Extended Deadline: FEB 16, 2017!

2017-02-07 Por tôpico Bruno Lopes
XVIII Brazilian Logic Conference (EBL 2017) Pirenópolis, Brazil, May 8-12, 2017 New Extended Deadline: FEB 16, 2017! Please, disseminate this extended deadline. We cordially invite submissions of contributed papers on the general topics of Logic, including - Philosophical and Mathematical Logic, a

[Logica-l] Fwd: New MSc in Logic, Semantics, and Verification of Programs

2017-02-07 Por tôpico Elaine Pimentel
Prezados colegas, A pedido da Profa. Alexandra Silva, encaminho a mensagem sobre o novo mestrado na University College London. Para quem não conhece, a Alexandra é uma das mais brilhantes jovens cientistas na área de TCS. Vale a pena dar uma conferida! Abraços, Elaine. New MSc in Logi

Re: [Logica-l] Raymond Smullyan

2017-02-07 Por tôpico Marcelo Finger
Oi Walter. Que triste! Um grande lógico, e uma presença inesquacível. []s Marcelo 2017-02-07 4:15 GMT-08:00 Walter Carnielli : > Caros, > > uma noticia triste: um matemagico nos deixou, abandonados... e não saberemos > sua ultima noticia: > >> Raymond has passed away. I am getting this second

[Logica-l] Fwd: categories: WiL 2017: Women in Logic Workshop Second Call for Papers (new dates)

2017-02-07 Por tôpico Valeria de Paiva
-- Forwarded message -- From: Amy Felty Date: Mon, Feb 6, 2017 at 10:48 AM Subject: categories: WiL 2017: Women in Logic Workshop Second Call for Papers (new dates) To: categor...@mta.ca Second Call for Papers WiL 2017: Women in Logic Workshop

[Logica-l] Raymond Smullyan

2017-02-07 Por tôpico Walter Carnielli
Caros, uma noticia triste: um matemagico nos deixou, abandonados... e não saberemos sua ultima noticia: > Raymond has passed away. I am getting this second hand, and the details may not be entirely correct, but they are close enough. I understand that yesterday he had a small stroke and was not

[Logica-l] EBL XVIII Extended Deadline: February 16

2017-02-07 Por tôpico Marcelo Esteban Coniglio
New Extended Deadline: FEB 16, 2017! Please, disseminate this extended deadline. We cordially invite submissions of contributed papers on the general topics of Logic, including - Philosophical and Mathematical Logic, and Applications, - History and Philosophy of Logic, - Non-classical Logic and A

[Logica-l] Fwd: Formal Models of Scientific Inquiry, Bochum (Germany), 18-19 Jul 2017

2017-02-07 Por tôpico Joao Marcos
-- Forwarded message -- CALL FOR ABSTRACTS: Formal Models of Scientific Inquiry When: July 18-19, 2017 Where: Institute of Philosophy II, Ruhr-University Bochum Conference website: http://homepage.ruhr-uni-bochum.de/defeasible-reaso ning/Conference-Formal-Models.html Description