dermotcochran's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

Formal Methods and Voting

 Sort by 
 
Event When Where Deadline
SETP 2010 2010 International Conference on Software Engineering Theory and Practice
Jul 12, 2010 - Jul 14, 2010 Orlando, USA May 31, 2010
FM 2011 17th International Symposium on Formal Methods
Jun 20, 2011 - Jun 24, 2011 Lero, Limerick, Ireland Jan 10, 2011
WEIS 2011 Workshop on Economics of Information Security
Jun 14, 2011 - Jun 15, 2011 George Mason University, USA Feb 28, 2011
FMICS 2011 Formal Methods for Industrial Critical Systems
Aug 29, 2011 - Aug 30, 2011 Trento Mar 25, 2011 (Mar 18, 2011)
PST 2011 9th International Conference on Privacy, Security and Trust
Jul 19, 2011 - Jul 21, 2011 Montreal, Quebec, Canada Apr 3, 2011
EVT/WOTE 2011 Electronic Voting Technology Workshop/ Workshop on Trustworthy Elections
Aug 8, 2011 - Aug 9, 2011 San Francisco, CA Apr 20, 2011
first | previous | Page 1 | next | last Total of 6 CFPs in 1 pages