This is an old revision of the document!
Working Group 2 (Practice-Driven Theory)
Working Group 3 (Benchmarks)