[FM-India] ATVA 2017 Call for Industy Presentations

Madhavan Mukund madhavan at cmi.ac.in
Fri Aug 11 12:52:46 IST 2017

 Date: Fri, 11 Aug 2017 07:20:12 +0000
 From: Deepak D'Souza <deepakd at iisc.ac.in>
 To: Fmindia <fmindia at cmi.ac.in>
 Subject: ATVA 2017 Call for Industy Presentations
 15th International Symposium on Automated Technology for Verification and
 Analysis (ATVA 2017)
 October 3-6, 2017, Pune, India.
 ATVA 2017 is the 15th in a series of symposia aimed at bringing together
 academics, industrial researchers and practitioners in the area of theoretical
 and practical aspects of automated analysis, synthesis, and verification of
 hardware and software systems. This year ATVA will be held in the beautiful
 campus of Tata Consultancy Services, surrounded by the rolling hills of the
 Sahyadri ranges, in the city of Pune, in India.
 ATVA 2017 will feature three invited talks, one on each day of the conference,
 and 29 author presentations of high-quality research and tool papers. The
 conference will be preceded by a day of tutorials, one from each invited
 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 ATVA (mailto: atva2017 at gmail.com), on or
 before August 23, 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.

More information about the FMIndia mailing list