| Event | When | Where | Deadline | |
| 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) |
| LICS 2013 |
28th Annual ACM/IEEE Symposium on Logic In Computer Science | |
| Jun 25, 2013 - Jun 28, 2013 |
New Orleans, USA |
Jan 14, 2013 (Jan 7, 2013) |
| ACSD 2013 |
13th International Conference on Application of Concurrency to System Design | |
| Jul 8, 2013 - Jul 10, 2013 |
Barcelona, Spain |
Feb 3, 2013 (Jan 27, 2013) |
|
