Call for Submissions

Whatever your specialty, Verification Futures 2018 (including Formal Verification 2018) provides an excellent opportunity to share your experiences and insights on the key technical and industry challenges we face in verification.

Submit an Abstract for VF2018

We are now seeking submissions for presentations and papers for Verification Futures 2018 that describe interesting and innovative experiences related to challenges faced in verification. To be considered for inclusion in the conference the organisers require speakers to provide a short abstract with a brief description of the talk being proposed. Abstracts should be targeted toward a technical audience of verification engineers. The conference has several tracks and abstracts may cover any of the following:

  • User Challenges in Verification that need to be addressed
  • Formal Verification
  • Safety
  • Software Testing
  • Security
  • Hardware Verification (FPGA & ASIC)
  • Innovate Verification Solutions

Submiting Abstracts

Abstract submissions should be no more than 2,500 characters and include a short biography of the speaker. All abstracts will be reviewed and notice of acceptance will be sent via email. To submit your abstract please complete the form below: