Talk went mostly well I think...
Aug. 27th, 2004 01:29 pmOther than hitting a wrong key and having to page through 20 or so slides painfully slowly (evil hex on Acrobat for being slow), it wasn't too bad. Like the paper, I think I suffered from trying to cram too much in, but as it was all new theory that to an extent all depended on itself, I couldn't really split it up because of chicken and egg problems.
But yes, I now have a proper publication and everything. It's in an actual book, too. Here's the reference, (its nice to be able to say that at long last!):
S. Thompson and Mycroft, A., Abstract Interpretation of Combinational Asynchronous Circuits, In Proc. SAS 2004, LNCS 3148, pp. 181-196, R. Giacobazzi (Ed.), Springer-Verlag Berlin Heidelberg, 2004
Phew... I can relax and enjoy the rest of the conference now. My jet lag is nearly gone now, so I'm not having to fight to stay awake so much. Ugh -- 9 hours of eastwards shift is pretty icky.
But yes, I now have a proper publication and everything. It's in an actual book, too. Here's the reference, (its nice to be able to say that at long last!):
S. Thompson and Mycroft, A., Abstract Interpretation of Combinational Asynchronous Circuits, In Proc. SAS 2004, LNCS 3148, pp. 181-196, R. Giacobazzi (Ed.), Springer-Verlag Berlin Heidelberg, 2004
Phew... I can relax and enjoy the rest of the conference now. My jet lag is nearly gone now, so I'm not having to fight to stay awake so much. Ugh -- 9 hours of eastwards shift is pretty icky.