Viva, que notícia bonita, JM!
Um forte abraço,
G.
Le lun. 15 juin 2020 à 13:06, Joao Marcos a écrit :
> Por falar em homenagens, vale observar que neste momento o Marco
> Ruffino também está editando (com Heinrich Wansing) um volume especial
> da Synthese, em homenagem a Carolina Blasio.
-- Forwarded message -
From:
Date: Mon, Jun 15, 2020 at 11:32 AM
Subject: Manifesto antirracista escrito pelo Grupo de Matemáticas Negras
To:
Prezado / a Valeria Correa Vaz de Paiva,
Esperamos que esta mensagem a(o) encontre bem e saudável.
Neste momento singular de
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
Desculpem: só li agora essa mag. Cheguei a esboçar um paper que nunca
publiquei onde oi tempo, visto numa teoria que admita a relatividade
restrita, é um campo que pode inclusive ter massa através do mecanismo de
Higgs.
Em resumo: uma teoria admite a relatividade restrita se tiver como grupo de
Colloquium Logicae @CLE-Unicamp
This is a virtual session of the Colloquium Logicae,
traditional conferences held the Centre for Logic,
Epistemology and the History of Science at Unicamp,
now linked to the “Logic Supergroup” organized by
the
Encontrei por acaso e achei que poderia ser útil aqui
"A collection of resources that apply formal systems to model biological
processes. Some easily accessible books to understand the general
approaches in this field are also included."
https://github.com/prathyvsh/formal-systems-in-biology
--
https://rjlipton.wordpress.com/2020/06/13/proof-checking-not-line-by-line/
--
Marcelo Finger
Departament of Computer Science, IME
University of Sao Paulo
http://www.ime.usp.br/~mfinger
ORCID: https://orcid.org/-0002-1391-1175
ResearcherID: A-4670-2009
--
Você está recebendo esta
Por falar em homenagens, vale observar que neste momento o Marco
Ruffino também está editando (com Heinrich Wansing) um volume especial
da Synthese, em homenagem a Carolina Blasio. Creio que os artigos já
estão todos online, e o volume deve ser publicado em breve: