Changes between Version 30 and Version 31 of Conferences

Timestamp:

06/02/16 08:01:22 (10 years ago)

Author:

siegel

Comment:

--

Conferences

@@ -11 +11 @@
 || 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] ||
+|| 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 ||
@@ -23 +23 @@
 || TACAS || Sep || Apr   || Tools & Algorithms for Construction & Analysis of Systems ||
 || VMCAI || Sep || Jan || Verification, Model Checking, Abstract Interpretation ||
-|| PLDI || Nov || Jun || compilers, programming languages ||
+|| PLDI || Nov || Jun || [http://www.sigplan.org/Conferences/PLDI/ Programming Language Design & Implementation] || || 11/20 || [http://conf.researchr.org/home/pldi-2016 6/13–17] || || || ||