What is Nostr?
Shriram Krishnamurthi /
npub1mfq…awuj
2024-03-25 13:18:28

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=310
Author Public Key
npub1mfqnghhu6g7qvr6z2cm4524fap306daqkm04hgs7vt2z9wsuc97q8wawuj