| Event | When | Where | Deadline | |
| CDC 2008 |
47th IEEE Conference on Decision and Control | |
| Dec 9, 2008 - Dec 11, 2008 |
Cancun, Mexico |
Mar 1, 2008 |
| FMCAD 2008 |
Formal Methods in Computer-Aided Design | |
| Nov 17, 2008 - Nov 20, 2008 |
Portland, OR, USA |
May 12, 2008 |
| RTSS 2008 |
IEEE Real-Time Systems Symposium | |
| Nov 30, 2008 - Dec 3, 2008 |
Barcelona, Spain |
May 16, 2008 |
| ICRA 2009 |
IEEE International Conference on Robotics and Automation | |
| May 12, 2009 - May 17, 2009 |
Kobe, Japan |
Sep 15, 2008 |
| HSCC 2009 |
Hybrid Systems: Computation and Control | |
| Apr 13, 2009 - Apr 15, 2009 |
San Francisco, CA, USA |
Oct 10, 2008 |
| PLDI 2009 |
ACM SIGPLAN Conference on Programming Language Design and Implementation | |
| Jun 15, 2009 - Jun 20, 2009 |
Dublin, Ireland |
Nov 14, 2008 (Nov 7, 2008) |
| ICDCS 2009 |
The 29th Int'l Conference on Distributed Computing Systems (ICDCS 2009) | |
| Jun 22, 2009 - Jun 26, 2009 |
Montreal, Quebec, Canada |
Nov 22, 2008 |
| LICS 2009 |
Twenty-Fourth Annual IEEE Symposium on
Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science | |
| Aug 11, 2009 - Aug 14, 2009 |
Los Angeles |
Jan 19, 2009 (Jan 12, 2009) |
| CAV 2009 |
Computer Aided Verification | |
| Jun 26, 2009 - Jul 2, 2009 |
Grenoble, France |
Jan 25, 2009 (Jan 18, 2009) |
| LCTES 2009 |
ACM SIGPLAN/SIGBED 2009 Conference on Languages, Compilers, and Tools for Embedded Systems | |
| Jun 19, 2009 - Jun 20, 2009 |
Dublin, Ireland |
Feb 9, 2009 |
| ICALP 2009 |
36th International Colloquium on Automata, Languages and Programming | |
| Jul 5, 2009 - Jul 12, 2009 |
Rhodes, Greece |
Feb 10, 2009 |
| CADE 2009 |
22nd International Conference on Automated Deduction | |
| Aug 2, 2009 - Aug 7, 2009 |
McGill University, Montreal, Canada |
Feb 23, 2009 (Feb 16, 2009) |
| ESEC-FSE 2009 |
Joint 12th European Software Engineering Conference (ESEC) and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering | |
| Aug 24, 2009 - Aug 29, 2009 |
Amsterdam, Netherlands |
Mar 16, 2009 |
| QEST 2009 |
6th International Conference on Quantitative Evaluation of SysTems | |
| Sep 13, 2009 - Sep 16, 2009 |
Budapest, Hungary |
Mar 23, 2009 (Mar 16, 2009) |
| CONCUR 2009 |
20th International Conference on Concurrency Theory | |
| Sep 1, 2009 - Sep 4, 2009 |
Bologna, Italy |
Apr 15, 2009 (Apr 8, 2009) |
|
