7th WAVAS
7th Workshop on Automated Verification, Analysis, and Synthesis Tuesday 20 October 2015 213 Bow-Li Hall, National Taiwan Univ., Taiwan, ROC
|
|||||||||||||||||||||||||||||||||
Co-chairs:
Inst. of Information Science, Academia Sinica
Dept. of Electrical Engineering, National Taiwan University Local Arrangement Chair: National Taiwan University
Previous WAVAS': 6th WAVAS with Professor Huimin LIn on Nov. 28, 2014 5th WAVAS with Holik, Lengal, Lin, and Vojnar on Oct. 25, 2013 4th WAVAS on TaaS on June 28, 2013 3rd WAVAS with Sven Schewe on Oct. 18, 2012. |
Aim: WAVAS is held to promote collaborations in the research area of automated verification and analysis. We are happy to announce the fourth WAVAS featuring the techniques and opportunities for our verification researchers in the booming cloud computing. With the gradual convergence of Interactive Development Environments (IDE) in cloud computing, we can now focus on a few IDEs and expect our innovation be accessible via those IDEs to the app developers. Thus the opportunity is better than ever for applying formal verification technologies to real-world projects. The 7th WAVAS features invited presentations by our colleagues, luncheon, and coffee breaks. Scopes of interest: Scopes of interests include but are not limited to the following. Software testing, model checking, proof checking, hardware verification, software verification, timed systems, hybrid systems, complexity, game-theoretical techniques, synthesis, regular system verification. Call for Submissions: For all interested authors, please submit your papers to the general co-chairs. Submissions must be in PDF in IEEE proceeding format with 10 to 15 pages. For more information on typesetting, please check http://www.ieee.org/conferences_events/conferences/publishing/templates.html. Program:
Sponsors: WAVAS thanks the sponsorship of the following affiliations.
|
||||||||||||||||||||||||||||||||
Contact:
Interested colleagues are welcome to submit their papers or slides to Professor Farn Wang of National Taiwan University at farn@cc.ee.ntu.edu.tw. |
|||||||||||||||||||||||||||||||||