{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-21 16:32:04.091Z","domain":"mastodon.social","followerCount":22,"followers":"https://mastodon.social/users/alexstek/followers","following":"https://mastodon.social/users/alexstek/following","followingCount":167,"icon":"https://files.mastodon.social/accounts/avatars/110/094/288/367/051/714/original/13a96d675e058c67.jpg","id":"qy42062xbwwb2ij","inbox":"https://mastodon.social/users/alexstek/inbox","iri":"https://mastodon.social/users/alexstek","isLocal":false,"last_fetched":"2025-11-07 18:17:48.386Z","outbox":"https://mastodon.social/users/alexstek/outbox","preferred_username":"alexstek","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuvC6t6Y+9c7HzSy7NfEH\ndmq42TOtlKXGzgprKROrJOhPbZahcuo4dHaFf0EE83OpfUjovDp8YcAQ/kyyX2IK\n6h2BNzOpP8ujaBOE+tSBbekjd7Q57W3EIZDHWaLs9gMczFhmAvLo6BcYrtB+zhyG\nRRdLU+FAeDlP18cbw3Ol2EyJp2y1OZExVJjUm+ufYKW4RF1cQKwYaH2mt2YlQIqe\npBkcJ9COJeOh+wM1E+418xZAHHFPS296Rm8kkK5KAag77ma/9Hbi7lvveYa0vDNV\nQ4HPmiC8SAJTfxUNuGY+k2vs2+8aPUEcx8qy255u1YYEO0u5zJzjolRnys6jaUcA\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-27 00:00:00.000Z","summary":"","updated":"2025-11-07 18:17:48.387Z","user":"","username":"Alexander"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 12:39:58.776Z","domain":"mastodon.acm.org","followerCount":48,"followers":"https://mastodon.acm.org/users/jkeiren/followers","following":"https://mastodon.acm.org/users/jkeiren/following","followingCount":189,"icon":"https://mastodon.acm.org/system/accounts/avatars/111/124/341/249/237/506/original/704c84b74a2def51.jpg","id":"sz7k31mv6g4z6xo","inbox":"https://mastodon.acm.org/users/jkeiren/inbox","iri":"https://mastodon.acm.org/users/jkeiren","isLocal":false,"last_fetched":"2025-11-07 18:17:48.947Z","outbox":"https://mastodon.acm.org/users/jkeiren/outbox","preferred_username":"jkeiren","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0IIdp6NBtdmb0uW0Gb+U\nYDmmuim52GSPc/HfcCUcq5NNSOBFT7IBPNztD3qCLfvTkOLqdzh4kcefpevROLCo\n4VeYG1Z8WRoQ5PTsfIOrhcFHTGwTptTo2EuMJUfBi3wmcyhdmybM8GCkA5IeaLvB\nMDfeYhsy/Sax4moPjHTnQcqea+6Jb3KBp051ytnBb+MQlOOvGqf281tABoR5QASW\n0deGAd3Qccx0V8tV3/Dt4J17R6K+wJkj+ti0fnc17X+gJ5Q1SWDOjx/BdZsLw4py\nfIq+ksWgtQw8kmW/707b5mNjGOaIHPZjWahzOabgkRdUk1M3B7FGpxNw+0Eq8Ue9\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-09-25 00:00:00.000Z","summary":"

Assistant professor Formal System Analysis at Eindhoven University of Technology, The Netherlands. Into formal methods, in particular model checking, and their application to industry critical systems.

","updated":"2025-11-07 18:17:48.947Z","user":"","username":"Jeroen Keiren"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-09 09:01:19.547Z","domain":"mastodon.acm.org","followerCount":40,"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":"lu8kdxcy7kqd59g","inbox":"https://mastodon.acm.org/users/FMASWorkshop/inbox","iri":"https://mastodon.acm.org/users/FMASWorkshop","isLocal":false,"last_fetched":"2025-11-07 18:17:49.148Z","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-11-07 18:17:49.149Z","user":"","username":"FMASWorkshop"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-05 20:54:53.850Z","domain":"mastodon.social","followerCount":4,"followers":"https://mastodon.social/users/logical_luisc/followers","following":"https://mastodon.social/users/logical_luisc/following","followingCount":20,"icon":"https://files.mastodon.social/accounts/avatars/111/319/851/430/060/673/original/62b593478b2018c6.png","id":"j21p6u2no677ogh","inbox":"https://mastodon.social/users/logical_luisc/inbox","iri":"https://mastodon.social/users/logical_luisc","isLocal":false,"last_fetched":"2025-11-07 18:17:49.695Z","outbox":"https://mastodon.social/users/logical_luisc/outbox","preferred_username":"logical_luisc","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwqh6DNxyAI3LhBbU5qXG\nsYpP8hW/vH6R6vKmPSgEpeAAmXV96254pVGoa+18qLiqRy+Uh/l6pNH1agJumelI\nZ+3HBBMr3pq8P5bWKo+gHfe+iDugJA5y96WXZR7ZNuJecxt9Y2d1RVJsUEOE1CGM\nyVafCo48C2YIKOkqY9Caqv8hmBkCHdLoOzhSoIx+WvMNkyUEVRwoYBbW6poFaYS2\ncqz0qkizvu8/ofzRoER6DwScWwnJhef+9CHZIBZbGIh+mSy+X40oJzlHXFcyetDI\np8efUowMQVSmb/G79yS0+PiMslAdkNfpi7I9JsJoQ7z4r/7Jsgdv5XKazhGO/CDd\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-29 00:00:00.000Z","summary":"","updated":"2025-11-07 18:17:49.695Z","user":"","username":"Luís Caires"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-07 03:34:26.685Z","domain":"mastodon.education","followerCount":106,"followers":"https://mastodon.education/users/ETAPSconf/followers","following":"https://mastodon.education/users/ETAPSconf/following","followingCount":3,"icon":"https://mastodon.education/system/accounts/avatars/110/457/648/370/952/972/original/cf7d59433b377e5c.png","id":"ojwofl5zclvc9jf","inbox":"https://mastodon.education/users/ETAPSconf/inbox","iri":"https://mastodon.education/users/ETAPSconf","isLocal":false,"last_fetched":"2025-11-07 18:17:49.905Z","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

https://etaps.org/

","updated":"2025-11-07 18:17:49.905Z","user":"","username":"ETAPS Conferences"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

Marieke Huisman

Followers