{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-17 17:22:00.307Z","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":"32apdggbdz93as1","inbox":"https://mastodon.education/users/ETAPSconf/inbox","iri":"https://mastodon.education/users/ETAPSconf","isLocal":false,"last_fetched":"2025-10-17 17:22:00.306Z","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-10-17 17:22:00.307Z","user":"","username":"ETAPS Conferences"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 11:37:33.340Z","domain":"sigmoid.social","followerCount":1534,"followers":"https://sigmoid.social/users/gradybooch/followers","following":"https://sigmoid.social/users/gradybooch/following","followingCount":1,"icon":"https://cdn.masto.host/sigmoidsocial/accounts/avatars/109/633/327/838/872/878/original/c93b4dad81032a66.png","id":"e591759m6jchmp7","inbox":"https://sigmoid.social/users/gradybooch/inbox","iri":"https://sigmoid.social/users/gradybooch","isLocal":false,"last_fetched":"2025-10-17 17:22:00.548Z","outbox":"https://sigmoid.social/users/gradybooch/outbox","preferred_username":"gradybooch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArXrFvl8glG8JZ7Ie3xYb\njhe0jbnvF9tlsNob+8WqkjLU9SLlkPzq3zT0JkNpLfL532WgSxQ6pk0BgsdStJ2U\nxqM7f+kcZVmU8hz6BjKMgazLoKMhVFd2k6DGeQy/9VHQbO6Vj4pHVCt9/NIVaLWQ\nv1Y3EWg//5kSL4FMztzTnbLWjzoKa+qxKe98gVT7XegINkcbthnalRDOAuKavtBo\nFCN5WgHc3HozWxLtsRUMTIv2fLSigoJ/5Rry8u6BK2mTrcvAZ9s7u9QMfsW2BC/6\ni3envdMKtr6e2wkxwYe+mbQASn7fpV0xv8629mNqU5Wc5J43JMQ3wMYjOplMnrXZ\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-04 00:00:00.000Z","summary":"","updated":"2025-10-17 17:22:00.548Z","user":"","username":"Grady Booch"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 12:38:28.844Z","domain":"mastodon.social","followerCount":268,"followers":"https://mastodon.social/users/fm_volker/followers","following":"https://mastodon.social/users/fm_volker/following","followingCount":384,"icon":"https://files.mastodon.social/accounts/avatars/109/251/590/005/619/829/original/810a05d7daee6290.png","id":"2008239876r2mg0","inbox":"https://mastodon.social/users/fm_volker/inbox","iri":"https://mastodon.social/users/fm_volker","isLocal":false,"last_fetched":"2025-10-17 17:22:00.709Z","outbox":"https://mastodon.social/users/fm_volker/outbox","preferred_username":"fm_volker","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA+1vPssvb1GEFwneGw4rE\nyY1TjpEuFscy8onb8g9hhmoxPyOmu5ZuD1VlT8MH0VjowklhVfl2R9c2AcmLeFVP\nc3+QXSQbVkXwJMTqX9cwXFPuU5vF2gzxK8jv3zL/J8TelnAme0vBt9064m0WZ+OD\nJ6N5asJgmY/IFOqJJfDJ4Reasye34qenPEiJLU+MDzpnjQx27g8u/rtdNYkAXW+e\ngEe4cgk8hVzbRZwAAQWFeXTUzVgL1oXK1asXyfx9gGJz3buXWv6H8zyjKrV2ZucS\n5Wi+IsP2/NdPEhp+NL+43eyyalSzqhCibmUv5PFGEf91hQ/kzAnod4OSvAbXrR6N\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selabhvl.
https://λ.foldr.org/~vs/ forthcoming. Relapses into #FreeBSD.
#bergen - nordisk by nature. #FormalMethods #RuntimeVerification #Refactoring #HomeAssistant

","updated":"2025-10-17 17:22:00.709Z","user":"","username":"Volker Stolz"}],"page":1,"perPage":10,"totalItems":4,"totalPages":1}

Ferruccio Damiani

Following