[FM-India] ATVA 2017 Call for Industy Presentations
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
CALL FOR INDUSTRY 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