Fwd: Amílcar Sernadas (sad news)

[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 vigil service will start on February 8th at 17h in
Igreja São João de Deus, Lisboa. The funeral will leave at 11h on
February 9th towards the Alto de São João cemetery.

Best regards,
fmd

[Marcelo Finger]

Outra grande perda. Muito triste mesmo!

[]s

> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhJR%3DxLS%3Deru1FAUWsLmk5TQyuHXUaN7x2iA0EbX5z4Tw%40mail.gmail.com.



--
Marcelo Finger
Departament of Computer Science, IME
University of Sao Paulo
http://www.ime.usp.br/~mfinger

[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 <boto...@gmail.com>:

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhJR%3DxLS%3Deru1FAUWsLmk5TQyuHXUaN7x2iA0EbX5z4Tw%40mail.gmail.com.

--

Valeria de Paiva
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/

[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

--
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsRQPNm%2B6wa0vkme7uBk7%2B9pqHO%3DW_THeVi8AnLmo8v0A%40mail.gmail.com.

[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

>> um e-mail para logica-l+u...@dimap.ufrn.br.

>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsRQPNm%2B6wa0vkme7uBk7%2B9pqHO%3DW_THeVi8AnLmo8v0A%40mail.gmail.com.
>
>

> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie

> um e-mail para logica-l+u...@dimap.ufrn.br.

> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse

> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEQwYATWF_6BjzrrgjSnZH2WtKmRiS4p6VRoJb86PBThkvdOrg%40mail.gmail.com.



--
http://sequiturquodlibet.googlepages.com/

[Walter Alexandre Carnielli]

Tive a satisfação e o privilégio  de ter, antes de todos  os não -portugueses nessa lista,  conhecido Amilcar e seu grupo e de ter aproximado os lógicos  brasileiros dos portugueses. Foi uma aproximação valiosíssima, dos dois lados, como muitos de voces podem atestar.

Amilcar foi uma peca fundamental, com suas críticas inteligentes, sua amabilidade sincera e picante ao mesmo tempo, e sobretudo pelo seu interesse (e do grupo do IST) pelas nossas ideias reciprocas,  que levaram a tantos trabalhos conjuntos.

Fomos muito amigos, eu o vi pela ultima vez em Lisboa ha cerca de um ano e meio, em grande forma  ainda apesar da doença

Depois da nossa visita,  escreveu com João Rasga e Cristina Sernadas, o artigo, ainda não publicado,  "On probability and logic"

disponível aqui:

http://slc.math.ist.utl.pt/pub/SernadasA/15-SRS-opl.pdf

Entusiasmado como sempre, nos escreveu:

"Reitero aqui o que escrevemos nos Acknowledgments:
foram vocês que redespertaram em nós o interesse pelo tema
aquando da vossa última visita
em particular no debate de ideias motivado pela apresentação da Juliana.
Levou tempo mas conseguimos tudo o que na altura aleguei
(eg   equivalência perfeita entre a abordagem do Adams e a nossa
)e muito mais
(eg  colapso do probabilistic entailment no entailment clássico,
semântica probabilistic como stochastic process,
PPL extensão conservativa e decidível de CPL)."


O artigo eh excelente, e mostra seu elan vital, como diz o João.

Assim como com Amilcar, conheci Smullyan desde a publicação da minha tese de doutorado, que generalizava  seu trabalho sobre tablos. Tive inclusive  o prazer de ser editor  um de seus livros:

"The Magic Garden of George B. And Other Logic Puzzles"

 Series "Contemporary Logic", editor Walter Carnielli
Polimetrica Publisher, Monza, Italy, 2007, ISBN 978-88-7699-066-3

Abraços tristes, pelas duas perdas  no mesmo dia, Amilcar Sernadas e Ray Smullyan,

que nunca se conheceram mas que tiveram, na minha opinião,  características semelhantes  na  sua vida.

Ambos farão, sem duvida, imensa falta

Walter

[jyb]

Amilcar Sernadas ficou entusiasto pela logica universal desde do inicio e nos encorajou a organizar o UNILOG'2010 em Lisboa

Falo sobre isso e  a nossa relacao na ultima parte do artigo dedicado a ele que eu escrevi recentemente

Monosequent Proof Systems

http://www.jyb-logic.org/MONO

Jean-Yves