We started the cooperation in the SMT4ABS DAAD ppp project with a kickoff meeting February 16-17, 2015 in Bergen, Norway. In interesting discussions we laid the basis for an extension of the ABS language with contracts for execution time deadlines integrated into the type system.