Record

event

Austin Formal Methods Meetup

Thu, Nov 5, 12:30 AM UTC · STATION Austin

by did:plc:hczzmj…emvy · indexed 5d ago

Merged into a curated record: Austin Formal Methods Meetup

at://did:plc:hczzmjn2ti3mqdmfz6wcemvy/community.lexicon.calendar.event/6ab7fe97ab72ebb2d04347fb

Index now reads it again from its author's repo. Take down hides it here only.

What the rules say about it

0 about it

Nothing yet. No rule has published anything about this record.

Upstream

no upstream named

From

no credit named

Record body

event

{
  "$type": "community.lexicon.calendar.event",
  "createdAt": "2026-09-26T17:19:19.904Z",
  "description": "#tech • Free event • https://www.meetup.com/austin-formal-methods-user-group/events/315309170/",
  "descriptionFacets": [
    {
      "features": [
        {
          "$type": "app.bsky.richtext.facet#tag",
          "tag": "tech"
        }
      ],
      "index": {
        "byteEnd": 5,
        "byteStart": 0
      }
    },
    {
      "features": [
        {
          "$type": "app.bsky.richtext.facet#link",
          "uri": "https://www.meetup.com/austin-formal-methods-user-group/events/315309170/"
        }
      ],
      "index": {
        "byteEnd": 98,
        "byteStart": 25
      }
    }
  ],
  "endsAt": "2026-11-05T02:30:00.000Z",
  "locations": [
    {
      "$type": "community.lexicon.location.address",
      "country": "US",
      "name": "STATION Austin"
    }
  ],
  "mode": "community.lexicon.calendar.event#inperson",
  "name": "Austin Formal Methods Meetup",
  "rsvp": false,
  "startsAt": "2026-11-05T00:30:00.000Z",
  "status": "community.lexicon.calendar.event#scheduled",
  "uris": [
    {
      "$type": "community.lexicon.calendar.event#uri",
      "name": "Event Link",
      "uri": "https://www.meetup.com/austin-formal-methods-user-group/events/315309170/"
    }
  ]
}