On the Notion of Naturalness in Formal Modeling

The slides for this talk about a semiotic view on naturalness in formal methods are available here.