[sts] Call for Papers: Kiel Declarative Programming Days 2013