We’ve received our 98th registration for our Proof, Rules and Meanings workshop hosted by Arché at St Andrews in April. It’s really gratifying to see that so many folks are interested in this work and want to join us in St Andrews, or online.
If *you* are interested in proof theory, semantics, and its connections to philosophy, mathematics, linguistics, computer science, and more, why not register and you might help us get to over 100 participants.
(The workshop is a hybrid event: the presentations will be live-streamed for off-site participants.)
Details about the workshop: https://www.st-andrews.ac.uk/arche/event/workshop-proofs-rules-and-meanings/
Greg Restall /
npub1gw…dplw7
2024-02-18 20:03:04
in reply to nevent1q…0yuw
Author Public Key
npub1gwtglfks2gyd69l07rvm70arz8msp8am5shh8u2cxfuj8wg6zcmsndplw7Published at
2024-02-18 20:03:04Event JSON
{
"id": "5c81af4d38dc893b161ee1a29dc284af6550e7b360481e50daf017e98ea2072e",
"pubkey": "43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at": 1708286584,
"kind": 1,
"tags": [
[
"e",
"10131eb7ad17fee61f4a844844179d765e84399fc7ac8c199ab372b04b8bccdf",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://hcommons.social/users/consequently/statuses/111954269604055582",
"activitypub"
]
],
"content": "We’ve received our 98th registration for our Proof, Rules and Meanings workshop hosted by Arché at St Andrews in April. It’s really gratifying to see that so many folks are interested in this work and want to join us in St Andrews, or online.\n\nIf *you* are interested in proof theory, semantics, and its connections to philosophy, mathematics, linguistics, computer science, and more, why not register and you might help us get to over 100 participants. \n\n(The workshop is a hybrid event: the presentations will be live-streamed for off-site participants.)\n\nDetails about the workshop: https://www.st-andrews.ac.uk/arche/event/workshop-proofs-rules-and-meanings/",
"sig": "8a3a23c9bcc2742d1f201858741a4e0e8e9c6210e8cadbf2d345cb693dc0339545e8dc606a737d0c91d8fc517e0fe1e609c0a90f2553fa3917dfea3edc1ffd65"
}