Colegas, divulgo aqui a Nota de Repúdio elaborada pela Diretoria da SBL às
últimas declarações do Presidente Bolsonaro e seu Ministro da Educação
Abraham Weintraub sobre a filosofia e a sociologia no contexto da educação
brasileira.
Atenciosamente,
Cassiano.
Nota de repúdio da Sociedade Bra
Caros,
Com o EBL se aproximando é bom observar,
Se você comprou sua passagem para Joao Pessoa há algum tempo e nao lembra qual
é a companhia aérea... Dá uma olhada pra
ver se nao é a Avianca.
A Avianca está perdendo aeronaves por dívidas e cancelando vôos
sistematicamente.
Boa sorte a to
Call for Papers, PxTP 2019
The Sixth International Workshop on
Proof eXchange for Theorem Proving (PxTP)
http://pxtp.gforge.inria.fr/2019/
25-26 August 2019, Natal, Brazil
associated with the CADE-27 conference
## Background
The PxTP wo