Achim D. Brucker<p>Still waiting for the call for paper for Tests and Proofs (TAP) conference? Wait no longer: we are thrilled to announce that TAP is now a track at FM 2026: <a href="https://conf.researchr.org/track/fm-2026/fm-2026-tap#Call-for-Papers" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">conf.researchr.org/track/fm-20</span><span class="invisible">26/fm-2026-tap#Call-for-Papers</span></a></p><p><a href="https://fediscience.org/tags/FormalMethods" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalMethods</span></a> <a href="https://fediscience.org/tags/SoftwareTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareTesting</span></a> <a href="https://fediscience.org/tags/Verification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Verification</span></a> <a href="https://fediscience.org/tags/Proof" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Proof</span></a> <a href="https://fediscience.org/tags/SymbolicExecution" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SymbolicExecution</span></a> <a href="https://fediscience.org/tags/FM2026" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FM2026</span></a> <a href="https://fediscience.org/tags/TAP2026" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TAP2026</span></a></p>