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 >

[Logica-l] Fwd: [SBFA] 1º Prêmio da SBFA, edição 2023

Repassando em nome da SBFA -- Forwarded message - De: SBFA Sociedade Brasileira de Filosofia Analítica A Sociedade Brasileira de Filosofia Analítica (*SBFA* ) torna pública a edição 2023 do *1º Prêmio da SBFA*

[Logica-l] DaLí 2023 - 3rd Call for Papers and !Deadline Extension!

DaLí 2023: 5th Workshop on Dynamic Logic - New trends and applications Tbilisi, Georgia, September 15-16, 2023 Collocated with Logic, Algebra and Truth Degrees conference 2023 ( https://sites.google.com/view/latd-2023/), and immediately before the 14th TbiLLC 2023 symposium

[Logica-l] LUW April 26 - Probability Logics for Reasoning About Quantum Observations

The next session of the Logica Universalis Webinar will take place Wednesday April 26 at 4pm CET Speaker: Angelina Ilic Stepic http://www.mi.sanu.ac.rs/novi_sajt/research/projects/AI4TrustBC/participants.php Title of the talk: Probability Logics for Reasoning About Quantum Observations