[FM-India] ATVA 2012: Final call for participation

Madhavan Mukund madhavan at cmi.ac.in
Tue Sep 18 06:19:15 IST 2012


Apologies, in case you receive multiple copies of this. Request
you to forward this to anyone who would be interested.

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

10th International Symposium on
Automated Technology for Verification and Analysis (ATVA 2012) 

October 3-6, 2012 
Thiruvananthapuram (Trivandrum), India

http://www.iarcs.org.in/atva2012/

The ATVA series of symposia is intended to promote research in
theoretical and practical aspects of automated analysis,
verification and synthesis by providing a forum for
interaction between the regional and international research
communities and industry in the field.  The previous nine
editions of the symposium were held in Taiwan (2003, 2004, 2005),
Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009),
Singapore (2010) and Taipei (2011).  ATVA 2012 will be held in
the picturesque campus of Tata Consultancy Services at
Thiruvananthapuram (Trivandrum), India from Oct 3 to Oct 6, 2012.


Registration
------------

Registration for ATVA 2012 is now open. Please visit the
conference website (http://www.iarcs.org.in/atva2012/) to
register.

Keynote talks and tutorials
--------------------------- 
ATVA 2012 will feature three keynote talks and tutorials by the
following speakers.  Tutorials are scheduled on October 3, 2012

 * Hardware track: Sharad Malik (Princeton Univ, USA)
 * Software track: Andreas Podelski (Univ of Freiburg, Germany)
 * Theory track: P. S. Thiagarajan (National Univ of Singapore, Singapore)


Program
-------

The three day conference will include 25 regular paper
presentations, 4 tool paper presentations and 3 invited
talks. The list of accepted papers is available on the conference
website (http://www.iarcs.org.in/atva2012/). A day of tutorials
by the invited speakers will precede the conference.

The program details are available on the website. A printable
version is also available for download at
http://www.iarcs.org.in/atva2012/program.pdf


Important dates
---------------

Registration deadline                   September 30, 2012

Tutorials by Invited Speakers           October 3, 2012
Main Conference                         October 4-6, 2012


-------------------------------------------------------
Conference Committees
-------------------------------------------------------
General Chair
S. Ramesh, Global GM R&D

Program Committee chairs
Supratik Chakraborty, IIT Bombay, India
Madhavan Mukund, Chennai Math. Inst., India

Steering Committee
E. Allen Emerson, Univ of Texas Austin, USA
Teruo Higashino, Osaka Univ, Japan
Oscar H. Ibarra, Univ of California at Santa Barbara, USA
Insup Lee, Univ of Pennsylvania, USA
Doron A. Peled, Bar Ilan Univ, Israel
Farn Wang, National Taiwan Univ, Taiwan
Hsu-Chun Yen, National Taiwan Univ, Taiwan

Program Committee includes

Rajeev Alur, Univ of Pennsylvania, USA
Christel Baier, TU Dresden, Germany
Purandar Bhaduri, IIT Guwahati, India
Jonathan Billington, Univ of South Australia, Australia
Gianpiero Cabodi, Politecnico di Torino, Italy
Supratik Chakraborty, IIT Bombay, India 
Deepak D'Souza, IISc, India
Pallab Dasgupta, IIT Kharagpur, India
E. Allen Emerson, Univ of Texas at Ausin, USA
Laurent Fribourg, LSV, CNRS & ENS Cachan, France
Masahiro Fujita, Univ of Tokyo, Japan
Susanne Graf, Verimag, France
Teruo Higashino, Osaka Univ, Japan
Alan Hu, Univ of British Columbia, Canada
Franjo Ivancic, NEC Labs, USA
Joost-Pieter Katoen, RWTH Aachen Univ, Germany
Zurab Khasidashvili, Intel, Israel
Moonzoo Kim, KAIST, S. Korea
Padmanabhan Krishnan, Bond Univ, Australia
K. Narayan Kumar, Chennai Math. Inst., India
Orna Kupferman, Hebrew Univ, Isreal
Insup Lee, Univ of Pennsylvania, USA
Xuandong Li, Nanjing Univ, P.R. China
Madhavan Mukund, Chennai Math. Inst., India 
Aditya Nori, Microsoft Research India, India
Jun Pang, Univ Luxembourg, Luxembourg
Doron Peled, Bar Ilan Univ, Israel
Sanjiva Prasad, IIT Delhi, India
Ganesan Ramalingam, Microsoft Research India, India
Anders P. Ravn, Aalborg Univ, Denmark
Abhik Roychoudhury, National Univ of Singapore, Singapore
Ashish Tiwari, SRI, USA
R. Venkatesh, TRDDC, India
Mahesh Viswanathan, Univ of Illinois at Urbana-Champaign, USA
Farn Wang, National Taiwan Univ, Taiwan
Hsu-Chun Yen, National Taiwan Univ, Taiwan
Wang Yi, Uppsala Univ, Sweden
----------------------------------------------------------------------


More information about the FMIndia mailing list