| Event | When | Where | Deadline | |
| ICAPS 2009 |
19th International Conference on Automated Planning and Scheduling | |
| Sep 19, 2009 - Sep 23, 2009 |
Thessaloniki, Greece |
Apr 22, 2009 (Apr 17, 2009) |
| ATVA 2009 |
7th International Symposium on Automated Technology for Verification and Analysis | |
| Oct 14, 2009 - Oct 16, 2009 |
Macao SAR, China |
May 1, 2009 |
| FMCAD 2009 |
Formal Methods in Computer-Aided Design | |
| Nov 15, 2009 - Nov 18, 2009 |
Austin, TX |
Jun 5, 2009 (May 29, 2009) |
|
