Following

Strathclyde Cyber Security

@StrathCyber@mastodon.acm.org

Formal Methods Europe

@fme@mastodon.acm.org

The Alperovitch Institute

@alperovitch@infosec.exchange

UBC Computer Science

@UBCCS@mastodon.acm.org

UIowa Computer Science

@UIowaCS@mastodon.acm.org

Digital Democracy Centre

@DDC_SDU@fosstodon.org

Section 6 du Comité national

@CoNRS6@lipn.info

Laboratoire Méthodes Formelles

@lmf@lipn.info

IRIF

@IRIF@mastodon.social

LipnLab

@LipnLab@lipn.info

Sandra Greiner

@sagr@mas.to

ETAPS Conferences

@ETAPSconf@mastodon.education