Conferences
  • I was general chair of ICTAC 2014.


  • I have been in the PC of conferences and workshops, including several editions of ICST (IEEE International Conference on Software Testing, Verification and Validation), SEFM (International Conference on Software Engineering and Formal Methods), CMC (International Conference on Membrane Computing), BIC-TA (International Conference on Bio-inspired Computing: Theories and Applications), VALID (International Conference on Advances in System Testing and Validation Lifecycle).

  • I am in the steering committee of CMC.