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