Call for workshop proposals at CAV13

[ Our apologies if you receive multiple copies of this call ]

***** CALL FOR WORKSHOP PROPOSALS *****

25th International Conference on Computer Aided Verification (CAV 2013)

July 13-19, 2013, Saint Petersburg, Russia
Website: http://cav2013.forsyte.at/

The 2013 Computer-Aided Verification (CAV) Workshops provide an 
opportunity for participants to discuss topics in the broader 
verification related domains. CAV 2013 Workshops will be held before the 
main conference on July 13 and 14.

Workshop proposals will be reviewed by the workshop chair along with the 
program chairs and members of the steering committee. Proposals must 
consist of the following two parts:

-- Part I: Technical Information --

A short (about 1 page) scientific justification of the proposed topic, 
its significance and relevance to CAV, and the particular benefits of 
the workshop to the verification community, as well as a list of 
previous or related workshops (if relevant).

-- Part II: Organizational Information --

- contact information of the workshop organizers
- identifying a main contact for the workshop (i.e. a workshop chair)