{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-28 01:37:49.292Z","domain":"mastodon.acm.org","followerCount":42,"followers":"https://mastodon.acm.org/users/FMASWorkshop/followers","following":"https://mastodon.acm.org/users/FMASWorkshop/following","followingCount":62,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/307/358/534/970/256/original/99146ba98d7c9472.png","id":"84s6avopv2lew3n","inbox":"https://mastodon.acm.org/users/FMASWorkshop/inbox","iri":"https://mastodon.acm.org/users/FMASWorkshop","isLocal":false,"last_fetched":"2025-12-31 08:27:09.361Z","outbox":"https://mastodon.acm.org/users/FMASWorkshop/outbox","preferred_username":"FMASWorkshop","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwv2X+bMKrFVBLL2+Aiy0\nlkukbVK1qle8z8/9qIQz+odWvKtBXatjVfz1HWZpOTqXkoLtxFgKS2CmXyEr+tN3\n6sSkpLxM3Q0uvYxo783TCfmXIMpnOuvng9HGKrcOpOapDkIwIaRUt5ogS/6vn9fZ\nzuvX2S8QtkUKT+wsdfuf3+StU+DmCFkcomp8xcG69BU5ic3+rSrew6lMClmfb8VD\nmYma3BoynsOG3U62TCmRso1fC7l6lTLnTfVKISAAd+HHIoCYonGq3mjwX/lRYMt0\nrCeHjj5W1ceKAi6zILdg5Z8MS3rQq3gJ+rnq/bwO6J5i/pnfB45hz1ImRmktRcbm\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-14 00:00:00.000Z","summary":"

The International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Toots by Matt Luckcuck & Akhila Bairy

","updated":"2025-12-31 08:27:09.362Z","user":"","username":"FMASWorkshop"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-24 11:32:54.068Z","domain":"mastodon.acm.org","followerCount":54,"followers":"https://mastodon.acm.org/users/fme/followers","following":"https://mastodon.acm.org/users/fme/following","followingCount":50,"icon":"https://mastodon.acm.org/system/accounts/avatars/110/265/755/475/461/684/original/d7ffb59d2732ee17.png","id":"enf1v4khc2l76t4","inbox":"https://mastodon.acm.org/users/fme/inbox","iri":"https://mastodon.acm.org/users/fme","isLocal":false,"last_fetched":"2025-12-31 08:27:09.535Z","outbox":"https://mastodon.acm.org/users/fme/outbox","preferred_username":"fme","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6F0gMKvGgRRNuXzU7mLL\nFQE7Ds38LM7oZ4MSPHDRqaipRlQNcE+ui0A9mtLCH4mSm/WFukAIPSwWUGakdtuv\n374UdpJ2BNYiuXNVJy67mr1u4UFCVP+g0O+P9iruGNpcDdm6CJnFxeFxlPmyQfyV\nxHumPnoWdw5MSkcOY7clweV1sV2YQo+9dihqAjYZYJscnT+1cdhgaWmbZLRQbkn8\n+a5q1pKCrW1fCBzNSvOcumD2STY7O5ay6fmLT5LB79ZiXNCZmgk+vG4/4usjD2s9\nH/cwJcfJ5sC0e8V9zG2rG5+e5oa8UED+sU8LQFjxjSQnUzataFAj83LoAZUmcJVY\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-04-26 00:00:00.000Z","summary":"

Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.

","updated":"2025-12-31 08:27:09.535Z","user":"","username":"Formal Methods Europe"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-15 23:47:49.882Z","domain":"mathstodon.xyz","followerCount":389,"followers":"https://mathstodon.xyz/users/favonia/followers","following":"https://mathstodon.xyz/users/favonia/following","followingCount":47,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/283/653/572/737/743/original/7c37c4fd50d306d6.jpg","id":"q5wi1lan1s3imeb","inbox":"https://mathstodon.xyz/users/favonia/inbox","iri":"https://mathstodon.xyz/users/favonia","isLocal":false,"last_fetched":"2025-12-31 08:27:15.455Z","outbox":"https://mathstodon.xyz/users/favonia/outbox","preferred_username":"favonia","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4qiAl5t653Ox69fL7OeB\nxqSuEHXsDFshZRqbtaqj9DErlNd8G3PSvB0B64midyxj4W7gqk6xEVoJ4oZ6LWLx\nbwLf9aYts5Je/c62Bv+cVLe2tWzLcGiUbCv/DNsEvN2f23k0RM/gFuwbITBPK45C\naSutWH1VzV8sSJaYIXpclhq9v6qRhlNYMte5wHsKPeuULiLREwDQNVhS3huqPgYO\npvCz02ndz2+o6hjZB2i0AkmKCTXDoHcXxFp3l8hxqcposxU28HitNk8TXMGDiZS7\nx1R9RYocIGkjXAbfyfKXG/I1SaJUlX5y/uQo693Gs/hXwEUBPJGNJUatNVpuz4F+\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

🧑‍💻 cs&e faculty
‍🏫 u of minnesota
👤 any pronoun
💖 emoji lover
⚡ algebraic effects
🗺️ 國語 / 台閩 / english

","updated":"2025-12-31 08:27:15.455Z","user":"","username":"favonia"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 09:54:31.252Z","domain":"mastodon.world","followerCount":539,"followers":"https://mastodon.world/users/cfallin/followers","following":"https://mastodon.world/users/cfallin/following","followingCount":301,"icon":"https://s3.eu-central-2.wasabisys.com/mastodonworld/accounts/avatars/109/544/086/258/550/234/original/853b73d7a0507153.jpg","id":"a2pqfqgk6r10jpi","inbox":"https://mastodon.world/users/cfallin/inbox","iri":"https://mastodon.world/users/cfallin","isLocal":false,"last_fetched":"2025-12-31 08:22:38.095Z","outbox":"https://mastodon.world/users/cfallin/outbox","preferred_username":"cfallin","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtIBVNxo7pqt1cPJBhUra\nPiE80t3Jg2mdaws1a2JkGBG9/XeIL9sBADJg6uikRPdXao567wHlAgUl1+NqMBFF\nUXyQKzu+wNrdSfXItqGaq0xkMAhye/cYv0Qs9C933asNTYtg6CbBgnO7jI2IMyZ3\nDA6aAFW69nmEj1cicDvqmBPGZjAcCYlx2ReCnPQa7JYWRIOL+0a01RV//InlCrn5\nQBHVitarkdGHLGO7edvlGnlpz0ALHCOsXu4+Tbox4j79g+/SK0cnkamImoGyCsKw\no6rhMzAvqFeH7p0A5mRlfgM/GwvBdTNd2hx4iBJd7pbRBcu/XGTaQb6+VFv1lqGa\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-20 00:00:00.000Z","summary":"

Nerd-of-all-trades, happiest when hacking deep innards of a compiler or runtime.

","updated":"2025-12-31 08:22:38.096Z","user":"","username":"Chris Fallin"}],"page":1,"perPage":10,"totalItems":4,"totalPages":1}

Charles Southerland

Followers