Following

Thesis Whisperer

@ingermewburn@thesiswhisperer.com

Christoph Jabs

@chrjabs@mstdn.science

ETAPS Conferences

@ETAPSconf@mastodon.education

doop

@doop@social.earth.li

Scott Neville

@drScott@mathstodon.xyz

Constraints Journal

@constraintsjournal@mastodon.acm.org

Vim Tips

@vimtips@fosstodon.org

Andrzej Wąsowski ☑️ 🟥

@AndrzejWasowski@social.itu.dk

jaklt

@jaklt@mastodon.social

Jeroen Keiren

@jkeiren@mastodon.acm.org

Carlo A. Furia

@bugcounting@mastodon.acm.org

Formal Methods Europe

@fme@mastodon.acm.org