Space Invader @ East London Massive

Monday, June 01, 2009

Celebrating Richard!

The East London Massive and friends are gathering on the English coast (in Aldeburgh) to celabrate the 65th birthday of one of the historic pillars of the Massive: Richard Bornat!

It's gonna be all about proving programs and brainstorming on better way of proving programs... although I must admit that dreaming of coming up with a better proof for
in-place list reversal than Richard's one (check it out) it's realistically hopeless. That's definitely unbeatable!

More info here