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

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

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

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

Re: [Logica-l] Raymond Smullyan

> 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)

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 > > > --

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

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:

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

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

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

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,

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

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

Re: [Logica-l] Raymond Smullyan

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

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

-- 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

[Logica-l] Raymond Smullyan

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

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

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