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 |
|