[Tipp2014] Proceedings for TIPP 2014 ?