I'll be in San Francisco next Wednesday 10 June talking about my take on AI and formal verification.
1:28 PM · Jun 5, 2026 · 2.5K Views
Sentiment
Users criticized the event announcement as ironic because its website was visibly unverified despite the focus on formal verification.
Pos
0.0%
Neg
100.0%
1 comments with sentiment.
Cluster Engagement
Posts from X
Most Activity
Most Activity
VIEWS573
Satnam Singh@satnam6502
https://verificationsummit.ai/
Satnam Singh@satnam6502
I'll be in San Francisco next Wednesday 10 June talking about my take on AI and formal verification.
18hViews 573Likes 4Bookmarks 0
LIKES6
Erik Meijer@headinthebox
@satnam6502 Ironic that the website of the event is clearly not verified!
19hViews 285Likes 6