ATVA 2018 Call for Participation

[Meng Wu]

International Symposium on Automated Technology for Verification and
Analysis (ATVA 2018)
October 7-10, 2018
Los Angeles, California, USA

We are pleased to announce that the ATVA 2018 conference program is now
online!

PROGRAM: https://easychair.org/smart-program/ATVA2018/

REGISTRATION: http://atva-conference.org/registration/


ABOUT ATVA
----------

ATVA 2018 is the 16th in a series of symposia dedicated to the
promotion of research on theoretical and practical aspects of
automated analysis, verification and synthesis by providing a
forum for interaction between local and international research
communities and industry in the field. Previous events were
held in Taiwan (2003-2005), Beijing (2006), Tokyo (2007),
Seoul (2008), Macao (2009), Singapore (2010), Taiwan (2011),
Thiruvananthapuram (2012), Hanoi (2013), Sydney (2014),
Shanghai (2015), Chiba (2016), and Pune (2017).


Invited Speakers for keynotes and tutorials
---------------

Nikolaj Bjorner (Microsoft Research)
Corina Pasareanu (NASA Ames Research Center)
Sanjit Seshia (University of California, Berkeley)


Program Chairs
--------------

Shuvendu Lahiri  (Microsoft Research)
Chao Wang  (University of Southern California)


Program Committee
-----------------

Aws Albarghouthi  (University of Wisconsin-Madison)
Cyrille Artho  (KTH Royal Institute of Technology)
Gogul Balakrishnan  (Google)
Roderick Bloem  (Graz University of Technology)
Tevfik Bultan  (University of California, Santa Barbara)
Pavol Cerny  (University of Colorado at Boulder)
Sagar Chaki  (Mentor Graphics)
Deepak D’Souza  (Indian Institute of Science)
Jyotirmoy Deshmukh  (University of Southern California)
Constantin Enea  (IRIF/University Paris Diderot)
Grigory Fedyukovich  (Princeton University)
Masahiro Fujita  (University of Tokyo)
Sicun Gao  (University of California, San Diego)
Arie Gurfinkel  (University of Waterloo)
Fei He  (Tsinghua University)
Alan Hu  (University of British Columbia)
Joxan Jaffar  (National University of Singapore)
Akash Lal  (Microsoft Research)
Axel Legay  (IRISA/NRIA Rennes)
Yang Liu  (Nanyang Technological University)
Zhiming Liu  (Southwest University)
K. Narayan Kumar  (Chennai Mathematical Institute)
Doron Peled  (Bar Ilan University)
Xiaokang Qiu  (Purdue University)
Giles Reger  (University of Manchester)
Sandeep Shukla  (IIT Kanpur)
Oleg Sokolsky  (University of Pennsylvania)
Armando Solar-Lezama  (MIT)
Neeraj Suri  (TU Darmstadt)
Aditya Thakur  (University of California, Davis)
Willem Visser  (Stellenbosch University)
Bow-Yaw Wang  (Academia Sinica)
Farn Wang  (National Taiwan University)
Georg Weissenbacher  (Vienna University of Technology)
Naijun Zhan  (Chinese Academy of Sciences)


Steering Committee
------------------

E Allen Emerson  (University of Texas, Austin)
Teruo Higashino  (Osaka University)
Oscar H Ibarra  (University of California, Santa Barbara)
Insup Lee  (University of Pennsylvania)
Doron A Peled  (Bar Ilan University)
Farn Wang  (National Taiwan University)
Hsu-Chun Yen  (National Taiwan University)


More details are available at the conference website
http://atva-conference.org
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20180918/09d4becc/attachment.html>