This is a simple list of conferences sorted by deadline which may be of some relevance to Whiley.
January
- Conference on Computer Aided Verification (CAV):
- TOOLS EUROPE
- International Joint Conference on Automated Reasoning (IJCAR)
February
- ACM Conference on Languages, Compilers and Tools for Embedded Systems (LCTES)
- International Conference on Theory and Applications of Satisfiability Testing (SAT)
- International Symposium on Software Testing and Analysis (ISSTA)
- Conference on Automated Deduction (CADE)
- International Colloquium on Automata, Languages and Programming (ICALP)
March
- Symposium on Formal Methods (FM)
- IEEE/ACM conf on Automated Software Engineering (ASE)
- Static Analysis Symposium (SAS):
- European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)
- Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus)
- ACM International Conference on Functional Programming (ICFP)
- International Symposium on Empirical Software Engineering and Measurement (ESEM)
- International Symposium on Trends in Functional Programming (TFP)
April
- International Workshop on Intermediate Verification Languages (BOOGIE)
- International Conference on Software Engineering and Formal Methods (SEFM)
- ACM conf on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)
- IEEE Conference on Software Maintenance (ICSM)
- ACM Conference on Principles and Practices of Programming in Java (PPPJ)
- International Symposium on Automated Technology for Verification and Analysis (ATVA)
- International Conference on Formal Engineering Methods (ICFEM)
May
- Conference on Runtime Verification (RV)
- Asia Pacific Software Engineering Conference (APSEC)
- International Symposium on Games, Automata, Logics and Formal Verification (GandALF)
June
- Conference on Software Language Engineering (SLE)
- ASIAN Symposium on Programming Languages and Systems (APLAS)
- Conerence on Certfied Programs and Proofs (CPP)
- Workshop on Systems Software Verification (SSV)
July
- ACM symposium on the Principles Of Programming Languages (POPL)
- Dynamic Languages Symposium (DLS)
- ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS)
August
- International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
- Verified Software: Theories, Tools and Experiments (VSTTE)
- ACM Symposium on Applied Computing (SAC):
September
- ACM Internation Conference on Software Engineering (ICSE)
October
- ACM Conference on Aspect-Oriented Software Development (AOSD):
- European conference on Theory and Practice of Software (ETAPS):
- Australian Conference on Software Engineering (ASWEC)
- ACM Workshop on Programming Languages Meets Verification (PLPV)
November
- ACM conference on Programming Language Design and Implementation (PLDI)
December
- European Conference on Object-Oriented Programming (ECOOP)
- Australian System Safety Conference (ASSC)
- 2005 2006 2007 2008 2009 2010 2011 (deadline was 22nd Dec)
- 2005 2006 2007 2008 2009 2010 2011 (deadline was 22nd Dec)
- NASA Formal Methods Symposium
Other Conferences
Conference on
Runtime VerificationC