Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunid
Se há pessoas que se sentem desconfortáveis com o nome/logo do grupo, e se este
desconforto é devido a associações evocadas pelo nome/logo que não têm qualquer
relação com o próprio grupo, seus membros e suas atividades, isso me parece um
motivo mais do que suficiente para mudar o nome/logo.
Te
João.
No centro de IA (C4AI) da USP-IBM-Fapesp, estamos construindo 3 Córpus:
- Córpus Carolina (em homenagem à Carolina Michaelis de Vasconcelos)
- Córpus Portinari (em homenagem a Cândido Portinari)
- Córpus Coraa (em homenagem à Cora Coralina)
Pessoalmente, não acho que as objeções ao no
Acho que as piadas do Bolsonaro fizeram quase todo mundo repensar o
limite entre quais piadas a gente vai aceitar - porque "piada é
alegria, né, e quem reclama é chato" - e que piadas a gente decide que
não vai mais aceitar. Eu próprio levei meses pensando sobre isso até
conseguir redefinir os meus
Quarta-feira, dia 23 de Junho às 11h, horário de Brasilia, vamos ter mais
uma sessão do Logica Universalis Webinar.
O palestrante principal vai ser Dov Gabbay, falando do projeto de Lógica
Talmúdica
https://www.springer.com/journal/11787/updates/18988758
A cada sessão do LUW temos a apresentação d
