We are happy to welcome Gereon Kremer as a PhD student in our group!

After the evalution it is decided that our group will permanent in form of a W2 professorship.

Erika Abraham is one of the co-chairs for FORTE’14, a member conference of DisCoTec.

Erika Abraham is a PC member of FORMATS’14.

Erika Abraham will give an invited talk at SFM’14.

Erika Ábrahám is elected to co-chair TACAS’14.

Erika Ábrahám is a member of the HSCC’14 program committee.

In cooperation with LuFG I9 we host the pupils university (Schüleruniversität Informatik), which will take place from July 29th until August 2nd.

Our paper “From Statistical Model Checking to Statistical Model Inference: Characterizing the Effect of Process Variations in Analog Circuits” is accepted at ICCAD’13.

Our paper “On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers“ was accepted at CAI 2013. We also published a technical report, which is available here.