Re: [Logica-l] ICM 2018: Conferência de Lógica Matemática

2018-08-18 Por tôpico Antonio Marmo
Caros professores, amigos e colegas,

Não pude comparecer ao evento, apesar de ser no Rio, porque estou convalescendo 
de um longo tratamento médico. Mas, acredito que deve ter sido muito bom.

Apenas quero assinalar, se ninguém já o fez nesta lista, que no começo do ano 
tivemos também no Rio de Janeiro, um Congresso de Filosofia, sobre o tema da 
imaginação, organizado por Jean-Yves Béziau com vários apoios internacionais, 
que reuniu filósofos do mundo todo, e conduzido todo em francês. A este evento 
afluíram lógicos tanto quanto pesquisadores de outras áreas da Filosofia.

Depois disso, tivemos em Vichy, França, o Congresso de Lógica Universal, que 
foi um grande sucesso, inclusive com o concorrido debate entre Graham Priest e 
Walter Carnielli. (Não cabia tanta gente na sala!) Houve antes na Escola de 
Lógica outro evento com grande número de interessados: um curso dado pelo 
próprio Jean-Yves Béziau que fez um retrospecto histórico e conceitual 
fascinante, conciso e claro e que foi objeto de elogios gerais de uma plateia 
constituída majoritariamente de professores renomados. 

A sessão da qual fiz parte, modéstia à parte, de Lógica Universal, teve muitos 
trabalhos muito bons de pesquisadores mais novos e foi muito bem coordenada 
pelo Sérgio Marcelino.

Enfim, 2018 teve eventos na área da Lógica mais empolgantes que alguns 
processos eleitorais em curso.

Como faz poucos dias que retornei ao Brasil, não estou muito por dentro do que 
a comunidade lógica está fazendo agora, nem tive tempo de ler as mensagens 
dessa lista, portanto peço desculpas se coloquei essas coisas depois de outros 
já as terem comunicado.

PS: Apenas vou acrescentar que tanto o tema abordado pelo Jean-Yves, ‘the 
adventures of the turnstile’ (não sei se minha memória me trai agora), quanto o 
do Graham Priest, mereciam uma análise mais detalhada que não dá para fazer na 
lista, embora valha dizer que têm suas inter-relações.

> On 16 Aug 2018, at 17:52, Valeria de Paiva  wrote:
> 
> Prezados,
> Faco minhas as palavras do Cezar e agradeco de novo aos organizadores do 
> evento, que foi realmente excelente.
> Muito obrigada!
> abracos a todos,
> Valeria
> 
>> On Tue, Aug 14, 2018 at 11:41 AM C. Mortari  wrote:
>> Caro Bruno,
>> 
>> em nome da SBL, gostaria de deixar registrados nossos agradecimentos e 
>> parabéns a você e aos demais organizadores (Samuel, Petrúcio, Christina 
>> e Hugo) pelo excelente trabalho de organização dessa conferência de 
>> lógica satélite do ICM. Agradecemos também a todos os demais 
>> participantes do evento, esperando que futuras edições do ICM possam 
>> sempre ter eventos de lógica.
>> 
>> Um grande abraço,
>> 
>> Cezar
>> 
>> Em 2018-08-13 22:46, Bruno Lopes escreveu:
>> > Prezados,
>> > 
>> > Encerrou-se no sábado a conferência de lógica satélite do ICM, um
>> > parceria da SBL com a DLMPST. Tivemos auditório cheio durante todo o
>> > evento.
>> > 
>> > Gostaria de agradecer a todos que colaboraram, principalmente os
>> > membros da nossa comunidade brasileira que participaram,
>> > principalmente aqueles que ajudaram na organização (Samuel Gomes,
>> > Petrucio Viana, Christina Brech, Hugo Nóbrega), foram chairs de
>> > sessões (Samuel Gomes, Petrucio Viana, Walter Carnielli, Edward
>> > Hermann Haeusler, Luiz Carlos Pereira, Hugo Nóbrega, Christina
>> > Brech), apresentaram trabalhos (João Marcos, Thiago Silva, Giorgio
>> > Venturi) e aos keynote speakers (Valeria de Paiva, Chico Miraglia).
>> > 
>> > Infelizmente nem todos estavam presentes na hora desta foto (a lista
>> > limita o tamanho da mensagem, não dá pra incluir várias), mas em
>> > breve divulgaremos fotos de todos os momentos.
>> > 
>> > Abraços,
>> > 
>> > 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/a64397976f49e57f77a921313c3657d4%40cfh.ufsc.br.
> 
> 
> -- 
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://research.nuance.com/author/valeria-de-paiva/
> http://www.cs.bham.ac.uk/~vdp/
> 
> -- 
> 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%3DXteBf2GpBBOG6yq9z_7xDmV1k8SaBXLcpLvs4%3DUV6cE-w%40mail.gmail.com.

-- 
Você 

Re: [Logica-l] ICM 2018: Conferência de Lógica Matemática

2018-08-16 Por tôpico Valeria de Paiva
Prezados,
Faco minhas as palavras do Cezar e agradeco de novo aos organizadores do
evento, que foi realmente excelente.
Muito obrigada!
abracos a todos,
Valeria

On Tue, Aug 14, 2018 at 11:41 AM C. Mortari  wrote:

> Caro Bruno,
>
> em nome da SBL, gostaria de deixar registrados nossos agradecimentos e
> parabéns a você e aos demais organizadores (Samuel, Petrúcio, Christina
> e Hugo) pelo excelente trabalho de organização dessa conferência de
> lógica satélite do ICM. Agradecemos também a todos os demais
> participantes do evento, esperando que futuras edições do ICM possam
> sempre ter eventos de lógica.
>
> Um grande abraço,
>
> Cezar
>
> Em 2018-08-13 22:46, Bruno Lopes escreveu:
> > Prezados,
> >
> > Encerrou-se no sábado a conferência de lógica satélite do ICM, um
> > parceria da SBL com a DLMPST. Tivemos auditório cheio durante todo o
> > evento.
> >
> > Gostaria de agradecer a todos que colaboraram, principalmente os
> > membros da nossa comunidade brasileira que participaram,
> > principalmente aqueles que ajudaram na organização (Samuel Gomes,
> > Petrucio Viana, Christina Brech, Hugo Nóbrega), foram chairs de
> > sessões (Samuel Gomes, Petrucio Viana, Walter Carnielli, Edward
> > Hermann Haeusler, Luiz Carlos Pereira, Hugo Nóbrega, Christina
> > Brech), apresentaram trabalhos (João Marcos, Thiago Silva, Giorgio
> > Venturi) e aos keynote speakers (Valeria de Paiva, Chico Miraglia).
> >
> > Infelizmente nem todos estavam presentes na hora desta foto (a lista
> > limita o tamanho da mensagem, não dá pra incluir várias), mas em
> > breve divulgaremos fotos de todos os momentos.
> >
> > Abraços,
> >
> > 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/a64397976f49e57f77a921313c3657d4%40cfh.ufsc.br
> .
>


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

-- 
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%3DXteBf2GpBBOG6yq9z_7xDmV1k8SaBXLcpLvs4%3DUV6cE-w%40mail.gmail.com.


Re: [Logica-l] ICM 2018: Conferência de Lógica Matemática

2018-08-14 Por tôpico C. Mortari

Caro Bruno,

em nome da SBL, gostaria de deixar registrados nossos agradecimentos e 
parabéns a você e aos demais organizadores (Samuel, Petrúcio, Christina 
e Hugo) pelo excelente trabalho de organização dessa conferência de 
lógica satélite do ICM. Agradecemos também a todos os demais 
participantes do evento, esperando que futuras edições do ICM possam 
sempre ter eventos de lógica.


Um grande abraço,

Cezar

Em 2018-08-13 22:46, Bruno Lopes escreveu:

Prezados,

Encerrou-se no sábado a conferência de lógica satélite do ICM, um
parceria da SBL com a DLMPST. Tivemos auditório cheio durante todo o
evento.

Gostaria de agradecer a todos que colaboraram, principalmente os
membros da nossa comunidade brasileira que participaram,
principalmente aqueles que ajudaram na organização (Samuel Gomes,
Petrucio Viana, Christina Brech, Hugo Nóbrega), foram chairs de
sessões (Samuel Gomes, Petrucio Viana, Walter Carnielli, Edward
Hermann Haeusler, Luiz Carlos Pereira, Hugo Nóbrega, Christina
Brech), apresentaram trabalhos (João Marcos, Thiago Silva, Giorgio
Venturi) e aos keynote speakers (Valeria de Paiva, Chico Miraglia).

Infelizmente nem todos estavam presentes na hora desta foto (a lista
limita o tamanho da mensagem, não dá pra incluir várias), mas em
breve divulgaremos fotos de todos os momentos.

Abraços,

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/a64397976f49e57f77a921313c3657d4%40cfh.ufsc.br.


Re: [Logica-l] ICM 2018: Conferência de Lógica Matemática

2018-08-13 Por tôpico Bruno Lopes
Prezados,

Encerrou-se no sábado a conferência de lógica satélite do ICM, um parceria da 
SBL com a DLMPST. Tivemos auditório cheio durante todo o evento.

Gostaria de agradecer a todos que colaboraram, principalmente os membros da 
nossa comunidade brasileira que participaram, principalmente aqueles que 
ajudaram na organização (Samuel Gomes, Petrucio Viana, Christina Brech, Hugo 
Nóbrega), foram chairs de sessões (Samuel Gomes, Petrucio Viana, Walter 
Carnielli, Edward Hermann Haeusler, Luiz Carlos Pereira, Hugo Nóbrega, 
Christina Brech), apresentaram trabalhos (João Marcos, Thiago Silva, Giorgio 
Venturi) e aos keynote speakers (Valeria de Paiva, Chico Miraglia).

Infelizmente nem todos estavam presentes na hora desta foto (a lista limita o 
tamanho da mensagem, não dá pra incluir várias), mas em breve divulgaremos 
fotos de todos os momentos.

Abraços,

Bruno.

> On 10 Aug 2018, at 10:20, Bruno Lopes  wrote:
> 
> Olá, pessoal!
> 
> A SBL coordenou todos os aspectos locais. Além disso houve, sim, 
> financiamento da SBL e composição no comitê de programa. Podemos dar todos os 
> detalhes do longo processo. 
> 
> Estamos bastante animados com o evento acontecendo. Quem veio ao ICM, basta 
> atravessar a baía e vir para o MAC!
> 
> Reforço o convite a todos que desejem participar! O evento acaba de começar 
> com a palestra de Valeria de Paiva. 
> 
> Abraços, 
> 
> Bruno.
> 
> Em Sex, 10 de ago de 2018 10:17, Walter Carnielli  > escreveu:
> Beleza Elaine, aplaudo e agradeço sinceramente aos ooganizadores. Mas como um 
> chato de plantão,  não consigo   deixar de notar esses pequenos e 
> insignificantes  detalhes :-)
> 
>  abraço,
> Walter
> 
> Em sex, 10 de ago de 2018 09:57, Elaine Pimentel  > escreveu:
> Bom dia, Walter!
> 
> Se você olhar no começo da página, está escrito: Satellite event for the 
> International Congress of Mathematicians 2018 co-organised by the Sociedade 
> Brasileira de Lógica and DLMPST/IUHPST.
> 
> Acredito (sinceramente) que o fato de a SBL não constar nos sponsors deve ter 
> sido um erro de quem fez a página...
> 
> Abraços,
> 
> 2018-08-10 9:51 GMT-03:00 Walter Carnielli  >:
> Uau!
> 
> Agora foi que notei: a Sociedade Brasileira de Lógica nem aparece entre os 
> sponsors?
> 
> Estranho ver um evento em lógica,  feito no Brasil como satélite do ICM20108, 
> apoiado somente  pela associação holandesa, pela, italina, ASL e DMPLST.
> 
> Parece que não precisamos nem do IMPA para nos desapoiar...
> 
> 
> 
> Em ter, 7 de ago de 2018 13:25, Bruno Lopes  > escreveu:
> Prezados associados, 
> 
> A SBL informa que a programação já está disponível na página da conferência 
> satélite.
> 
> http://www.dlmpst.org/pages/activities/icm-2018-satellite.php 
> 
> 
> Convidamos a todos, principalmente os que se encontram no entorno da Baía de 
> Guanabara, a participar do primeiro evento satélite de lógica do ICM. O 
> evento ocorre sexta e sábado (10 e 11 de agosto) no auditório do Museu de 
> Arte Contemporânea (MAC) de Niterói. Em caso de dúvidas, não hesitem em nos 
> contactar. 
> 
> -- 
> 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/CAFfvUVi6KLfdQpRajHKN451w4dYgtJVYjT7NzS2CR6oW0TY16A%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/CA%2Bob58PB1NdE%2BcU_ohrXeV4mgF03UJE3_aO8Pje8Cyn%2BQdUj3Q%40mail.gmail.com
>  
> 

Re: [Logica-l] ICM 2018: Conferência de Lógica Matemática

2018-08-10 Por tôpico Bruno Lopes
Olá, pessoal!

A SBL coordenou todos os aspectos locais. Além disso houve, sim,
financiamento da SBL e composição no comitê de programa. Podemos dar todos
os detalhes do longo processo.

Estamos bastante animados com o evento acontecendo. Quem veio ao ICM, basta
atravessar a baía e vir para o MAC!

Reforço o convite a todos que desejem participar! O evento acaba de começar
com a palestra de Valeria de Paiva.

Abraços,

Bruno.

Em Sex, 10 de ago de 2018 10:17, Walter Carnielli <
walter.carnie...@gmail.com> escreveu:

> Beleza Elaine, aplaudo e agradeço sinceramente aos ooganizadores. Mas como
> um chato de plantão,  não consigo   deixar de notar esses pequenos e
> insignificantes  detalhes :-)
>
>  abraço,
> Walter
>
> Em sex, 10 de ago de 2018 09:57, Elaine Pimentel <
> elaine.pimen...@gmail.com> escreveu:
>
>> Bom dia, Walter!
>>
>> Se você olhar no começo da página, está escrito: Satellite event for the
>> International Congress of Mathematicians 2018 co-organised by the Sociedade
>> Brasileira de Lógica and DLMPST/IUHPST.
>>
>> Acredito (sinceramente) que o fato de a SBL não constar nos sponsors deve
>> ter sido um erro de quem fez a página...
>>
>> Abraços,
>>
>> 2018-08-10 9:51 GMT-03:00 Walter Carnielli :
>>
>>> Uau!
>>>
>>> Agora foi que notei: a Sociedade Brasileira de Lógica nem aparece entre
>>> os sponsors?
>>>
>>> Estranho ver um evento em lógica,  feito no Brasil como satélite do
>>> ICM20108, apoiado somente  pela associação holandesa, pela, italina, ASL e
>>> DMPLST.
>>>
>>> Parece que não precisamos nem do IMPA para nos desapoiar...
>>>
>>>
>>>
>>> Em ter, 7 de ago de 2018 13:25, Bruno Lopes 
>>> escreveu:
>>>
 Prezados associados,

 A SBL informa que a programação já está disponível na página da
 conferência satélite.

 http://www.dlmpst.org/pages/activities/icm-2018-satellite.php

 Convidamos a todos, principalmente os que se encontram no entorno da
 Baía de Guanabara, a participar do primeiro evento satélite de lógica do
 ICM. O evento ocorre sexta e sábado (10 e 11 de agosto) no auditório do
 Museu de Arte Contemporânea (MAC) de Niterói. Em caso de dúvidas, não
 hesitem em nos contactar.

 --
 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/CAFfvUVi6KLfdQpRajHKN451w4dYgtJVYjT7NzS2CR6oW0TY16A%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/CA%2Bob58PB1NdE%2BcU_ohrXeV4mgF03UJE3_aO8Pje8Cyn%2BQdUj3Q%40mail.gmail.com
>>> 
>>> .
>>>
>>
>>
>>
>> --
>> 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ê 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/CAHQVs%2BXa9KV7_0rz_PKSOY11SPG372Nk9FK6n0H_W5-VMhh9VQ%40mail.gmail.com
>> 
>> .
>>
> --
> Você recebeu 

Re: [Logica-l] ICM 2018: Conferência de Lógica Matemática

2018-08-10 Por tôpico Walter Carnielli
Beleza Elaine, aplaudo e agradeço sinceramente aos ooganizadores. Mas como
um chato de plantão,  não consigo   deixar de notar esses pequenos e
insignificantes  detalhes :-)

 abraço,
Walter

Em sex, 10 de ago de 2018 09:57, Elaine Pimentel 
escreveu:

> Bom dia, Walter!
>
> Se você olhar no começo da página, está escrito: Satellite event for the
> International Congress of Mathematicians 2018 co-organised by the Sociedade
> Brasileira de Lógica and DLMPST/IUHPST.
>
> Acredito (sinceramente) que o fato de a SBL não constar nos sponsors deve
> ter sido um erro de quem fez a página...
>
> Abraços,
>
> 2018-08-10 9:51 GMT-03:00 Walter Carnielli :
>
>> Uau!
>>
>> Agora foi que notei: a Sociedade Brasileira de Lógica nem aparece entre
>> os sponsors?
>>
>> Estranho ver um evento em lógica,  feito no Brasil como satélite do
>> ICM20108, apoiado somente  pela associação holandesa, pela, italina, ASL e
>> DMPLST.
>>
>> Parece que não precisamos nem do IMPA para nos desapoiar...
>>
>>
>>
>> Em ter, 7 de ago de 2018 13:25, Bruno Lopes 
>> escreveu:
>>
>>> Prezados associados,
>>>
>>> A SBL informa que a programação já está disponível na página da
>>> conferência satélite.
>>>
>>> http://www.dlmpst.org/pages/activities/icm-2018-satellite.php
>>>
>>> Convidamos a todos, principalmente os que se encontram no entorno da
>>> Baía de Guanabara, a participar do primeiro evento satélite de lógica do
>>> ICM. O evento ocorre sexta e sábado (10 e 11 de agosto) no auditório do
>>> Museu de Arte Contemporânea (MAC) de Niterói. Em caso de dúvidas, não
>>> hesitem em nos contactar.
>>>
>>> --
>>> 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/CAFfvUVi6KLfdQpRajHKN451w4dYgtJVYjT7NzS2CR6oW0TY16A%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/CA%2Bob58PB1NdE%2BcU_ohrXeV4mgF03UJE3_aO8Pje8Cyn%2BQdUj3Q%40mail.gmail.com
>> 
>> .
>>
>
>
>
> --
> 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ê 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/CAHQVs%2BXa9KV7_0rz_PKSOY11SPG372Nk9FK6n0H_W5-VMhh9VQ%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/CA%2Bob58P9BanAw9KOWnjk6KNitivUJnS1BFMzawSpmors6DbRBQ%40mail.gmail.com.


Re: [Logica-l] ICM 2018: Conferência de Lógica Matemática

2018-08-10 Por tôpico Elaine Pimentel
Bom dia, Walter!

Se você olhar no começo da página, está escrito: Satellite event for the
International Congress of Mathematicians 2018 co-organised by the Sociedade
Brasileira de Lógica and DLMPST/IUHPST.

Acredito (sinceramente) que o fato de a SBL não constar nos sponsors deve
ter sido um erro de quem fez a página...

Abraços,

2018-08-10 9:51 GMT-03:00 Walter Carnielli :

> Uau!
>
> Agora foi que notei: a Sociedade Brasileira de Lógica nem aparece entre os
> sponsors?
>
> Estranho ver um evento em lógica,  feito no Brasil como satélite do
> ICM20108, apoiado somente  pela associação holandesa, pela, italina, ASL e
> DMPLST.
>
> Parece que não precisamos nem do IMPA para nos desapoiar...
>
>
>
> Em ter, 7 de ago de 2018 13:25, Bruno Lopes 
> escreveu:
>
>> Prezados associados,
>>
>> A SBL informa que a programação já está disponível na página da
>> conferência satélite.
>>
>> http://www.dlmpst.org/pages/activities/icm-2018-satellite.php
>>
>> Convidamos a todos, principalmente os que se encontram no entorno da Baía
>> de Guanabara, a participar do primeiro evento satélite de lógica do ICM. O
>> evento ocorre sexta e sábado (10 e 11 de agosto) no auditório do Museu de
>> Arte Contemporânea (MAC) de Niterói. Em caso de dúvidas, não hesitem em nos
>> contactar.
>>
>> --
>> 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/CAFfvUVi6KLfdQpRajHKN451w4dYgt
>> JVYjT7NzS2CR6oW0TY16A%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/CA%2Bob58PB1NdE%2BcU_
> ohrXeV4mgF03UJE3_aO8Pje8Cyn%2BQdUj3Q%40mail.gmail.com
> 
> .
>



-- 
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%2BXa9KV7_0rz_PKSOY11SPG372Nk9FK6n0H_W5-VMhh9VQ%40mail.gmail.com.


Re: [Logica-l] ICM 2018: Conferência de Lógica Matemática

2018-08-10 Por tôpico Walter Carnielli
Uau!

Agora foi que notei: a Sociedade Brasileira de Lógica nem aparece entre os
sponsors?

Estranho ver um evento em lógica,  feito no Brasil como satélite do
ICM20108, apoiado somente  pela associação holandesa, pela, italina, ASL e
DMPLST.

Parece que não precisamos nem do IMPA para nos desapoiar...



Em ter, 7 de ago de 2018 13:25, Bruno Lopes 
escreveu:

> Prezados associados,
>
> A SBL informa que a programação já está disponível na página da
> conferência satélite.
>
> http://www.dlmpst.org/pages/activities/icm-2018-satellite.php
>
> Convidamos a todos, principalmente os que se encontram no entorno da Baía
> de Guanabara, a participar do primeiro evento satélite de lógica do ICM. O
> evento ocorre sexta e sábado (10 e 11 de agosto) no auditório do Museu de
> Arte Contemporânea (MAC) de Niterói. Em caso de dúvidas, não hesitem em nos
> contactar.
>
> --
> 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/CAFfvUVi6KLfdQpRajHKN451w4dYgtJVYjT7NzS2CR6oW0TY16A%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/CA%2Bob58PB1NdE%2BcU_ohrXeV4mgF03UJE3_aO8Pje8Cyn%2BQdUj3Q%40mail.gmail.com.


[Logica-l] ICM 2018: Conferência de Lógica Matemática

2018-08-07 Por tôpico Bruno Lopes
Prezados associados,

A SBL informa que a programação já está disponível na página da conferência
satélite.

http://www.dlmpst.org/pages/activities/icm-2018-satellite.php

Convidamos a todos, principalmente os que se encontram no entorno da Baía
de Guanabara, a participar do primeiro evento satélite de lógica do ICM. O
evento ocorre sexta e sábado (10 e 11 de agosto) no auditório do Museu de
Arte Contemporânea (MAC) de Niterói. Em caso de dúvidas, não hesitem em nos
contactar.

-- 
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/CAFfvUVi6KLfdQpRajHKN451w4dYgtJVYjT7NzS2CR6oW0TY16A%40mail.gmail.com.