| Event | When | Where | Deadline | |
| TSE-TH 2013 |
The Symposium on Engineering Test Harness 2013 | |
| Jul 29, 2013 - Jul 30, 2013 |
Nanjing, China |
Apr 5, 2013 |
| ATVA 2013 |
International Symposium on Automated Technology for Verification and Analysis | |
| Oct 15, 2013 - Oct 18, 2013 |
Hanoi, Vietnam |
Apr 6, 2013 |
| FORMATS 2013 |
11th International Conference on Formal Modeling and Analysis of Timed Systems | |
| Aug 29, 2013 - Aug 31, 2013 |
Buenos Aires, Argentina |
Apr 8, 2013 (Apr 1, 2013) |
| SRDS 2013 |
32nd International Symposium on Reliable Distributed Systems | |
| Oct 1, 2013 - Oct 3, 2013 |
Braga, Portugal |
Apr 8, 2013 (Apr 2, 2013) |
| QSIC 2013 |
The 13th International Conference on Quality Software 2013 | |
| Jul 29, 2013 - Jul 30, 2013 |
Nanjing, China |
Apr 12, 2013 |
| JAMAICA 2013 |
Joining AcadeMiA and Industry Contributions to testing Automation | |
| Jul 15, 2013 - Jul 20, 2013 |
Lugano |
Apr 15, 2013 |
| ICFEM 2013 |
International Conference on Formal Engineering Methods | |
| Oct 29, 2013 - Nov 1, 2013 |
Queenstown, New Zealand |
Apr 22, 2013 (Apr 15, 2013) |
| ICSM 2013 |
29th IEEE International Conference on Software Maintenance | |
| Sep 22, 2013 - Sep 28, 2013 |
Eindhoven, The Netherlands |
Apr 24, 2013 (Apr 15, 2013) |
| QuoMBaT 2013 |
2nd Workshop on Quality of Model-Based Testing | |
| Jul 15, 2013 - Jul 15, 2013 |
Lugano |
Apr 29, 2013 |
| ATSE 2013 |
The Fourth Workshop on Automated Test Case Design, Selection and Evaluation | |
| Sep 8, 2013 - Sep 11, 2013 |
Krakow, Poland |
May 12, 2013 |
| FMCAD 2013 |
Formal Methods in Computer-Aided Design | |
| Oct 20, 2013 - Oct 23, 2013 |
Portland, Oregon |
May 15, 2013 (May 8, 2013) |
| ASE 2013 |
28th IEEE/ACM International Conference on Automated Software Engineering | |
| Nov 11, 2013 - Nov 15, 2013 |
Palo Alto, USA |
May 17, 2013 (May 10, 2013) |
| VALID 2013 |
The Fifth International Conference on Advances in System Testing and Validation Lifecycle | |
| Oct 27, 2013 - Nov 1, 2013 |
Venice, Italy |
May 28, 2013 |
| PRDC 2013 |
The 19th IEEE Pacific Rim International Symposium on Dependable Computing | |
| Dec 2, 2013 - Dec 4, 2013 |
Vancouver, British Columbia, Canada |
May 31, 2013 |
| ICTSS 2013 |
International Conference on Testing Software and Systems | |
| Nov 13, 2013 - Nov 15, 2013 |
Istanbul, Turkey |
Jun 10, 2013 (Jun 3, 2013) |
| APSEC 2013 |
Asia-Pacific Software Engineering Conference | |
| Dec 2, 2013 - Dec 5, 2013 |
Bangkok, Thailand |
Jun 18, 2013 |
| ICACSIS 2013 |
2013 International Conference on Advanced Computer Science and Information Systems | |
| Sep 28, 2013 - Sep 29, 2013 |
Kuta - Bali |
Jun 30, 2013 |
| FACS 2013 |
The 10th International Symposium on Formal Aspects of Component Software | |
| Oct 28, 2013 - Oct 30, 2013 |
Nanchang, China |
Jul 15, 2013 (Jul 8, 2013) |
| MEMOCODE 2013 |
Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign | |
| Oct 18, 2013 - Oct 20, 2013 |
Portland, Oregon |
Jul 24, 2013 (Jul 17, 2013) |
| CARE 2013 |
IEEE International Conference on Control, Automation, Robotics and Embedded systems | |
| Dec 16, 2013 - Dec 18, 2013 |
IIITDM JABALPUR INDIA |
Jul 31, 2013 |
|
