Workshop on Quantum-Software Engineering Tools, Algorithms & Verification 2026 (Q-STAV) | Synapse