Shriram Krishnamurthi on Nostr: Formal methods folks: reminder that FM 2024 has a TUTORIAL track. I'm co-editing. We ...
Formal methods folks: reminder that FM 2024 has a TUTORIAL track. I'm co-editing. We have a GREAT set of reviewers to give you high-quality feedback: we want quality pedagogical work to be respected! Please spread the word! Deadline 19 April.
https://www.fm24.polimi.it/?page_id=310Published at
2024-03-25 13:18:28Event JSON
{
"id": "2a2bdb33bec267aa2d5ad8194c91e92c070afd93ba1de9ef940ba6bc58be3d36",
"pubkey": "da41345efcd23c060f4256375a2aa9e862fd37a0b6df5ba21e62d422ba1cc17c",
"created_at": 1711372708,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/shriramk/statuses/112156521841700460",
"activitypub"
]
],
"content": "Formal methods folks: reminder that FM 2024 has a TUTORIAL track. I'm co-editing. We have a GREAT set of reviewers to give you high-quality feedback: we want quality pedagogical work to be respected! Please spread the word! Deadline 19 April.\nhttps://www.fm24.polimi.it/?page_id=310",
"sig": "528a9c4bf1482d810003a90ca4affe7625916f8a6af13a9fe0bc370ee20f11cfd2b97694b87bea4bba493f89f027c1c591670ef91a025ff871f6900883aec62e"
}