7th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP)