Pages

Friday, 5 August 2016

Professional Activities in 2016

I have been invited to serve on the PC of SVT 2017,
the 32nd Annual ACM Symposium on Applied Computing Software Verification and Testing Track that will be held in Marrakech, Morocco, April 3 – 7, 2017.

Here is a summary of my activities in 2016:

PC Co-Chair of TAP 2016, the 10th International Conference on Tests & Proofs, July 2016,Vienna, Austria.