Changes between Version 14 and Version 15 of Conferences

Timestamp:

05/31/16 17:23:42 (10 years ago)

Author:

siegel

Comment:

--

Conferences

@@ -1 +1 @@
 
-
-||= Name =||= deadline =||=  conf =||= subject/title =|| 2016a || 2016p || 2016 || 2017a || 2017p || 2017 ||
+||||||||=  Conference Pattern =||||||= 2016 =||||||= 2017 =||
+||= Name =||= deadline =||=  conf =||= subject/title =|| A || P || C || A || P || C ||
 || SPIN || Jan || Apr  || model checking || || 1/18 || 4/7–8 || || || 7/? ||
 || CAV || Jan || Jul || Computer Aided Verification ||
@@ -23 +23 @@
 || VMCAI || Sep || Jan || Verification, Model Checking, Abstract Interpretation ||
 || PLDI || Nov || Jun || compilers, programming languages ||
+
+
+A = abstract deadline,
+P = paper deadline,
+C = conference deadline.