( Read more... )

So, errr, about sixth months ago the JadePagoda decided all to read and review The Many Hands by Paul Dale Smith. I am more than a little late, both in reading it and then in writing this review ( Read more... )

I'm at a celebration of Alan Bundy's 60th birthday (even though he's 61). I've just survived a reception, followed by a meal, followed by another reception complete with jazz band ( Read more... )

Achieved:

• JG sent me a PDF of our note on proof specification languages: read but not digested.
• Asked LD about putting induction challenge problems into TPTP THF - LD agrees with my approach. LD tried to check type definitions in IsaPlanner for me: "unfortunately most of my systems are halfway between broken and working... which means they're ( Read more... )

Achieved:

• Volunteered to give a Dream Talk on Friday
• Printed out and read my papers on Program Slicing which I said I'd talk about in the Dream Talk
• Long talk with LD about proof specification languages and control rules. Sent him draft paper on control rules by myself MJa and MP.

To Do:

• Write an abstract to go with the title for my Dream Talk, ( Read more... )

I'm visiting Edinburgh next week and, as there are a few Edinburgh folk on my flist, I was wondering if there was any chance of meeting up some evening...

I was interested to note in wellinghall's recent post about popular libary books that Fleshmarket Close by Iain Rankin was in the top ten and was, in fact, the only Rankin book to appear in the top ten. Does that mean people think it is the best Rankin? or just that its reached some optimal point past publication that suddenly everyone starts borrowing it ( Read more... )

My journey to Edinburgh involved a change at York. York races must have been in full swing because the station was full of well-dressed people drinking Carling and, of course, hats. It was also full of security and the atmosphere reminded me of the odd occasions I've ended up at train stations before a football match. Everyone was being very ( Read more... )