{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-21 02:48:01.932Z","domain":"mastodon.education","followerCount":0,"followers":"https://mastodon.education/users/ETAPSconf/followers","following":"https://mastodon.education/users/ETAPSconf/following","followingCount":0,"icon":"https://mastodon.education/system/accounts/avatars/110/457/648/370/952/972/original/cf7d59433b377e5c.png","id":"g5d7d073u68vnyb","inbox":"https://mastodon.education/users/ETAPSconf/inbox","iri":"https://mastodon.education/users/ETAPSconf","isLocal":false,"last_fetched":"2025-08-21 02:48:01.932Z","outbox":"https://mastodon.education/users/ETAPSconf/outbox","preferred_username":"ETAPSconf","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4tgWk/E3Rw/U2utMYjNY\nlazTNXtJqjLwpRLKyISANi8Dzym2q3kgPPN701oqYeSJThLvN+0L8izifosEtA/1\nH2Nk5t+Y5EDXXCnu9vvLUlC5mO+KCT6ACZ18kItwPumwmT/93pAzsfwRKO35GS8i\n9W/CRgQY5j4tj2Xqy0wjrVo/Q26DaEvsetbqsYhqSbW1FvXA68bQjHEgtjGm2VwQ\nRBdmgOf6JxJXpPgsNvE5v/QZZS7/SfFpimbf/qeh9jo2S9LYTjqiTA8tFgPYp2yY\nZfzudUvifrD1OL+SalJOgi79DuePTeW1a7ibxIF7R9Xrmaoc1KpltVeTQ++eR5Qj\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-05-30 00:00:00.000Z","summary":"

The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP.

ETAPS 2026: April 11 - 16, Turin, Italy

","updated":"2025-08-21 02:48:01.932Z","user":"","username":"ETAPS Conferences"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-14 12:16:44.372Z","domain":"mastodon.acm.org","followerCount":51,"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":"0d0tzm8w60z4h63","inbox":"https://mastodon.acm.org/users/fme/inbox","iri":"https://mastodon.acm.org/users/fme","isLocal":false,"last_fetched":"2025-08-21 02:48:02.499Z","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-08-21 02:48:02.500Z","user":"","username":"Formal Methods Europe"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

Taylor Johnson

Following