[FM-India] ATVA 2017 Call for Participation

[Madhavan Mukund]

CALL FOR PARTICIPATION
======================

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.


Important Dates
---------------

Early Bird Registration Deadline:       August 31, 2017
Late Registration Deadline:             September 30, 2017

Tutorials by Invited Speakers:          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)


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