CPRG Seminar, 3.30pm FC22, WGB

I probably should have gone to bed ages ago, but I seem to be buzzing too much. Excess caffeine, coupled with finding a bunch of CDs at the bottom of a box that I hadn't listened to in years. That, and discovering that abcde on Linux will happily rip two CDs at once, one in each of my CD drives. Neat little prog that, well recommended -- a nice front end to cdparanoia and cddb.

Anyway, the main reason for this blog entry (and indeed the buzzing) is due to the fact that I'm giving a CPRG (my research group in the computer lab) seminar at 3.30pm. It's based loosely on my UK Async Forum paper and presentation, but goes much deeper into the abstract interpretation side -- it spills the beans on quite a bit of my recent work, including the n-value, 256-value, 13-value, 9-value and 5-value 'transitional' logics, and how they relate to better known 2, 3 and 4 value logics. In effect, the UK Async Forum material has become a worked example for the 9-value logic.

There's no paper yet -- I have a fair bit more work to do before I can write this up properly, but in the mean time you can download the slides and the handouts if you're interested. The UK Async Forum paper is available from here.

PS: Any cam compsci types are welcome to turn up to the seminar if they are interested.