The 7th RISC-V Workshop has rejected my talk on riscv-formal. (They "accepted it as a poster".)
Show this thread
-
not sure if hitting "love" shows empathy in this case. Hope you're still coming, folks in my lab are excited to hear about riscv-formal
Yes, I'm coming to the RISC-V Workshop. I'm in the bay area anyways for most of next month..
-
-
Let me know if you want to visit ucsc
-
Absolutely. I haven't mailed you about it so far bc I don't know the exact dates when I will have time yet..
End of conversation
New conversation -
-
-
\o/ I'm really looking forward to seeing your poster!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.