Co-located Events

 

  • MPC 2019 – 13th International Conference on Mathematics of Program Construction
  • SAS 2019 – 26th International Static Analysis Symposium
  • TAP 2019 – 13th International Conference on Tests and Proofs
  • VECoS 2019 – 13th International Conference on Verification and Evaluation of Computer and Communication Systems

Information about other co-located events will be provided soon.