Project Theoretische Informatica 2014