Special Session on Partially Ordered Sets, October 2013