ICM 2018: Conferência de Lógica Matemática

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

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

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

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

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 <blopes...@gmail.com> 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+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/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+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/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

-------------------------------------------------------- 

[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 <elaine....@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 <walter.c...@gmail.com>:

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 <blopes...@gmail.com> 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+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/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+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/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+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/CAHQVs%2BXa9KV7_0rz_PKSOY11SPG372Nk9FK6n0H_W5-VMhh9VQ%40mail.gmail.com.

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

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58P9BanAw9KOWnjk6KNitivUJnS1BFMzawSpmors6DbRBQ%40mail.gmail.com.

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

[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

[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

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

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

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