SoSy-Lab accepted as organization of Google Summer of Code. Have a look at our project proposals!