Name |
Place |
Submission Due |
| International Conference on Software Engineering | ||
| IEEE/ACM International Conference on Automated Software Engineering | ||
| ACM SIGSOFT International Symposium on the Foundations of Software Engineering | ||
| Programming Language Design and Implementation (PLDI) | ||
| ACM/IEEE International Conference on Model Driven Engineering Languages and Systems | ||
| Fundamental Approaches to Software Engineering | ||
| Software Engineering for Resilient Systems | ||
| International Conference on Application of Concurrency to System Design | ||
| IEEE International Conference on Software Engineering and Formal Methods | ||
| IEEE/ACM International Conference on Computer-Aided Design | ||
| IEEE/ACM International Workshop on Automation of Software Test | ||
| International Conference on Software Engineering and Data Engineering | ||
| IEEE International Symposium on Theoretical Aspects of Software Engineering | ||
| SPLASH (OOPSLA) |
Name |
Place |
Submission Due |
| International Conference on Distributed Computing Systems | ||
| International Symposium on Distributed Computing | ||
| International Conference On Principle Of DIstributed Systems | ||
| ACM Symposium on Principles of Distributed Computing | ||
| International Parallel and Distributed Processing Symposium | ||
| ACM International Symposium on High Performance Distributed Computing | ||
| ACM Symposium on Cloud Computing | ||
| International Workshop on High-Level Parallel Programming Models and Supportive Environments | ||
| IFIP International Conference on Network and Parallel Computing | ||
| ACM International Conference on Distributed Event-Based Systems |
Name |
Place |
Submission Due |
| International Symposium on Logic-Based Program Synthesis and Transformation | ||
| International Conference on Formal Methods in Computer-Aided Design | ||
| International Conference on Computer Aided Verification | ||
| SPIN Workshop | ||
| Verified Software:Theories, Tools and Experiments | ||
| Search-Based Software Testing | ||
| Third International Conference on Software Testing, Verification and Validation | ||
| International Workshop on Parallel and Distributed Methods in verifiCation |
Name |
Place |
Submission Due |
| IEEE/IFIP International Conference on Dependable Systems and Networks | ||
| European Dependable Computing Conference | ||
| International Symposium on Stabilization, Safety, and Security of Distributed Systems | ||
| International Symposium on Engineering Secure Software and Systems | ||
| Workshop on resiliency in high performance computing resilience | ||
| IEEE International Conference on Secure Software Integration and Reliability Improvement | ||
| DSN Workshops |
Name |
Place |
Submission Due |
| European Joint Conferences on Theory and Practice of Software | ||
| International Symposium on Formal Methods | ||
| NASA Formal Methods Symposium | ||
| International Conference on Formal Engineering Methods | ||
| International Conference on Logic Programming |
Name |
Place |
Submission Due |
| International Conference on Autonomic Computing and Communications | ||
| Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging | ||
| ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | ||
| European Conference on Object-Oriented Programming | ||
| International Symposium on SoftwareTesting and Analysis | ||
| Intl. Workshop on Search-driven development: Users, Infrastructure, Tools and Evaluation. | ||
| International Conference on Principles and Practices of Constraint Programming | ||
| International Symposium on Logic-Based Program Synthesis and Transformation | ||
| International Workshop on Recommendation Systems for Software Engineering | ||
| International Conference on Parallel Processing | ||
| International Workshop on Comparison and Versioning of Software Models | ||
| Analysis and Programming Languages for Web Applications and Cloud Applications | ||
| IEEE Symposium on Software Visualization | ||
| IEEE International Conference on Program Comprehension | ||
| ACM/IFIP/USENIX 11th International Middleware Conference |