Following

Matt Might

@mattmight@mathstodon.xyz

Dan Cross

@cross@discuss.systems

Ryan Doenges

@doenges@mathstodon.xyz

Formal Methods Europe

@fme@mastodon.acm.org

SIGPLAN AV

@sigplanav@mastodon.acm.org

Artem Chernikov

@archernikov@mathstodon.xyz

Andrew W Swan

@aws@mathstodon.xyz