Following

PLDI 2026

@pldi@mastodon.acm.org

chi.acm.org/chi-series/

@chi@hci.social

Comp. Software Group, Kyoto U

@fos_kuis@mastodon.acm.org

Strathclyde Cyber Security

@StrathCyber@mastodon.acm.org

Formal Methods Europe

@fme@mastodon.acm.org

Digital Democracy Centre

@DDC_SDU@fosstodon.org

LipnLab

@LipnLab@lipn.info

Sandra Greiner

@sagr@mas.to

ETAPS Conferences

@ETAPSconf@mastodon.education

Marco Peressotti

@mperessotti@mastodon.social

Robin Kaarsgaard

@rkaarsgaard@mathstodon.xyz