akella's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

Security, Distributed Systems, Formal Methods, Information Flow, Model checking, Cyber-physical system

 Sort by 
 
Event When Where Deadline
CRITIS 2012 7th International Workshop on Critical Information Infrastructures Security
Sep 17, 2012 - Sep 18, 2012 Lillehammer, Norway May 15, 2012
NordSec 2012 17th Nordic Conference on Secure IT Systems
Oct 31, 2012 - Nov 2, 2012 Karlskrona, Sweden Jun 11, 2012
IEICE FA 2012 Special Section on Formal Approach, IEICE Trans
N/A N/A Jul 18, 2012
INFOCOM 2013 The 32nd Annual IEEE International Conference on Computer Communications
Apr 14, 2013 - Apr 19, 2013 Turin, Italy Jul 27, 2012 (Jul 20, 2012)
ICCS 2012 2012 ASE/IEEE International Conference on Cyber Security
Dec 14, 2012 - Dec 16, 2012 Washington D.C. USA Aug 1, 2012 (Jun 30, 2012)
NDSS 2013 20th Network & Distributed System Security Symposium
Feb 24, 2013 - Feb 27, 2013 San Diego, California Aug 6, 2012 (Aug 1, 2012)
FTSCS 2012 First International Workshop on Formal Techniques for Safety-Critical Systems
Nov 12, 2012 - Nov 12, 2012 Kyoto Sep 8, 2012
first | previous | Page 1 | next | last Total of 8 CFPs in 1 pages