Following

jonas_rm

@jonas_rm@mastodon.social

Mark Walker

@zlqrvx@fedi.zlqrvx.xyz

ErlangWorkshop

@ErlangWorkshop@mastodon.acm.org

ESEM Conference

@ESEM_conf@mastodon.social

Lean

@leanprover@functional.cafe

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