| Event | When | Where | Deadline | |
| OMG 2009 |
Workshop on Distributed Object Computing for Real-time and Embedded Systems | |
| Jul 13, 2009 - Jul 15, 2009 |
Washington, D.C. |
Mar 11, 2009 |
| FM 2011 |
Call for FM Symposium Proposals; 17th International Symposium on Formal Methods | |
| N/A |
TBD |
Mar 15, 2009 |
| RTSOAA 2009 |
The Second International Workshop On Real-Time Service-Oriented Architecture and Applications | |
| Jul 20, 2009 - Jul 20, 2009 |
Seattle |
Mar 15, 2009 |
| SEAA-MDD 2009 |
35th EUROMICRO Conference on Software Engineering and Advanced Applications, Special Session on Model Driven Engineering | |
| Aug 27, 2009 - Aug 29, 2009 |
Patras, Greece |
Mar 16, 2009 |
| IEEE/SIES 2009 |
4th IEEE Symposium on Industrial Embedded Systems | |
| Jul 8, 2009 - Jul 10, 2009 |
Lausanne, Switzerland |
Mar 20, 2009 |
| ADHS 2009 |
3rd IFAC Conference on Analysis and Design of Hybrid Systems | |
| Sep 16, 2009 - Sep 17, 2009 |
Zaragoza, Spain |
Mar 26, 2009 |
| RTCSA 2009 |
The 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications | |
| Aug 24, 2009 - Aug 26, 2009 |
Beijing, China |
Mar 31, 2009 |
| FMICS 2009 |
14th International Workshop on Formal Methods for Industrial Critical Systems | |
| Nov 2, 2009 - Nov 3, 2009 |
Eindhoven, The Netherlands |
Apr 7, 2009 (Apr 1, 2009) |
| LAFT 2009 |
Workshop on Logical Aspects of Fault Tolerance | |
| Aug 15, 2009 - Aug 15, 2009 |
Los Angeles, CA, USA |
Apr 17, 2009 |
| MVV 2009 |
Model-Based Verification and Validation - From Research to Practice | |
| Jul 8, 2009 - Jul 8, 2009 |
Shanghai, China |
Apr 20, 2009 |
| RTNS 2009 |
17th International Conference on Real-Time and Network Systems | |
| Oct 26, 2009 - Oct 27, 2009 |
Paris |
Apr 27, 2009 |
| ETFA 2009 |
IEEE Conference on Emerging Technologies & Factory Automation | |
| Sep 22, 2009 - Sep 25, 2009 |
Palma de Mallorca, Spain |
Apr 30, 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 |
| SSSC 2009 |
IEEE International Summer School on Semantic Computing | |
| Jul 20, 2009 - Jul 24, 2009 |
Berkeley, CA, USA |
May 1, 2009 |
| FM 2009 |
International Symposium on Formal Methods | |
| Nov 2, 2009 - Nov 6, 2009 |
Eindhoven, Netherlands |
May 4, 2009 |
| DISC 2009 |
23rd International Symposium on Distributed Computing | |
| Sep 23, 2009 - Sep 25, 2009 |
Elche, Spain |
May 5, 2009 (Apr 25, 2009) |
| EMSOFT 2009 |
International Conference on Embedded Software | |
| Oct 12, 2009 - Oct 16, 2009 |
Grenoble, France |
May 8, 2009 (May 1, 2009) |
| MODELS 2009 |
ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems | |
| Oct 4, 2009 - Oct 9, 2009 |
Denver, Colorado |
May 10, 2009 (Apr 26, 2009) |
| DS-RT 2009 |
13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications | |
| Oct 25, 2009 - Oct 28, 2009 |
Singapore |
May 11, 2009 |
| SEFM 2009 |
software engineering and formal methods | |
| Nov 23, 2009 - Nov 27, 2009 |
Hanoi |
May 29, 2009 (May 15, 2009) |
|
