Next meeting: April 15/16, Microsoft Research, Cambridge

The next meeting has been agreed for 15 and 16 April 2013, at Microsoft Research. Cambridge. Local organiser is Markulf Kohlweiss. Please see here for more information.