Mudanças nem sempre são vistas com bons olhos, principalmente quando se
trata de "pré-aborrecentes", mas crescer e amadurecer não é algo aconteça a
salvo de crises!
Esta semana completamos 11 anos da LOGICA-L!
Gostaria de agradecer a todos 537 membros (um pouco menos devido aos
membros que
*Parabens Carolina,*
*e ai vem o bolo !*
[image: Image result for feliz aniversario 11 anos]
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsu
== EPS ==
Encyclopedia of Proof Systems
--- call for contributions ---
September 24-25, 2017, Brasilia, Brazil
Affiliated to:
TABLEAUX, FroCoS and ITP 2017
http://tableaux2017.cic.unb.br/
http://frocos2017.cic.unb.br/
http://itp2017.cic.unb.br/
Aims and Scope
==
The Encyclopedia
Aos possíveis interessados, informo abaixo sobre mais um evento
organizado pelo "pessoal da Lógica" que ocorrerá aqui em Bochum em
breve.
Mas antes disto ainda teremos, bem próximos um do outro, os eventos:
Workshop on Negation and Negativity in Natural Language
27-29 April 2017
http://www.ruhr-u
