[Logica-l] Seminário de Lógica Carioca - 15 de maio de 2024 - "A concepção aristotélica de acaso na física" / Luis Felipe Bellintani Ribeiro

Seminário mensal interuniversitário de Lógica Carioca Quarta-feira 15 de maio de 2024, 17h30 "A concepção aristotélica de acaso na física" Luis Felipe Bellintani Ribeiro https://www.rio-logic.org/2024-1.html -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica

[Logica-l] Seminário de Lógica Carioca - 27-03-2024 "Square of Opposition: Past, Present, Future"

Seminário mensal interuniversitário de Lógica Carioca quarta-feira 27 de março de 2024, 17h30 "Square of Opposition: Past, Present, Future" Jean-Yves Beziau https://www.rio-logic.org/2024-1.html -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você e

Re: [Logica-l] seminário EMAp

https://youtu.be/6FcnSrrmKig Gravação da apresentação. Alexandre Rademaker http://arademaker.github.com/ http://researcher.ibm.com/person/br-alexrad On Thu, Apr 20, 2023 at 8:17 AM Alexandre Rademaker wrote: > > https://emap.fgv.br/eventos/how-prove-it-lean > > > How To Prove It With Lean > >

Re: [Logica-l] seminário EMAp

Eu tambem! [[]], E. On Thu, 20 Apr 2023 at 17:49, Valeria de Paiva wrote: > oi Alexandre, > ficou gravado? eu gostaria muito de ver! > obrigada, > Valeria > > On Thu, Apr 20, 2023 at 8:17 AM Alexandre Rademaker > wrote: > >> >> https://emap.fgv.br/eventos/how-prove-it-lean >> >> >> How To Pr

Re: [Logica-l] seminário EMAp

oi Alexandre, ficou gravado? eu gostaria muito de ver! obrigada, Valeria On Thu, Apr 20, 2023 at 8:17 AM Alexandre Rademaker wrote: > > https://emap.fgv.br/eventos/how-prove-it-lean > > > How To Prove It With Lean > > I will describe a project I have been working on for most of the last > year:

[Logica-l] seminário EMAp

https://emap.fgv.br/eventos/how-prove-it-lean How To Prove It With Lean I will describe a project I have been working on for most of the last year: an online book called “How To Prove It with Lean.” The purpose of this project is to see if a computer proof assistant called Lean could be help

Re: [Logica-l] Seminário de Lógica Carioca - Iniciando a temporada de 2023

-Julio Stern > > -- > *From:* logica-l@dimap.ufrn.br on behalf of > jean-yves beziau > *Sent:* Monday, April 10, 2023 12:59 PM > *To:* Lista acadêmica brasileira dos profissionais e estudantes da área > de LOGICA > *Subject:* [Logica-l] Seminário de Lógica Cario

Re: [Logica-l] Seminário de Lógica Carioca - Iniciando a temporada de 2023

estudantes da área de LOGICA Subject: [Logica-l] Seminário de Lógica Carioca - Iniciando a temporada de 2023 Estamos iniciando a temporada de 2023 do seminário mensal interuniversitário de Lógica Carioca quinta-feira 13 de abril de 2023 com a palestra "Simbolização da Contradição" d

[Logica-l] Seminário de Lógica Carioca - Iniciando a temporada de 2023

Estamos iniciando a temporada de 2023 do seminário mensal interuniversitário de Lógica Carioca quinta-feira 13 de abril de 2023 com a palestra "Simbolização da Contradição" de Caroline Pires Ting http://www.rio-logic.org/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da ár

[Logica-l] Seminário remoto "Lógicos em Quarentena" 04/11/2021 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 21/10/2021 (quinta-feira) 11:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 23/09/2021 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 09/09/2021 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 26/08/2021 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 05/08/2021 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 08/07/2021 (quinta-feira) 14:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 24/06/2021 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 10/06/2021 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 27/05/2021 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 29/04/2021 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 08/04/2021 (quinta-feira) 14:00h

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

Re: [Logica-l] Seminário remoto "Lógicos em Quarentena" 25/03/2021 (quinta-feira) 16:00h

Na "brilhante " demonstração de Teodor J. Stępień e Łukasz T. Stępień no Journal of Mathematics and System Science 10 (2020) doi: 10.17265/2159-5291/2020.01.002 alguém consegue me explicar na Def. 11 por qual razão (¬∃ ∈ 0) recebe a negação linguística, enquanto ~\alpha recebe a nega

Re: [Logica-l] Seminário remoto "Lógicos em Quarentena" 25/03/2021 (quinta-feira) 16:00h

A quem interessar, meu desabafo. Sinceramente, ver o convite desta palestra me trouxe muita tristeza. Como estudante de lógica aqui no Brasil, almejo me inserir numa comunidade profissional e séria de lógicos. Esse tipo de evento parece mostrar um grande descaso com a disciplina, uma vez que dá re

Re: [Logica-l] Seminário remoto "Lógicos em Quarentena" 25/03/2021 (quinta-feira) 16:00h

David Publishing ---> Predatory Publisher https://predatoryjournals.com/publishers/ Le lundi 22 mars 2021 à 09:31:42 UTC-3, Joao Marcos a écrit : > Aparentemente a demonstração é "elementar": > http://www.davidpublisher.org/Public/uploads/Contribute/5fa38c7b876bf.pdf > > Talvez siga como corolá

Re: [Logica-l] Seminário remoto "Lógicos em Quarentena" 25/03/2021 (quinta-feira) 16:00h

Aparentemente a demonstração é "elementar": http://www.davidpublisher.org/Public/uploads/Contribute/5fa38c7b876bf.pdf Talvez siga como corolário da demonstração anterior, pelo mesmo autor, de que o segundo teorema da incompletude de Gödel está errado? http://www.davidpublisher.org/Public/uploads/C

[Logica-l] Seminário remoto "Lógicos em Quarentena" 25/03/2021 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 11/03/2021 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 22/02/2021 (segunda-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 11/02/2021 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 03/12/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 26/11/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 17/11/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 12/11/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 05/11/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 28/10/2020 (quarta-feira) 16:00h

Data: 28 de outubro de 2020 (quarta-feira) Horário: 16:00h GMT-3 Apresentador: Profa. Daniele Nantes (DM/UnB) Título: Nominal Equational Problems Resumo: We consider nominal equational problems of the form \exists \vec{W} \forall \vec{Y} :P, where P consists of conjunctions and disjunctions of equa

[Logica-l] Seminário remoto "Lógicos em Quarentena" 22/10/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 15/10/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário do Programa III CLE/Unicamp- - atualização de 05/10/2020

Car@s colegas e estudantes: Segue a programação atualizada (05/10/2020) do Seminário do Programa III -CLE/Unicamp, sempre às (mas não todas) quartas-feiras, 16:00. == Link para participar via Google Meet: meet.google.com/rzo-zyxu-opy ===

[Logica-l] Seminário remoto "Lógicos em Quarentena" 06/10/2020 (terça-feira) 16:00h e 08/10/2020 (quinta-feira) 11:00h

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

[Logica-l] Seminário de Teoria da Computação (GTC-UnB + EFFA/UFG)

Caros, O Grupo de Estruturas Formais, Fundamentos e Aplicações (EFFA /UFG), em associação ao Grupo de Teoria da Computação (GTC /UnB), convida-os à participação do seminário remoto

[Logica-l] Seminário FGV/EMAp: GraphKR Semantic Parsing for Portuguese

Pessoal, Segue abaixo convite para seminário online da Escola de Matemática Aplicada da FGV, nesta quinta-feira as 16h. Valeria irá falar de GraphKR, uma abordagem para 'meaning representation’ de linguagens naturais. Seminário é aberto, link para inscrição no final do email, peço que repass

[Logica-l] Seminário remoto "Lógicos em Quarentena" 29/09/2020 11:00h e 01/10/2020 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 24/09/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 17/09/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário Alfredo Freire- daqui a pouco, 20;00 Hora de Brasília

Colegas: Daqui a pouco, terça-feira (08/09/2020) às 20:00 - 22:00 (horário de Brasília), teremos a apresentação de Alfredo Freire. Este seminário será realizado em conjunto com Chapman University, USC San Bernardino e Claremont University, UC Riverside Link para a apresentação: https://uci.zo

[Logica-l] Seminário remoto "Lógicos em Quarentena" 10/09/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 03/09/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 25/08/2020 (terça-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 20/08/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 13/08/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 06/08/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 30/07/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 23/07/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 16/07/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 09/07/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 02/07/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 25/06/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 17/06/2020 (quarta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 10/06/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 04/06/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 28/05/2020 (quinta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 20/05/2020 (quarta-feira) 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 14/05/2020 16:00h

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

[Logica-l] Seminário remoto "Lógicos em Quarentena" 07/05/2020 16:00h

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

Re: [Logica-l] Seminário remoto "Lógicos em Quarentena" 16/04/2020 16:00h

Muito obrigada pelo convite pra falar na Quarentena dos Logicos, Bruno e Petrucio! muito obrigada pelo comentario acima, Joao Marcos! e obrigada a todos que apareceram e/ou fizeram perguntas! a palestra do Jeremy Avigad que eu mencionei no final (The mechanization fo Mathematics) esta' no youtube

Re: [Logica-l] Seminário remoto "Lógicos em Quarentena" 16/04/2020 16:00h

Apenas acrescentando: a agenda (sempre em construção) está disponível em http://lq.sbl.org.br . Os links para os vídeos dos seminários já ocorridos também estão disponíveis. Aos interessados em apresentar algo, por favor acessem o link disponível para o formulário para participação. Bruno Em qu

Re: [Logica-l] Seminário remoto "Lógicos em Quarentena" 16/04/2020 16:00h

Vale notar que já está online no canal da SBL a excelente palestra que Valeria de Paiva deu hoje no "Lógicos em Quarentena": https://www.youtube.com/channel/UCglBjq5SzixAB-xxGxjMa7Q JM On Mon, Apr 13, 2020 at 11:09 AM Bruno Lopes wrote: > > > Caros, > Numa iniciativa conjunta da Sociedade Brasil

[Logica-l] Seminário remoto "Lógicos em Quarentena" 16/04/2020 16:00h

Caros, 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

[Logica-l] Seminário de Lógica Carioca - Alexandre Costa-Leite - Edelcio Gonçalves de Souza

Seminário de Lógica Carioca Quinta feira, dia 06 de dezembro de 2018 UFRJ - IFCS - Largo São Francisco de Paula 1 Sala Celso Lemos - 3 Andar 11h Alexandre Costa-Leite Department of Philosophy, University of Brasilia, Brasilia "Justification, Quasi-Truth and Suspension of Judgement" 12h Edelc

Re: [Logica-l] Seminário de Lógica Carioca - Guido Imaguire - Mario Benevides

Agora todo mundo da lista sabe seu número de telefone. att Ana Paula On Mon, 26 Nov 2018 at 14:07, Mario Roberto Folhadela Benevides < ma...@cos.ufrj.br> wrote: > Oá Pessoal, > > Peço desculpas por ter enviado uma mensagem pessoal para o Jean na lista. > > Abraços, > > Mario > > Em seg, 26 de

Re: [Logica-l] Seminário de Lógica Carioca - Guido Imaguire - Mario Benevides

Oá Pessoal, Peço desculpas por ter enviado uma mensagem pessoal para o Jean na lista. Abraços, Mario Em seg, 26 de nov de 2018 às 09:03, Mario Roberto Folhadela Benevides < ma...@cos.ufrj.br> escreveu: > Olá Jean, tudo bem? > > Só para confirmar com você. Vou chegar para a palestra do Guido.

Re: [Logica-l] Seminário de Lógica Carioca - Guido Imaguire - Mario Benevides

Em Dom, 25 de nov de 2018 9:51 PM, jean-yves beziau Seminário de Lógica Carioca > Quarta feira, dia 28 de novembro 2018 > UFRJ - IFCS - Largo São Francisco de Paula 1 > Sala 320B - PPLM - 3 Andar > > 11h > Guido Imaguire > Department of Philosophy, University of Brazil, Rio de Janeiro > "Obser

Re: [Logica-l] Seminário de Lógica Carioca - Guido Imaguire - Mario Benevides

Olá Jean, tudo bem? Só para confirmar com você. Vou chegar para a palestra do Guido. Meu celular é 988958071. Onde vai ser? Outra coisa, tem um typo no título da palestra "Graphes => Graphs" Obrigado e até quarta. Mario Em dom, 25 de nov de 2018 às 21:51, jean-yves beziau escreveu: > Semin

[Logica-l] Seminário de Lógica Carioca - Guido Imaguire - Mario Benevides

Seminário de Lógica Carioca Quarta feira, dia 28 de novembro 2018 UFRJ - IFCS - Largo São Francisco de Paula 1 Sala 320B - PPLM - 3 Andar 11h Guido Imaguire Department of Philosophy, University of Brazil, Rio de Janeiro "Observations on the Logic of Grounding." 12h Mario Benevides Department

[Logica-l] Seminário de Lógica Carioca - Hermann Haeusler - Marek Nasieniewski

Seminário de Lógica Carioca Quarta feira, dia 21 de novembre 2018 UFRJ - IFCS - Largo São Francisco de Paula 1 Sala Celso Lemos - 3 Andar 11h Hermann Haeusler Department of Informatics, Pontifical University of Rio de Janeiro, Brazil "Kolmogorov Complexity, Structural Complexity and Strong Eviden

[Logica-l] Seminário de Lógica Carioca - Quarta feira dia 14 de novembro

Seminário de Lógica Carioca Quarta feira dia 14 de novembro IFCS - UFRJ - Sala Celso Lemos (3 andar) Largo de São Francisco de Paula, 1 Rio de Janeiro 11h Petrucio Viana (UFF) What is axiomatization of numbers and how to do it? 12h Jean-Yves Beziau (UFRJ) Many 1 - A Transversal Imaginative Journey

[Logica-l] Seminário da SBFA (Salvador, 31/3)

Caros colegas, talvez interesse aos interessados em Filosofia Analítica que estejam pelo Nordeste, em especial, por Salvador e arredores. Haverá um Seminário da Sociedade Brasileira de Filosofia Analítica (SBFA) na sala da pós-graduação de Filosofia da UFBA, no dia 31/3, a partir das 8hs. Aqui e

[Logica-l] Seminário no CLE/UNICAMP nesta quarta-feira

Prezados(as), Nesta quarta-feira teremos mais um seminário do Grupo de Lógica Teórica e Aplicada (GLTA) no Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP. Seguem abaixo os dados: Dia: 28/09/2016 Horário: 16:00 Local: Sala de Seminários do CLE (sala Kurt Gödel) Rua Sérgio B

[Logica-l] Seminário de Lógica e Filosofia Formal

Colegas, Na próxima sexta-feira, 09 de maio, ocorre mais uma sessão dos "Seminários de Lógica e Filosofia Formal”, do Departamento de Filosofia da UFRN. Todos estão Convidados. Data e hora: 09 de maio, às 16h Local: Sala A2 - Setor de Aulas II - UFRN - Natal-RN Autor: Prof. Stanley Kreiter B. M

[Logica-l] Seminário de Lógica Carioca 03.02.2014: Transreal Numbers and their Applications in Logic

Seminário de Lógica Carioca Segunda feira 3 de Fevereiro de 2014 14-16h Transreal Numbers and their Applications in Logic Walter Gomide Todas as informacões no site da lógica carioca: http://www.rio-logic.org/ ___ Logica-l mailing list Logica-l@dimap.uf

[Logica-l] Seminário de Lógica Carioca 25.11.2013: Towards an Encyclopaedia of Logic

Seminário de Lógica Carioca Segunda feira 25 de Novembro de 2013 14-16h Towards an Encyclopaedia of Logic Jean-Yves Beziau Todas as informacões no site da lógica carioca: http://www.rio-logic.org/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://

[Logica-l] Seminário adiado

Foi adiado para 10/7 meu seminário na Coppe. Motivo: musança do padrão de força no nosso bloco da Coppe. Sent from my iPhone ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Seminário de Filosofia da Lógica (Pádova - Itália)

*Workshop e Seminario di Filosofia della Logica* *Dipartamento di Filosofia Università Degli Studi di Padova * *17 Dicembre 2012* *Sala Giacon - FISPPA* Philosophy of Logic Workshop 10.15-11.15 Maria da Paz N. Medeiros (Universidade Federal do Rio Grande do Norte – UFRN) /"Intuitionistic App

[Logica-l] Seminário Livre de Filosofia @ UFSC

Pessoal, Segue divulgação da próxima sessão do Self - Seminário Livre de Filosofia - evento que vem acontecendo por iniciativa de estudantes da pós-graduação em Filosofia da Universidade Federal de Santa Catarina. Título: "Uma reformulação da regra “N(P → Q), NP ⊢NQ" Por: Pedro Merlussi Resumo:

Re: [Logica-l] seminário de lógica paraconsciente amanhã no IEA/USP

Eu queria saber, sério, onde a matemática fuzzy não pode ser usada mas as anotadas sim. Se alguém for assistir, por favor me conte. Boa essa do Fitting. Em Juquey, eu comentei que o robô era paraconsistente somente para os lados, mas não para cima e para baixo, porque quando ele se aproximou do

Re: [Logica-l] seminário de lógica paraconsciente amanhã no IEA/USP

"Paraconsciente"? Acho que já vimos esse "ro(u)bô". Não foi um apresentado num evento de Lógica em Juquehy, sobre o qual o Melvin Fitting comentou que há 60 anos atrás ele tinha um "carrinho bate-bate" de brinquedo que fazia melhor? > Quem organiza? Precisa mesmo responder? [ ]

Re: [Logica-l] seminário de lógica paraconsciente amanhã no IEA/USP

Quem organiza? 2012/2/7 Joao Marcos : > Segundo o Boletim da FAPESP, terá lugar no IEA amanhã um > > Seminário de Lógica Paraconsciente Anotada em Biomedicina, Automação e > Robótica > http://agencia.fapesp.br/15147 > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > _

[Logica-l] seminário de lógica paraconsciente amanhã no IEA/USP

Segundo o Boletim da FAPESP, terá lugar no IEA amanhã um Seminário de Lógica Paraconsciente Anotada em Biomedicina, Automação e Robótica http://agencia.fapesp.br/15147 JM -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@

[Logica-l] Seminário LIAMF 27/102011

-- Forwarded message -- From: Date: 2011/10/27 Subject: Lembrete: Seminário LIAMF 27/102011 To: liamf-anunc...@ime.usp.br --**--** Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LI

[Logica-l] Seminário

Caros, No dia 3/10 teremos um seminário aqui na UFRJ como parte das atividades do grupo de interesse em Lógica no Rio de Janeiro, http://www.rio-logic.org/ . Gostaria de convidar a todos, para maiores detalhes ver: http://www.rio-logic.org/start1.html Todos são muito benvindos. Um abraço, Mario

Re: [Logica-l] Seminário

Próximo Seminário dos Lógicos Cariocas (http://rio-logic.org/) Data: 22 de agosto de 2011 Horário: 14h Local: IFCS - UFRJ (http://www.ifcs.ufrj.br/) Em 12 de julho de 2011 08:33, Francisco Antonio Doria escreveu: > Título: > > Caos é indecidível, e outras aventuras no reino da axiomatização da f

[Logica-l] Seminário

Título: Caos é indecidível, e outras aventuras no reino da axiomatização da física. Francisco Antonio Doria Engenharia de Produção e HCTE, Coppe/UFRJ Resumo O Sexto Problema de Hilbert (Axiomatização da Física). Como colocar, da mecânica clássica à física de primeira quantização, em ZF. Formali

[Logica-l] Seminário dos Alunos do PPGLM e progr amação

Apresentação O Seminário dos Alunos do PPGLM foi criado em 2007 e terá, neste ano, sua quarta edição. O objetivo de nosso seminário é proporcionar um espaço onde estudantes de pós-graduação em filosofia possam divulgar e discutir detalhadamente suas pesquisas. Visando a isso, e tendo em mente que

[Logica-l] Seminário Newton da Costa

Seminário Newton da Costa. A programação* geral será a seguinte: _ Dia 17/08 14:00hs Abertura Prof. Dr. Giovanni Queiroz. 14: 30hs Palestra prof. Dr. Newton da Costa. Auditório do CCSA - Sala 211. 19:00hs Entrega do título de Doutor Honoris Causa ao Prof. Dr. Newton da Cos

[Logica-l] Seminário em homenagem ao prof. New ton

Olá a todos, Volto a convidar a todos, em especial orientandos, colaboradores e amigos do professor Newton da Costa, para o Seminário que realizaremos nos dia 17 a 19 de agosto do corrente ano na UFPB em João Pessoa. A Universidade Federal da Paraíba estará outorgando ao Prof. Newton o título d

[Logica-l] Seminário UFPB

Informo a todos que nos dias 17 a 19 de agosto estaremos realizando na UFPB em João Pessoa um seminário em homenagem ao prof. Newton da Costa, quem quiser participar do encontro, inclusive apresentando trabalhos, favor entrar em contato comigo até dia 23 desse mês. Abraços, Dídimo Matos http://

[Logica-l] Seminário CLE

Apenas repassando... Os seminários são sempre no prédio do CLE-Unicamp, às 16h00 - o cronograma é divulgado no site. abraços -- Forwarded message -- From: Rafael Testa Date: 2009/5/25 Subject: Seminário To: seminarios-...@yahoogroups.com Pessoal, lembro a todos que nesta quarta-