This is a simple list of conferences sorted by deadline which may be of some relevance to Whiley.
January
- Conference on Rewriting Techniques and Applications (RTA):
- International Symposium on Theoratical Aspects of Software Engineering (TASE):
- Conference on Computer Aided Verification (CAV):
- ACM Conference on Logic in Computer Science (LICS):
- TOOLS EUROPE
- International Joint Conference on Automated Reasoning (IJCAR)
- International Symposium on Software Testing and Analysis (ISSTA)
February
- ACM Conference on Languages, Compilers and Tools for Embedded Systems (LCTES)
- International Colloquium on Automata, Languages and Programming (ICALP)
- Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus)
- International Conference on Software Engineering and Formal Methods (SEFM)
March
- Static Analysis Symposium (SAS):
- European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)
- ACM International Conference on Functional Programming (ICFP)
- International Symposium on Trends in Functional Programming (TFP)
- ACM conf on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)
- IEEE Conference on Software Maintenance and Evolution (ICSME)
April
- International Conference on Implementation and Application of Automata (CIAA)
- International Symposium on Empirical Software Engineering and Measurement (ESEM)
- International Conference on Theory and Applications of Satisfiability Testing (SAT)
- International Workshop on Intermediate Verification Languages (BOOGIE)
- International Symposium on Automated Technology for Verification and Analysis (ATVA)
- International Conference on Formal Engineering Methods (ICFEM)
- International Workshop on Satisfiability Modulo Theories (SMT)
- Conference on Runtime Verification (RV)
- Conference on integrated Formal Methods (IFM):
- Verified Software: Theories, Tools and Experiments (VSTTE)
May
- Australian Conference on Software Engineering (ASWEC)
- IEEE/ACM conf on Automated Software Engineering (ASE)
- Asia Pacific Software Engineering Conference (APSEC)
- International Symposium on Games, Automata, Logics and Formal Verification (GandALF)
June
- Workshop on Automated Verification of Critical Systems (AVoCS)
- ACM Conference on Principles and Practices of Programming in Java (PPPJ)
- Conference on Software Language Engineering (SLE)
- ASIAN Symposium on Programming Languages and Systems (APLAS)
- ACM Conference on High Integrity Language Technology (HILT)
July
- ACM symposium on the Principles Of Programming Languages (POPL)
- Dynamic Languages Symposium (DLS)
- ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS)
- Symposium on Implementation and Application of Functional Languages (IFL)
- ACM Conference on Aspect-Oriented Software Development (AOSD):
August
- ACM Symposium on Principles and Practice of Parallel Programming (PPoPP)
September
- Conference on Art, Science, and Engineering of Programming (<Programming>)
- 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 (deadline 1st September)
- Workshop on Systems Software Verification (SSV)
- International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
- ACM International Conference on Software Engineering (ICSE)
- IEEE International Conference on Software Testing, Verification and Validation (ICST)
- ACM Symposium on Applied Computing (SAC):
- ACM/SPEC International Conference on Performance Engineering (ICPE)
- International Symposium on Code Generation and Optimization (CGO)
October
- Conference on Certfied Programs and Proofs (CPP)
- European conference on Theory and Practice of Software (ETAPS):
November
- NASA Formal Methods Symposium (NFM)
- Symposium on Formal Methods (FM)
- ACM conference on Programming Language Design and Implementation (PLDI)
- Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
- Conference on Compiler Construction (CC)
- 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 (deadline was 23rd November)
December
- European Conference on Object-Oriented Programming (ECOOP)
- Symposium on Functional and Logic Programming (FLOPS)
- Australian System Safety Conference (ASSC)
- 2005 2006 2007 2008 2009 2010 2011 (deadline was 22nd Dec)
Other Conferences
- Improving Systems and Software Engineering Conference (ISSEC)
- JVM Languages Summit
- Emerging Languages Camp (deadline was early Februrary)
- StrangeLoop