The 7th RISC-V Workshop has rejected my talk on riscv-formal. (They "accepted it as a poster".)
-
Show this thread
-
Replying to @oe1cxw
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
1 reply 0 retweets 2 likes -
Replying to @rafael_tp
Yes, I'm coming to the RISC-V Workshop. I'm in the bay area anyways for most of next month..
2 replies 0 retweets 3 likes -
Replying to @jrenauardevol @rafael_tp
Absolutely. I haven't mailed you about it so far bc I don't know the exact dates when I will have time yet..
4:12 AM - 16 Oct 2017
0 replies
0 retweets
0 likes
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.