Challenge Workshop on Formal Models of (Dis)Ordered Cognition: March 24 - 26, 2014, Heidelberg, Germany (Universität, 2014)