allydonaldson.blogspot.com
Blind to undecidability: Tales from Verification History
http://allydonaldson.blogspot.com/2010/01/tales-from-verification-history.html
Computer chat, problems I have had and fixed, and maybe some stuff about my research in software verification (where undecidability is always lurking around the corner, but we plough on anyway! Tuesday, 12 January 2010. Tales from Verification History. For anyone interested in the Verification controversy. Post below, my colleague Vijay. Recently did a really great presentation at the Oxford Comlab. Entitled Tales from Verification History. Slides for the presentation are available.
allydonaldson.blogspot.com
Blind to undecidability: Glasgow
http://allydonaldson.blogspot.com/2009/10/this-weekend-i-had-flying-visit-to.html
Computer chat, problems I have had and fixed, and maybe some stuff about my research in software verification (where undecidability is always lurking around the corner, but we plough on anyway! Wednesday, 14 October 2009. This weekend I had a flying visit to Glasgow for a session with my band, and to see a musical put on by a company which my wife Chris used to be a member of. Apologies to friends of mine in Glasgow who I didn't get a chance to see - next time hopefully I'll be up for longer.
allydonaldson.blogspot.com
Blind to undecidability: Having trouble getting the Murphi verifier to compile?
http://allydonaldson.blogspot.com/2009/12/having-trouble-getting-murphi-verifier.html
Computer chat, problems I have had and fixed, and maybe some stuff about my research in software verification (where undecidability is always lurking around the corner, but we plough on anyway! Tuesday, 1 December 2009. Having trouble getting the Murphi verifier to compile? I've spent quite a bit of time today getting the Murphi verification tool to compile. I thought I'd write down how I did it in case this is of use to others. First, I found that the version here. Which has the same version number!
allydonaldson.blogspot.com
Blind to undecidability: October 2009
http://allydonaldson.blogspot.com/2009_10_01_archive.html
Computer chat, problems I have had and fixed, and maybe some stuff about my research in software verification (where undecidability is always lurking around the corner, but we plough on anyway! Wednesday, 14 October 2009. This weekend I had a flying visit to Glasgow for a session with my band, and to see a musical put on by a company which my wife Chris used to be a member of. Apologies to friends of mine in Glasgow who I didn't get a chance to see - next time hopefully I'll be up for longer.
cyclewize.com
Sections
http://www.cyclewize.com/sections/19/Frames_road
Bikes - Road Bikes. Bikes - Mountain Bikes. Bikes - Children's Bikes. Bikes - Hybrid/City Bikes. Phone: 0141 775 3722. Price: low to high. Price: high to low. 56cm dark blue multi-floral scolls chrome forks 1/2 price. Giant - omnium track. 50cm black/white/red alloy carbon forks save 150. VAT No: 262 5649 45.
cyclewize.com
Sections
http://www.cyclewize.com/sections/16/Chainsets
Bikes - Road Bikes. Bikes - Mountain Bikes. Bikes - Children's Bikes. Bikes - Hybrid/City Bikes. Phone: 0141 775 3722. Price: low to high. Price: high to low. Shimano - 105 fc-5501 silver. Road 53/39 hollowtech 170mm. Shimano - dura ace fc-7950. Shimano - sora hollowtech. 8sp 53/39 170mm silver. Shimano hollowtech - deore mega 9. Shimano hyperdrive - fcm-311 sq.taper. Shimano sq.taper - fc-2203 black. Mtb triple 52/42/30 170mm. VAT No: 262 5649 45.
cyclewize.com
Sections
http://www.cyclewize.com/sections/22/Shimano_front_rear_mechs
Bikes - Road Bikes. Bikes - Mountain Bikes. Bikes - Children's Bikes. Bikes - Hybrid/City Bikes. Phone: 0141 775 3722. Shimano front rear mechs. Price: low to high. Price: high to low. 8sp black rear mech. 8sp silver rear mech. 9sp silver rear mech. Shimano - deore lx. 9sp gunmetal lx rear mech. 8sp sora rear mech silver. 7/8 sp black rear mech. Shimano - ultega rear mech. 9sp ultegra rear mech gunmetal. Shimano - ultegra front mech. Shimano - xt front mech. Mega braze on and clip. Shimano - xt rear.
SOCIAL ENGAGEMENT