Call for Industry Presentations

(download as poster)

Submission of Extended Abstracts

This call for industry presentation solicits extended abstracts based on the work being carried out in the industry, in the area of automated analysis, synthesis, and verification of hardware and software systems. The work should reflect real-life experiences and emerging trends in various domains.

The extended abstracts should be one or two pages in length (including references), written in English, and must adhere to Springer's LNCS format. The submissions must be sent by email to, on or before August 23, September 5, 2017.

Each accepted presentation will receive a 15 minute slot in the Industry Session at ATVA 2017. However, these abstracts will not be part of the proceedings of the conference.

Important Dates