Vydania od Beyond Formal Operations Symposium