[Logica-l] How good is your maths?

Goodhart's law: "when a measure becomes a target, it ceases to be a good measure". http://plus.maths.org/content/how-good-your-maths Submitted by mf344 on September 9, 2010 Bad statistics can mislead, and who'd know this better than mathemat

[Logica-l] LSFA 2011 - First call for papers

LSFA 2011 - Sixth Workshop on Logical and Semantic Frameworks, with Applications August 27th, 2011, Belo Horizonte, Minas Gerais, Brazil Scope Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for formal spec