ICSE 2010 in Cape Town

On saturday I will fly to Cape Town, South Africa, to attend the International Conference on Software Engineering. On May 3 I will present our paper “Directed and Heuristic Counterexample Generation for Probabilistic Model Checking – A Comparative Evaluation” at the First International workshop on Quantitative Stochastic Models in the Verification and Design of Software System (QUOVADIS 2010).

ICSE 2010

I’m really looking forward to the conference where well-known scientists from around the world will present their work. Highlights are also the opening keynote given by Archbishop Desmond Tutu and the Microsoft Research New Horizons Evening.

One thought on “ICSE 2010 in Cape Town

Leave a Reply

Your email address will not be published. Required fields are marked *