Articles

  • No categories

Conferences

This is a simple list of conferences sorted by deadline which may be of some relevance to Whiley.

January

February

March

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)
    • 2005 2006 2007 2008 2009 2010 2011 2012 (deadline April 1st)
  • 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

June

July

August

September

October

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

See Also