WORM2016 - Call for Papers

Registration and abstract submission for the

3rd Workshop on Order Reduction Methods (WORM2016)

are now open. Further information is available on the workshop website (currently not available).