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 atva2017@gmail.com, 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.