Conference: The Formal Semantics of Theories, Salzburg