Event | When | Where | Deadline | |
OSDI 2010 |
9th USENIX Symposium on Operating Systems Design and Implementation | |
Oct 4, 2010 - Oct 6, 2010 |
Vancouver, BC, Canada |
May 7, 2010 |
TACAS 2011 |
International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
Mar 26, 2011 - Apr 3, 2011 |
Saarbrücken, Germany |
Oct 8, 2010 (Oct 1, 2010) |
PLDI 2011 |
The 32nd ACM SIGPLAN conference on Programming Language Design and Implementation | |
Jun 4, 2011 - Jun 8, 2011 |
San Jose, California |
Nov 19, 2010 (Nov 12, 2010) |
CAV 2011 |
23rd International Conference on Computer Aided Verification | |
Jul 14, 2011 - Jul 20, 2011 |
Cliff Lodge, Snowbird, Utah, USA |
Jan 21, 2011 (Jan 14, 2011) |
HotPar 2011 |
3rd USENIX Workshop on Hot Topics in Parallelism | |
May 26, 2011 - May 27, 2011 |
Berkeley, CA |
Jan 25, 2011 (Jan 16, 2011) |
SOSP 2011 |
23rd ACM Symposium on Operating Systems Principles (SOSP) | |
Oct 23, 2011 - Oct 26, 2011 |
Cascais, Portugal |
Mar 18, 2011 (Mar 11, 2011) |
SPIN 2011 |
SPIN Workshop on Model Checking of Software | |
Jul 13, 2011 - Jul 14, 2011 |
Cliff Lodge, Snowbird, Utah |
Apr 1, 2011 |
ASE 2011 |
IEEE/ACM International Conference on Automated Software Engineering | |
Nov 6, 2011 - Nov 10, 2011 |
Lawrence, KS, USA |
May 9, 2011 (Apr 25, 2011) |
POPL 2012 |
The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | |
Jan 25, 2012 - Jan 27, 2012 |
Philadelphia, USA |
Jul 12, 2011 (Jul 8, 2011) |
PPoPP 2012 |
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming | |
Feb 25, 2012 - Feb 29, 2012 |
New Orleans, Louisiana |
Aug 19, 2011 (Aug 12, 2011) |
VMCAI 2012 |
13th International Conference on Verification, Model Checking, and Abstract Interpretation | |
Jan 22, 2012 - Jan 24, 2012 |
Philadelphia, USA |
Aug 19, 2011 (Aug 12, 2011) |
USENIX ATC 2012 |
2012 USENIX Annual Technical Conference | |
Jun 13, 2012 - Jun 15, 2012 |
Boston, MA |
Jan 17, 2012 (Jan 10, 2012) |
CAV 2012 |
24th International Conference on Computer Aided Verification | |
Jul 7, 2012 - Jul 13, 2012 |
Berkeley, CA, USA |
Jan 22, 2012 (Jan 15, 2012) |
HotPar 2012 |
4th USENIX Workshop on Hot Topics in Parallelism | |
Jun 7, 2012 - Jun 8, 2012 |
Berkeley, CA |
Jan 31, 2012 (Jan 24, 2012) |
MEMOCODE 2012 |
ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign | |
Jul 16, 2012 - Jul 18, 2012 |
Arlington, Virginia |
Mar 9, 2012 (Mar 2, 2012) |
SRDS 2012 |
31st International Symposium on Reliable Distributed Systems | |
Oct 8, 2012 - Oct 11, 2012 |
Irvine, California, USA |
Apr 2, 2012 (Mar 26, 2012) |
ICSE 2013 |
International Conference on Software Engineering | |
May 18, 2013 - May 26, 2013 |
San Francisco, USA |
Aug 17, 2012 |
FASE 2013 |
16th International Conference on Fundamental Approaches to Software Engineering | |
Mar 16, 2013 - Mar 24, 2013 |
Rome, Italy |
Oct 14, 2012 (Oct 7, 2012) |
TACAS 2013 |
19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | |
Mar 16, 2013 - Mar 24, 2013 |
Rome |
Oct 14, 2012 (Oct 7, 2012) |
PLDI 2013 |
34th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation | |
Jun 16, 2013 - Jun 21, 2013 |
Seattle, Washington, USA |
Nov 11, 2012 |
|