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) |
|