Axiomatic vs Semantic Truth, 14-16 March