[FM-India] ATVA 2017 - Second Call for Participation & Industry Presentations

[Madhavan Mukund]

 Date: Thu, 24 Aug 2017 17:28:05 +0530
 From: ATVA 2017 <atva2017 at gmail.com>
 To: ATVA 2017 <atva2017 at gmail.com>
 Subject: ATVA 2017 - Second Call for Participation & Industry Presentations
 
 
 Apologies, in case you receive multiple copies of this.
 
 
 CALL FOR PARTICIPATION & INDUSTRY PRESENTATIONS
 ===============================================
 
 15th International Symposium on Automated Technology for Verification and
 Analysis (ATVA 2017)
 
 October 3-6, 2017, Pune, India.
 
 http://www.iarcs.org.in/atva2017
 
 
 About ATVA
 ----------
 
 ATVA aims 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.
 
 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
 speaker.
 
 
 Submission of Extended Abstracts
 --------------------------------
 
 For industry presentations, we solicit 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 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
 ---------------
 
 Submission of Extended Abstracts:       September 5, 2017
 Notification of acceptance:             September 9, 2017
 
 Early Bird Registration Deadline:    August 31, 2017
 Late Registration Deadline:        September 30, 2017
 
 Tutorials & Industry Session:           October 3, 2017
 Conference:                October 4-6, 2017
 
 
 Invited Talks
 -------------
 
 1. Consistency made easy: Towards building correct by design cloud applications
     Speaker: Carla Ferreira (Universide Nova De Lisboa, Portugal)
 
 2. From Trustworthy Kernels to Trustworthy Systems
     Speaker: Gerwin Klein (CSIRO and Univ. of New South Wales, Australia)
 
 3. Proving Absence of Starvation by Means of Abstract Interpretation and
 Model-checking
     Speaker: Helmut Seidl (TU Munich, Germany)
 
 
 Tutorials by Invited Speakers
 -----------------------------
 
 1. Data types, tools, and techniques for building available and correct
 distributed applications
     Speaker: Carla Ferreira (Universide Nova De Lisboa, Portugal)
 
 2. Isabelle Tutorial
     Speaker: Gerwin Klein (CSIRO and Univ. of New South Wales, Australia)
 
 3. Generic Fixpoint Engines for Interprocedural Analyses with Widening and
 Narrowing
     Speaker: Helmut Seidl (TU Munich, Germany)
 
 
 Venue
 -----
 
 Tata Consultancy Services
 Sahyadri Park, Plot No. 2 & 3
 Rajiv Gandhi Infotech Park
 Phase-III, Hinjewadi, Pune - 411 057
 India
 
 
 General Chair
 -------------
 
 R Venkatesh (TCS, Pune)
 
 
 Program Committee Chairs
 ------------------------
 
 Deepak D'Souza (IISc, Bangalore)
 K Narayan Kumar (CMI, Chennai)
 
 
 Program Committee
 -----------------
 
 M F Atig (Uppsala U)
 Srivathsan B (CMI, India)
 Franck Cassez (Macquerie U)
 Rohit Chadha (U Missouri)
 Supratik Chakraborty (IIT Bombay)
 Giorgio Delzanno (DIBRIS, Genoa)
 Stephane Demri (CNRS, LSV, Cachan)
 Deepak D'Souza (IISc, Bangalore) (Co-Chair)
 Constantin Enea (U Paris 7)
 Blaise Genest (IRISA Rennes)
 Ashutosh Gupta (TIFR, Mumbai)
 Teruo Higashino (IST, Osaka)
 Radu Iosif (VERIMAG, Grenoble)
 Jie-Hong Roland Jiang (NTU, Taiwan)
 Joost-Pieter Katoen (U Aachen)
 Nicolas Markey (CNRS, IRISA, Rennes)
 Roland Meyer (TU Braunschweig)
 K Narayan Kumar (CMI, Chennai) (Co-Chair)
 Doron Peled (Bar Ilan U)
 Pavithra Prabhakar (Kansas State Univ)
 Xiaokang Qiu (MIT)
 K V Raghavan (IISc, Bangalore)
 Indranil Saha (IIT Kanpur)
 Jun Sun (SUTD, Singapore)
 S P Suresh (CMI, Chennai)
 Ashish Tiwari (SRI)
 Salvatore La Torre (UNISA Salerno)
 R Venkatesh (TCS, Pune)
 Farn Wang (NTU, Taiwan)
 Shaofa Yang (CAS, Beijing)
 Hsu-Chun Yen (NTU, Taiwan)
 
 
 Organizing Committee
 --------------------
 
 Priyanka Darke (TCS, Pune)
 Advaita Datar (TCS, Pune)
 Anushri Jana (TCS, Pune)
 Kashmira Jijina (TCS, Pune)
 Kumar Madhukar (TCS, Pune)
 Tukaram Muske (TCS, Pune) (Finance Chair)
 Anuj Sharma (TCS, Pune)
 Ulka Shrotri (TCS, Pune) (Chair)
 
 
 Steering Committee
 ------------------
 
 E Allen Emerson (UT Austin)
 Teruo Higashino (Osaka U)
 Oscar H Ibarra (UC Santa Barbara)
 Insup Lee (U Pennsylvania)
 Doron A Peled (Bar Ilan U)
 Farn Wang (NTU, Taiwan)
 Hsu-Chun Yen (NTU, Taiwan)
 
 
 More details are available at the conference website
 www.iarcs.org.in/atva2017
 
 
 
 Best regards,
 Organizing Committee, ATVA 2017