Conferences

Estimated impact of publication venues in Computer Science

Software Engineering:

Name	Place	Submission Due
International Conference on Software Engineering	Honolulu, Hawaii, USA	TBA
IEEE/ACM International Conference on Automated Software Engineering	Antwerp, Belgium	Mar 8, 2010
CM SIGSOFT International Symposium on the Foundations of Software Engineering	Santa Fe, New Mexico, USA	Mar 5, 2010
Programming Language Design and Implementation (PLDI)	Toronto, Canada	Nov 13, 2009
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems	Oslo, Norway	Apr 18, 2010
Fundamental Approaches to Software Engineering	Paphos, Cyprus	Oct 8, 2009
Software Engineering for Resilient Systems	London, United Kingdom	December 21, 2009
International Conference on Application of Concurrency to System Design	Braga, Portugal	January 10, 2010
IEEE International Conference on Software Engineering and Formal Methods	Pisa, Italy	Mar 22, 2010
IEEE/ACM  International Conference on Computer-Aided Design	TBD	TBD
IEEE/ACM International Workshop on Automation of Software Test	Cape Town, South Africa	Jan 20, 2010

Distributed/Parallel Systems

Name	Place	Submission Due
International Conference on Distributed Computing Systems	Genoa, Italy	Nov 16, 2009
International Symposium on Distributed Computing	TBA	TBA
International Conference On Principle Of DIstributed Systems	TBA	TBA
ACM Symposium on Principles of Distributed Computing	Zurich, Switzerland	Feb. 17, 2010
International Parallel and Distributed Processing Symposium	Rome, Italy	Oct 3, 2008
ACM International Symposium on High Performance Distributed Computing	Chicago, Illinois	January 15, 2010
ACM Symposium on Cloud Computing	Indianapolis	Jan 15, 2010
International Workshop on High-Level Parallel Programming Models and Supportive Environments	Atlanta, GA, USA	December 3, 2009

Verification

Name	Place	Submission Due
International Symposium on Logic-Based Program Synthesis and Transformation	TBA	TBA
International Conference on Formal Methods in Computer-Aided Design	Lugano, Switzerland	May 5, 2010
International Conference on Computer Aided Verification	Edinburgh, United Kingdom	Jan 4, 2010
SPIN Workshop	Twente University, Netherlands	9 April 2010

Dependability

Name	Place	Submission Due
IEEE/IFIP International Conference on Dependable Systems and Networks	Chicago, USA	Dec 8, 2009
International Symposium on Reliable Distributed Systems	TBA	TBA
European Dependable Computing Conference	Valencia, Spain	Oct 2, 2009
International Symposium on Stabilization, Safety, and Security of Distributed Systems	TBA	TBA
International Symposium on Engineering Secure Software and Systems	TBA	TBA

Foundational/Formal Methods

Name	Place	Submission Due
European Joint Conferences on Theory and Practice of Software	Paphos, Cyprus	8 October 2009
International Symposium on Formal Methods	TBA	TBA
NASA Formal Methods Symposium	Washington, D.C.	January 8, 2010
International Conference on Formal Engineering Methods
International Conference on Logic Programming	Edinburgh, Scotland, U.K.	Feb 2, 2010

MISC

Name	Place	Submission Due
International Conference on Autonomic Computing and Communications	Washington, DC, USA	Jan 11, 2010
Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging	Trento, Italy	Apr 20, 2010
ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering	Toronto, ON, Canada	Feb 8, 2010
European Conference on Object-Oriented Programming	Maribor, Slovenia	December 14, 2009
International Symposium on SoftwareTesting and Analysis	Trento, Italy	Feb 5, 2010
Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging	Trento, Italy	April 20, 2010
Intl. Workshop on Search-driven development: Users, Infrastructure, Tools and Evaluation.	Cape Town, South Africa	January 19, 2010
International Conference on Principles and Practices of Constraint Programming	St Andrews, Scotland, UK	TBD
International Symposium on Logic-Based Program Synthesis and Transformation	Hagenberg, Austria	Mar 25, 2010
International Workshop on Recommendation Systems for Software Engineering	Cape Town, South Africa	Jan 21, 2010
International Conference on Parallel Processing	San Diego, CA, USA	Feb 24, 2010