Tomorrow I head off to San Francisco to attend POPL 2008. Matthew will be presenting some joint work on verifying OO programs.
I will try to blog during the conference. The program looks very exciting so I'm looking forward to attending!
skip to main |
skip to sidebar
No comments:
Post a Comment