Event | When | Where | Deadline | |
CADE 2011 |
23rd International Conference on Automated Deduction | |
Jul 31, 2011 - Aug 5, 2011 |
Wroclaw, Poland |
Feb 7, 2011 (Feb 1, 2011) |
DBSec 2011 |
25th Annual WG 11.3 Conference on Data and Applications Security and Privacy | |
Jul 11, 2011 - Jul 13, 2011 |
Richmond, VA USA |
Feb 28, 2011 |
STM 2011 |
7th International Workshop on SECURITY and TRUST MANAGEMENT | |
Jun 27, 2011 - Jun 28, 2011 |
Copenhagen |
Mar 18, 2011 |
ESORICS 2011 |
European Symposium on Research in Computer Security | |
Sep 12, 2011 - Sep 14, 2011 |
Leuven, Belgium |
Mar 21, 2011 |
CSL 2011 |
20th Annual Conference of the European Association for Computer Science Logic | |
Sep 12, 2011 - Sep 15, 2011 |
Bergen, Norway |
Apr 3, 2011 (Mar 27, 2011) |
S&P 2012 |
IEEE Symposium on Security and Privacy | |
May 20, 2012 - May 23, 2012 |
San Francisco Bay Area |
Nov 16, 2011 |
FLOPS 2012 |
International Symposium on Functional and Logic Programming | |
May 23, 2012 - May 25, 2012 |
Kobe, Japan |
Dec 9, 2011 |
|