[IP] National Academies' Workshop, Electronic  Voting
An upcoming National Academy of Science Workshop on "Building Certifiably 
Dependable Systems" that will have a session on Electronic Voting 
Systems.  The workshop is open to all participants.
The National Academies have an ongoing study on building certifiably 
dependable systems.  It is addressing system certification and examining 
application domains (including electronic voting) and their approaches to 
software evaluation and assurance.  The National Academies are holding a 
workshop on April 19-20 at Georgetown University Center on Reservoir Road 
to survey a variety of perspectives and to promote dialogue between the 
research community and government and industry practitioners who develop 
safety-critical systems.
Session F of this workshop will be dedicated to a Case Study: Electronic 
Voting - What role does software play in voting? - What properties fo the 
software might be certified? - What would the certification process be? Who 
would be involved; What credibility would it have; who has to be trusted? - 
Is this case study typical or unique in some ways?
Point of contact for this workshop is Lynnette Millett:  lmillett@xxxxxxx
-------------------------------------
You are subscribed as roessler@xxxxxxxxxxxxxxxxxx
To manage your subscription, go to
 http://v2.listbox.com/member/?listname=ip
Archives at: http://www.interesting-people.org/archives/interesting-people/