7th Workshop on Automated Verification, Analysis, and Synthesis
Tuesday 20 October 2015
213 Bow-Li Hall, National Taiwan Univ., Taiwan, ROC
Inst. of Information Science,
Dept. of Electrical Engineering, National Taiwan University
Local Arrangement Chair:
National Taiwan University
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
WAVAS thanks the sponsorship of the following affiliations.
Institute of Information Science, Academia Sinica