Event JSON
{
"id": "b9ac4a47c5dde813785f5cf1d4f356548453064128c79ffd0ee8054eb570ae3b",
"pubkey": "f2cf0dfce0e92e5ef80de5d4f4ead58db7804926d51a59524cb8c0584522aa69",
"created_at": 1701598820,
"kind": 1,
"tags": [
[
"p",
"b7df5e78020258009d041bec8deaddf4da610e4ad5363e3b3019904ca27a4ed0",
"wss://relay.mostr.pub"
],
[
"p",
"4f0d6d69741da538b6a5e55cf6158571835598920fbfdeb927bf7185ff48cfce",
"wss://relay.mostr.pub"
],
[
"p",
"e6db973c6af599d2c00f3b68b2afbb5b0ff657e9d86d33cd0b9155775bfffd1b",
"wss://relay.mostr.pub"
],
[
"p",
"f432177d8ea5cc8b25077a775430e37a8616f4b52dae63c6064924f6a565a251",
"wss://relay.mostr.pub"
],
[
"t",
"summerschool"
],
[
"t",
"logic"
],
[
"t",
"anu"
],
[
"proxy",
"https://fediscience.org/users/RanaldClouston/statuses/111515980304632145",
"activitypub"
]
],
"content": "The latest edition of the iconic #ANU #Logic #SummerSchool starts tomorrow! I'll be reprising last year's topic of 'Propositions and Types, Proofs and Programs'. Other lecturers include nostr:npub1kl04u7qzqfvqp8gyr0kgm6ka7ndxzrj265mruwesrxgyegn6fmgq8nr8af and nostr:npub1fuxk66t5rkjn3d49u4w0v9v9wxp4txyjp7laawf8hacctl6gel8qsaetqh https://comp.anu.edu.au/lss/",
"sig": "dfae0f09a7c07d7831f4d7aafc79d0e267279acac1579e08d62ba81e00709de6a75e7acd78832ebadb68cb4d245b7d661ff06a9ec342864889949f63c6d49667"
}
