Erika Abraham

SMT4ABS kickoff meeting

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.

Erika Abraham is member of the FSTTCS’15 PC

Erika Abraham serves as a member of the program committee of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’15).