--- a/README	Thu Nov 29 21:59:38 2012 +0000
+++ b/README	Tue Feb 19 04:21:11 2013 +0000
@@ -26,10 +26,10 @@
 Literature    ... some relevant papers about binders and
                   Core-Haskell
 
-Paper         ... submitted to ESOP
+Paper         ... accepted at ESOP
 
 Pearl         ... accepted at ITP 
-Pearl-jv      ... journal version
+Pearl-jv      ... accepted at LMCS
 
 Quotient-Paper .. accepted to SAC