**********************************************************************************
	RE-Vote09 -   CALL FOR PAPERS

	First International Workshop on Requirements Engineering for 	
	E-voting Systems

	Held in conjunction with the 17th IEEE International 
        Requirements Engineering Conference

	Atlanta, Georgia, USA Monday 31st August 2009

	http://www-public.it-sudparis.eu/~gibson/RE-Vote09/
************************************************************************************

The RE-VOTE09 workshop proposes to identify best-practice for the engineering of
e-voting system requirements, and to improve the specification of e-voting system 
standards and accreditation (certification) processes.

CHAIRS
J Paul Gibson, Telecom & Management SudParis
Douglas W. Jones, University of Iowa

PROGRAM COMMITEE
David L. Dill, Stanford University
James Heather, University of Surrey
Xiaoping Jia, DePaul University
Joe Kiniry, University College Dublin
Nancy R. Mead, Software Engineering Institute
Jean-Luc Raffy, Telecom & Management SudParis
Mark Ryan, University of Birmingham
Melanie Volkamer, Technical University Darmstadt
Poorvi Vora, George Washington University
John P. Wack, NIST
Justin Zhan, Carnegie Mellon University

IMPORTANT DATES
Deadline for Submissions: 4 July 2009
Author Notification: 14 July 2009 (updated)
Early Registration: 20 July 2009
Camera-ready Due: 3 August 2009
Workshop Date: 31st August 2009

CONTACT
revote09@easychair.org
paul.gibson@it-sudparis.eu

WEB SITE
http://www-public.it-sudparis.eu/~gibson/RE-Vote09/

PLANNED TOPICS

	Empirical analysis concerning the impact of poorly specified 
	requirements on	current e-voting technology.

	The role of formal methods in specification and verification of 
	system 	properties, with particular interest in security, 		
	verifiability and anonymity.

	Improving communication (co-ordination) processes between 
	the main participants in the specification and use of e-voting 
	system requirements:
	the standards bodies, the procurement offices, the 
	manufacturers, the testing/accreditation authorities and 
	the users (election administrators and 	voters).

	Requirements Maintenance, Domain Engineering & (Software) 
	Product Lines (for e-voting).

	Analysis of voting requirements documents and requirements 
	capture	processes, including those that pre-date e-voting.

	What other domains can learn from the e-voting experience

SUBMISSIONS

Submissions are welcome on any subject that falls within the main issues. 
Submissions must be solely the work of the author(s) stated, and must not
have been previously published elsewhere. Submissions will be reviewed by
at least two members of the program committee for relevance to the workshop
topics of interest.

Short/Position papers (3-5 pages): We are particularly interested in papers
concerning the role of requirements models in the process of e-voting system
procurement, development, evaluation and deployment.

Full/Research papers (8-10 pages): We are particularly interested in experience
reports, empirical studies and reports on engineering advances.

RE’09 workshop proceedings will be published online in the IEEE CS Digital Library.
Please use the IEEE template as per the main RE-09 conference for your submission
(formatted according to the 8.5x11 inch IEEE CS proceedings format).
For downloading instructions and templates, go to the Author Forms web page of the
IEEE Computer Society.

Prospective authors are invited to submit high quality papers written in English
via the EasyChair submission system at: http://www.easychair.org/conferences/?conf=revote09.
One author of an accepted paper is required to register for the
RE-VOTE09 workshop, otherwise the paper may be withdrawn.