||||||||=  Conference Pattern =||||||= 2016 =||||||= 2017 =||
||= Name =||= Deadline =||=  Conf =||= Full Name =||= A =||= P =||= C =||= A =||= P =||= C =||
|| SPIN || Jan || Apr  || [http://spinroot.com/spin/Workshops/ Int'l SPIN Symposium on Model Checking Software] || || 1/18 || [http://www.spin2016.info 4/7–8] || || || [http://conf.researchr.org/series/spin 7/16–17] ||
|| CAV || Jan || Jul || [http://i-cav.org Int'l Conference on Computer Aided Verification] || 1/24 || 1/29 || [http://i-cav.org/2016/ 7/20–23] || || || ||
|| CADE || Jan || Jun || [http://www.cadeinc.org Conf. on Automated Deduction] || 1/18 || 1/25 || [http://www.ijcar-2016.info 6/27–7/2] ||    ||    ||  8/?   ||
|| ISSTA || Jan || Jul || [http://dl.acm.org/event.cfm?id=RE222 Int'l Symposium on Software Testing & Analysis] ||  || 1/29 || [https://issta2016.cispa.saarland 7/18–20] || || || ||
|| FM || !Jan/May || !Jun/Nov || [http://www.fmeurope.org/?page_id=221 Int'l Symposium on Formal Methods] || 5/16 || 5/30 || [http://fm2016.cs.ucy.ac.cy 11/7–11] || || || ||
|| !EuroPar || Feb ||  Aug || [http://www.europar.org Int'l European Conf. on Parallel & Distributed Computing] || 2/9 || 2/16 || [https://europar2016.inria.fr/conference/call-for-papers/ 8/22–26] || || || ||
|| NSV || Feb-May || Apr-Jul || Int'l workshop on Numerical Software Verification || || 5/29 || [http://nsv2016.pages.ist.ac.at 7/17–18] || || || ||
|| NFM || Feb || Jun || [http://www.wikicfp.com/cfp/program?id=2200&f=NASA%20Formal%20Methods NASA Formal Methods] || || 2/19 || [http://crisys.cs.umn.edu/nfm2016/ 6/7–9] || || || ||
|| FSE || Mar ||  Nov || [http://www.wikicfp.com/cfp/program?id=1093&amp%3Bf=Foundations ACM/SIGSOFT Int'l Symp. Foundations of Software Engineering] || || 3/11 || [http://www.cs.ucdavis.edu/fse2016/ 11/13–18] || || || ||
|| PACT || Mar || Sep || [http://www.wikicfp.com/cfp/program?id=2291&f=International%20Conference%20on%20Parallel%20Architectures%20and%20Compilation%20Techniques Parallel Architectures and Compilation Techniques] || 03/14 || 03/21 || [http://pactconf.org 09/11-15] ||
|| SCxx || Apr || Nov || [http://www.supercomp.org Int'l Conf. HPC, Networking, Storage & Analysis] || 3/27 || 4/3 || [http://sc16.supercomputing.org 11/13–18] || || || ||
|| ISOLA || Apr || Oct  || Applications of formal methods, verification, and validation ||
|| ASE || Apr || Sep || Automated Software Engineering ||
|| EuroMPI || May || Sep || MPI ||
|| SYNASC || Jun || Sep || Symbolic & Numeric algorithms for Scientific Computing || 6/10 || 6/22 || 9/24–27 ||
|| POPL || Jul  || Jan || Principles of Programming Languages, 12 ACM pages ||
|| SC^2 || Jul || Sep || Satisfiability checking & scientific computing || || 7/15 || 9/24 ||
|| ICSE || Sep || May || Intl. Conference on Software Engineering ||
|| PPoPP || Sep || Feb || Principles & Practices of Parallel Programming || || || 3/12–16 || || 8/1 || 3/4–8 ||
|| TACAS || Sep || Apr   || Tools & Algorithms for Construction & Analysis of Systems ||
|| VMCAI || Sep || Jan || Verification, Model Checking, Abstract Interpretation ||
|| PLDI || Nov || Jun || compilers, programming languages ||


A = abstract deadline,
P = paper deadline,
C = when the conference takes place with link