Following

Andrzej Wąsowski ☑️ 🟥

@AndrzejWasowski@social.itu.dk

Yudai Tanabe

@yudaitnb@mastodon.acm.org

Jeffrey Phillips Freeman

@freemo@mastodon.acm.org

Aaron

@aaronvangeffen@mastodon.social

Formal Methods Europe

@fme@mastodon.acm.org

Étienne André

@etienneandre@lipn.info

Comp. Software Group, Kyoto U

@fos_kuis@mastodon.acm.org

Atsushi Igarashi

@50storms@mastodon.acm.org

Kohei Suenaga

@ksuenaga@mastodos.com

Yuito MURASE

@bindingscope@mastodon.acm.org

moskomule

@moskomule@sigmoid.social

Assn for Computing Machinery

@ACM@mastodon.acm.org