Hi all, My summary of the talks is here: http://maurits.vanrees.org/weblog/archive/2012/07/pun Reinout's summaries are here: http://reinout.vanrees.org/weblog/2012/07/04/index.html Cheers, -- Maurits van Rees: http://maurits.vanrees.org/