<p>Excited to have <span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> in CU Boulder's CS Dept Colloquium (in-person & online) April 23, 2024! Presenting on the Human Factors of Formal Methods.</p><p><a href="https://calendar.colorado.edu/event/cs-colloquium-shriram-krishnamurthi-on-the-human-factors-of-formal-methods" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">calendar.colorado.edu/event/cs</span><span class="invisible">-colloquium-shriram-krishnamurthi-on-the-human-factors-of-formal-methods</span></a></p><p><a href="https://mathstodon.xyz/tags/FormalMethods" class="mention hashtag" rel="tag">#<span>FormalMethods</span></a></p>
