| Event | When | Where | Deadline | |
| TASE 2011 |
TASE 2011 - 5th IEEE International Symposium on Theoretical Aspects of Software Engineering | |
| Aug 29, 2011 - Aug 31, 2011 |
Xi'an, China |
Apr 8, 2011 (Apr 1, 2011) |
| APLAS 2011 |
Asian Symposium on Programming Languages and Systems | |
| Dec 5, 2011 - Dec 7, 2011 |
Kenting, Taiwan |
Jun 17, 2011 (Jun 13, 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) |
| PLDI 2012 |
Programming Language Design and Implementation | |
| Jun 11, 2012 - Jun 16, 2012 |
Beijing, China |
Nov 6, 2011 |
| CAV 2012 |
24th International Conference on Computer Aided Verification | |
| Jul 7, 2012 - Jul 13, 2012 |
Berkeley, CA, USA |
Jan 22, 2012 (Jan 15, 2012) |
| ISSTA 2012 |
International Symposium on Software Testing and Analysis | |
| Jul 16, 2012 - Jul 20, 2012 |
Minneapolis, MN, USA |
Feb 3, 2012 |
| CIAA 2012 |
17th International Conference on Implementation and Application of Automata | |
| Jul 17, 2012 - Jul 20, 2012 |
Porto, Portugal |
Mar 18, 2012 |
|
