¡@
4th WAVAS for Testing as a Service
4th Workshop on Automated Verification, Analysis, and Synthesis Fri. 28 June 2013, 211 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': 3rd WAVAS with Sven Schewe on Oct. 18, 2012. 2nd WAVAS with Gerard Holzmann on April 10, 2012. 1st WAVAS with John Rushby on Feb. 15, 2011 ¡@ |
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. The fourth WAVAS features keynote speeches by Speakers from ITRI Cloud Computing Center for Mobile Applications, 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. Program:
|
|||||||||||||||||||||||||||||||||||||||||
Sponsors: WAVAS thanks the sponsorship of the following affiliations. Department of Electrical Engineering, National Taiwan University. ¡@ ¡@ Institute of Information Science, Academia Sinica ¡@ ¡@ Research Center for Information Technology and Innovation, Academia Sinica ¡@ ¡@ 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. |