Logic and Computation
Essays in Honour of Amilcar Sernadas
edited by Carlos Caleiro, Francisco Dionisio, Paula Gouveia, Paulo
Mateus and Joao Rasga
This volume celebrates Amílcar Sernadas' (1952--2017) highly
significant and original scientific contributions, as well as his
outstanding academic ca
Ainda sobre este assunto, Prakash Panangaden escreveu, na edição deste
mês do SIGLOG news:
"At LICS in Reykjavik, Valeria de Paiva made a passionate plea for
greater diversity in the LICS community. I think it is fair to say
that not everyone was sympathetic. I don’t have the answers but
certainly
-- Forwarded message --
Afirma-se por vezes que a lógica estuda apenas demonstrações e que
estas são «do domínio do apodíctico», da verdade científica, ao passo
que a argumentação «pertence ao domínio do verosímil». Deste ponto de
vista, a lógica seria limitada porque deixaria de f
Meus colegas de Libosa me confirmaram que vai ser organizado um prêmio
Amiclar Sernadas no Portugal
o décimo primeiro na nossa lista de prêmios de lógica
http://www.uni-log.org/logic-prize-world
JYB
Le vendredi 14 juillet 2017 10:15:25 UTC+2, Joao Marcos a écrit :
>
> Logic and Computation
> Ess
Temos a satisfação e a honra de ter contribuído com este volume, com
o artig "Paraconsistent probabilities, their significance and their
uses"
(W. Carnielli and J. Bueno-Soler) onde diversos problemas. novos
sobre lógica e. probabilidade são propostas.
O Amilcar, já doente. mas. muito ativo, e
*Diagrams 2018*
10th International Conference on the Theory and Application of Diagrams
http://www.diagrams-conference.org/2018/
*Conference dates: 18th - 22nd June 2018*
Location: *Edinburgh*, UK
*Deadline *for pre-submi
obrigada Joao Marcos, pela informacao! nao tinha visto.
a genta tenta, em todas as frontes...
nossos numeros (que mostram o vies implicito) estao sendo computados.
tanto os numeros de "Invited Speakers" da ASL
(
http://womeninlogic.blogspot.com/2017/03/the-asl-statement-on-women-in-logic.html
)
q
BIG PROOF: A workshop happening in the Newton Institute in Cambridge now.
Check Shankar slides,
https://www.newton.ac.uk/files/seminar/20170626110012002-1003182.pdf
for fun.
a little bit of logic, a little bit of philosophy, or a little bit of
mathematics, for each one of us.
abracos,
Valeria
O que eu achei sensacional foi Natarajan Shankar se esquecer de
mencionar George Boole não seu "hall da fama", embora "boolean"
como adjetivo apareça em meia dúzia de diferentes conceitos...
Vingança dos indianos contra a dominação inglesa?
Em 14 de julho de 2017 18:39, valeria.depaiva
e
