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 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 de fevereiro de 2017 17:49, Valeria de Paiva
>  escreveu:
>>
>> 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 --
>>> 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
>>>
>>> --
>>> 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+unsubscr...@dimap.ufrn.br.
>>> Para postar neste grupo, envie um e-mail para logica-l@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/
>>
>> --
>> 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+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logica-l@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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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/

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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_LgbuYQ7P-nfrPmnHu%2Bohg3j%3DD1t%3DvVAEwNLKpbrgeo1Ag%40mail.gmail.com.

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 de fevereiro de 2017 17:49, Valeria de Paiva  escreveu:

> 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 --
>> 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
>>
>> --
>> 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+unsubscr...@dimap.ufrn.br.
>> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Visite este grupo em https://groups.google.com/a/di
>> map.ufrn.br/group/logica-l/.
>> Para ver esta discussão na web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/CAO6j_LhJR%3DxLS%3Deru1FAUWsLmk
>> 5TQyuHXUaN7x2iA0EbX5z4Tw%40mail.gmail.com.
>>
>
>
>
> --
> Valeria de Paiva
> http://research.nuance.com/author/valeria-de-paiva/
> http://www.cs.bham.ac.uk/~vdp/
> http://valeriadepaiva.org/
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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ê 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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CAEQwYATWF_6BjzrrgjSnZH2WtKmRiS4p6VRoJb86PBThkvdOrg%40mail.gmail.com.

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 autobiográfico, mas escrito da maneira smullyanesca bem
conhecida (through ramblings, I mean)--- chamado "Reflections: The
magic, music, and mathematics of Raymond Smullyan".

PLEASE DO NOT READ THIS LINE.

Abraços,
Joao Marcos

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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_Lg84-soe_x%3DGJsTQ7xCDby-8JLZ7aWi07b5Sp3qJuHPqQ%40mail.gmail.com.

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 --
> 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
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/di
> map.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/di
> map.ufrn.br/d/msgid/logica-l/CAO6j_LhJR%3DxLS%3Deru1FAUWsLm
> k5TQyuHXUaN7x2iA0EbX5z4Tw%40mail.gmail.com.
>



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

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CAESt%3DXsRQPNm%2B6wa0vkme7uBk7%2B9pqHO%3DW_THeVi8AnLmo8v0A%40mail.gmail.com.

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
>
>
> 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
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@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

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CABqmzx3X4obSYdkxbYR71S0BD6mKS_oke4hde_ajq8L7WiTyEA%40mail.gmail.com.

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 appropriate that Ray now leaves us with this last puzzle, the
one in which he has something to tell us, but we will never know what
it was...  And with this we go back to where we started,
self-referentially, to the hospital bed in which he was once stuck
when a young boy and his brother told him that he would have a big
surprise before the end of the day.  Of course, there was no surprise.
And this was very surprising to Ray!

He wouldn't like us to be sad today.  Or ever!  Let us cherish his memory.
Joao Marcos


2017-02-07 13:15 GMT+01: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 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 able to speak.  I was told he
>> indicated he wanted to write, but was not able to.  He was taken to the
>> hospital, and died overnight.
>>
>> Best,
>>
>> Melvin Fitting
>
> Tristemente,
> Walter
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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/CA%2Bob58NxJUrkvKeiT62-mOtiR51NOS05xHAY%2BYQreR2ny35t9g%40mail.gmail.com.



-- 
http://sequiturquodlibet.googlepages.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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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_Li%3DUMJVQPBKTLA-sMiwhYDe0tYNT38iyUyRQQBf0cC2iQ%40mail.gmail.com.

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

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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.

[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, and Applications,
- History and Philosophy of Logic,
- Non-classical Logic and Applications,
- Philosophy of Formal Sciences,
- Foundations of Computer Science, Physics, and Mathematics,
among others.
Abstracts to be submitted should be written in Portuguese, Spanish or English 
with a maximum of 300 words including title, name, keywords, affiliation and 
the essential bibliography.
We are happy to host round tables proposals with a duration of at most two 
hours. They may be divided as desired, with a maximum of 4 and a minimum of 3 
participants per session. The description and the title for the session should 
be of a maximum of 1500 words containing an abstract for each exposition 
including title, name, keywords, affiliation and bibliography. Each session 
must have a coordinating chair assigned in the proposal.
The author(s) should send a .pdf file by email to eblxv...@gmail.com
or ebl2...@inf.ufg.br until FEB 16, 2017.
Papers may be presented in Portuguese, Spanish or English, to fit a slot of 20 
minutes (exposition) + 10 minutes (questions).
The Scientific Committee will consider the following items when selecting the 
accepted papers:
- relevance and importance of the topic,
- originality,
- quality of work,
The list of accepted papers will be released on Feb 28, 2017. At least one 
author of each accepted paper must register for presenting the paper at the 
meeting. Each given participant may coauthor more than one paper, but will only 
be allowed to present a single talk.
The EBL 2017 also aims to be a forum for presenting and discussing work in 
progress and therefore to provide feedback for authors on their preliminary 
research. The proceedings are produced after the meeting, so that authors can 
incorporate the feedback received in the published papers.
LOGIC SCHOOL:
Starting with EBL 2008, the conference includes a Logic School aimed at 
undergraduate and graduate students with interest in Logic and related fields, 
but also open to all interested parties. The Logic School will happen in 
Pirenópolis, in parallel with the conference, and the titles of the tutorials 
will be announced soon at our Web page (which is still under construction). 
There, you will soon find more information about the meeting and about 
Pirenópolis: http://www.inf.ufg.br/ebl2017 
We apologize for multiple copies and ask you to disseminate this CFP.
Marcelo Coniglio (co-chair)
Itala D'Ottaviano (co-chair)
Wagner Sanz (co-chair)
-- 
Bruno Lopes
http://www.ic.uff.br/~bruno 

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/EBEBA2BA-EE14-45A8-B53D-77BED6F801D9%40gmail.com.

[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 Logic, Semantics, and Verification of Programs


Dear all,

We are excited to announce a new one year MSc programme at University
College London (UCL). This new Master’s programme is unique in the UK and
one of the few in Europe bringing together deep theoretical subjects and
practical program and systems verification. You can find more details about
the programme on the website:

http://www.cs.ucl.ac.uk/degrees/msc_lsvp/

The new MSc is organized by the Programming Principles, Logic, and
Verification (PPLV) group.

Research in the PPLV group spans theory and practice, including logic,
semantics, language design, program analysis, program verification, systems
verification, systems modelling, compilation, and theorem proving.

We have outstanding connections with cutting-edge industry and excellent
connections with other groups at UCL, including Systems and Networks,
Information Security, and Software Systems Engineering.

Attached is the poster advertising the programme. We are running a virtual
open day on the 16th February 2017. See details here:
http://www.cs.ucl.ac.uk/event_details/?eventnum=1369

Best wishes,

Alexandra Silva
Programme Director






-- 
Elaine.
-
Elaine Pimentel  - DMAT/UFRN

Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN

Phone: +55 84 3215-3820

http://sites.google.com/site/elainepimentel/
Lattes: http://lattes.cnpq.br/3298246411086415


-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CAHQVs%2BW-w0YfZ2VoZEzfUr5Y-LLL%2BhRLYJPp6MdyfFqQiCMXuw%40mail.gmail.com.

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 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 able to speak.  I was told he
>> indicated he wanted to write, but was not able to.  He was taken to the
>> hospital, and died overnight.
>>
>> Best,
>>
>> Melvin Fitting
>
> Tristemente,
> Walter
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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/CA%2Bob58NxJUrkvKeiT62-mOtiR51NOS05xHAY%2BYQreR2ny35t9g%40mail.gmail.com.



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

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CABqmzx0CizfKNrj1v2xkvbv9retvkHRzAYgEzNyYpCxqvco-6A%40mail.gmail.com.

[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
Reykjavik, Iceland
   June 19, 2017
https://sites.google.com/site/firstwomeninlogicworkshop/

NEW
* Submissions can be either a paper or a talk abstract.
* Extended submission deadline: 31 March 2017

OVERVIEW
Affiliated with the Thirty-Second Annual ACM/IEEE Symposium on Logic
in Computer Science (LICS) 20-23 June 2017, Reykjavik, Iceland.

We are holding the first Women in Logic (WiL) workshop as a LICS
associated workshop this year. The workshop intends to follow the
pattern of meetings such as Women in Machine Learning (WiML,
http://wimlworkshop.org/) or Women in Engineering (WIE,
(http://www.ieee-ras.org/membership/women-in-engineering) that have
been taking place for quite a few years.

Women are chronically underrepresented in the LICS community;
consequently they sometimes feel both conspicuous and isolated, and
hence there is a risk that the under-representation is
self-perpetuating.

The workshop will provide an opportunity for women in the field to
increase awareness of one another and one another's work, to combat
the feeling of isolation. It will also provide an environment where
women can present to an audience comprised of mostly women,
replicating the experience that most men have at most LICS meetings;
we hope that this will be particularly attractive to early-career
women.

Topics of interest of this workshop include but are not limited to the
usual Logic in Computer Science (LICS) topics. These are listed as
automata theory, automated deduction, categorical models and logics,
concurrency and distributed computation, constraint programming,
constructive mathematics, database theory, decision procedures,
description logics, domain theory, finite model theory, formal aspects
of program analysis, formal methods, foundations of computability,
higher-order logic, lambda and combinatory calculi, linear logic,
logic in artificial intelligence, logic programming, logical aspects
of bioinformatics, logical aspects of computational complexity,
logical aspects of quantum computation, logical frameworks, logics of
programs, modal and temporal logics, model checking, probabilistic
systems, process calculi, programming language semantics, proof
theory, real-time systems, reasoning about security and privacy,
rewriting, type systems and type theory, and verification.

SUBMISSIONS
Contributions should be written in English and can be submitted in the
form of full papers (with a maximum of 10 pages), short papers (with a
maximum of 5 pages), or talk abstracts (1 page).

Papers and abstracts should be prepared in latex using the LICS style
(IEEE Proceedings 2-column 10pt). LaTeX style files are available at
http://www.ctan.org/tex-archive/macros/latex/contrib/IEEEtran/.
Please use IEEEtran.cls version V1.8b, released on 26/08/2015.

The submission should be in the form of a PDF file uploaded to the WiL
2017 Easychair page (https://easychair.org/conferences/?conf=wil2017)
before the submission deadline of 31 March 2017, anywhere on Earth.

PROCEEDINGS
We plan to publish a post conference volume at ENTCS or other equally
visible outlet.

IMPORTANT DATES
Paper submission deadline:  31 March 2017
Author notification:  1 May 2017
Contribution for Informal Proceedings:  22 May 2017

INVITED SPEAKERS
* Claudia Nalon (University of Brasilia, Brasil)
* Catuscia Palamidessi (INRIA Saclay and LIX, France)

SCIENTIFIC AND ORGANIZING COMMITTEE
* Valeria de Paiva (Chair, Nuance Communications, USA)
* Adriana Compagnoni (Stevens Institute of Technology, USA)
* Amy Felty (University of Ottawa, Canada)
* Anna Ingolfsdottir (Reykjavik University, Iceland)
* Ursula Martin (University of Oxford, UK)
* Brigitte Pientka (McGill University, Canada)
* Alexandra Silva (University College London, UK)
* Perdita Stevens (University of Edinburgh, UK)



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]



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

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CAESt%3DXsPQFAXu41zkc4%3D_5qKHO_MosGDTpJT1ui-Kxq19ttE5Q%40mail.gmail.com.

[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 able to speak.  I was told he
indicated he wanted to write, but was not able to.  He was taken to the
hospital, and died overnight.
>
> Best,
>
> Melvin Fitting

Tristemente,
Walter

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CA%2Bob58NxJUrkvKeiT62-mOtiR51NOS05xHAY%2BYQreR2ny35t9g%40mail.gmail.com.

[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 Applications,
- Philosophy of Formal Sciences,
- Foundations of Computer Science, Physics, and Mathematics,
among others.

Abstracts to be submitted should be written in Portuguese, Spanish or
English with a maximum of 300 words including title, name, keywords,
affiliation and the essential bibliography.

We are happy to host round tables proposals with a duration of at most
two hours.  They may be divided as desired, with a maximum of 4 and a
minimum of 3 participants per session.  The description and the title
for the session should be of a maximum of 1500 words containing an
abstract for each exposition including title, name, keywords,
affiliation and bibliography.  Each session must have a coordinating
chair assigned in the proposal.

The author(s) should send a .pdf file by email to eblxv...@gmail.com
or ebl2...@inf.ufg.br until FEB 5, 2017.

Papers may be presented in Portuguese, Spanish or English, to fit a
slot of 20 minutes (exposition) + 10 minutes (questions).

The Scientific Committee will consider the following items when
selecting the accepted papers:
- relevance and importance of the topic,
- originality,
- quality of work,

The list of accepted papers will be released on Feb 28, 2017.  At
least one author of each accepted paper must register for presenting
the paper at the meeting.  Each given participant may coauthor more
than one paper, but will only be allowed to present a single talk.

The EBL 2017 also aims to be a forum for presenting and discussing
work in progress and therefore to provide feedback for authors on
their preliminary research.  The proceedings are produced after the
meeting, so that authors can incorporate the feedback received in the
published papers.


LOGIC SCHOOL:

Starting with EBL 2008, the conference includes a Logic School aimed
at undergraduate and graduate students with interest in Logic and
related fields, but also open to all interested parties. The Logic
School will happen in Pirenópolis, in parallel with the conference,
and the titles of the tutorials will be announced soon at our Web page
(which is still under construction). There, you will soon find more
information about the meeting and about Pirenópolis:
http://www.inf.ufg.br/ebl2017

We apologize for multiple copies and ask you to disseminate this CFP.

Marcelo Coniglio (co-chair)
Itala D'Ottaviano (co-chair)
Wagner Sanz (co-chair)

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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/CAMuX%3D36F_tfkTAssn0XbqCJKHUeB-dCU8AnyP4DHq%3D37DBaR6g%40mail.gmail.com.

[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: Throughout the last two decades philosophical discussions on
scientific inquiry have increasingly utilized formal models. This has been
especially fruitful for the investigation of social aspects of scientific
inquiry, such as the division of cognitive labor, social factors that
influence scientific decision making, etc. To this end a variety of formal
models have been developed, starting from analytical ones to agent-based
models that provide computer simulations of scientific inquiry. One of the
main advantages of formal approaches is that they help us to understand
these issues precisely and to form normative generalizations that are
difficult to obtain in view of traditional methods (such as, for example,
historical case studies). Nevertheless, models frequently come with a high
degree of idealization and simplification, which may impede their relevance
for actual scientific practice. This poses the question, to which extent
formal models can be used to provide an understanding of scientific
inquiry, and to which extent they can be improved with respect to their
relevance for science policy.
The aim of this conference is to bring together scholars working on
different approaches to the formal modeling of scientific inquiry to
discuss both different types of formal models and the prospects and limits
of their usefulness for philosophy of science, social epistemology and
science policy. We invite contributions on these and related issues,
including:

- analytical models of scientific inquiry
- agent-based models of scientific inquiry
- modeling science by means of formal argumentation
- Bayesian approaches to the modeling of scientific inquiry
- using economic models to tackle scientific decision making: pros and cons
- critical examination of the prospects and limits of formal models of
science

Keynote speakers:
Gregor Betz (Karlsruhe Institute of Technology)
Leah Henderson (University of Groningen)
Jason McKenzie Alexander (London School of Economics)

Abstract submission:
Authors are invited to submit an extended abstract (500-1000 words) related
to the above questions to the EasyChair account:
https://easychair.org/conferences/?conf=fmsi2017 by April 1, 2017.
Extended abstracts should be submitted as an attached PDF file. Please also
provide a short abstract of up to 100 words.
An application for a special issue with the conference post-proceedings
will be submitted to an internationally recognized journal (details TBA).

Important dates:
submission deadline: April 1, 2017
notifications: May 1, 2017
conference: July 18-19, 2017

Program Committee:
Jesus P. Zamora Bonilla (Universidad Nacional de Educación a Distancia)
Peter Brössel (Ruhr-University Bochum)
Anna-Maria Asunta Eder (Northeastern University)
Remco Heesen (University of Cambridge)
Bennett Holman (Yonsei University)
Rogier De Langhe (Ghent University)
Jan Sprenger (Tilburg University)

Organizing committee:
AnneMarie Borg
Dunja ?e?elja
Christian Straßer
Vlasta Sikimi?

For any queries please contact us at: modelsofscie...@gmail.com

http://homepages.ruhr-uni-bochum.de/defeasible-reasoning/index.html

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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_LjbYDTVJ9y72MgKSbM-VgpO5BkC%2BaEgosN_ZL9W_2g%2Bvw%40mail.gmail.com.