Erika Abraham is a PC member of ADHS’15.

Our new DAAD ppp project SMT4ABS will start in 2015. The DAAD ppp project Combining SMT-Solving with Type Checking for Real-Time ABS Programs (SMT4ABS), in cooperation with the university of Oslo with a running time 01/2015-12/2016,  aims at the application of SMT solving for type checking. We are interested in compositional verification techniques to prove […]

Erika Abraham will give an invited plenary lecture at International Symposium of Symbolic and Algebraic Computation (ISSAC’15).

Erika Abraham is a PC member of TACAS’15.

Erika Abraham is a PC member of FORTE’15.

Erika Abraham is a PC member of ATVA’15.

Erika Abraham is a PC member of HSCC’15.

Erika Abraham is a PC member of NFM’15.

Erika Abraham is a PC member of FM’15.

Erika Abraham is a PC member of VMCAI’15.