28th International Conference on Computer Aided Verification, Toronto, Kanada

Abbrevation

CAV

Link

http://i-cav.org/2016/

City

Toronto

Country

Canada

Deadline Paper

2016-01-29

Start Date

2016-07-17

End Date

2016-07-23

Abstract

The 2016 Computer–Aided Verification (CAV) Workshops provides an opportunity for participants to discuss topics in the broader verification related domains. CAV 2016 Workshops will be held before the main conference on July 17th and 18th. 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). – the desired length of the workshop, (one or two days). – estimate of the audience size. – proposed format and agenda (for example, demo sessions, tutorials, etc.) – potential invited speakers. – procedures for selecting papers and participants. – plans for dissemination, if any (for example, special issues of journals). – special technical, AV, or USB stick needs. – links to a preliminary website of the workshop and call for papers (if possible). – information if workshop has been previously held.