| Event | When | Where | Deadline | |
| 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) |
| ISSTA 2011 |
International Symposium on Software Testing and Analysis | |
| Jul 17, 2011 - Jul 21, 2011 |
Toronto, ON, Canana |
Feb 4, 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) |
|
