From 463d6fdbce98018490edd126a79d60137f29b7db Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 1 Jul 2016 14:18:43 +0200
Subject: [PATCH 1/1] it's ICFP 2016

---
 research/publications.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/research/publications.html b/research/publications.html
index 0140db2..e8cb324 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -8,7 +8,7 @@ slug: Publications
 <ul><li>
   <b>Higher-Order Ghost State</b><br/>
   Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer<br>
-  In <a href="http://conf.researchr.org/home/icfp-2016">ICFP 2015</a>: 21st ACM SIGPLAN International Conference on Functional Programming<br>
+  In <a href="http://conf.researchr.org/home/icfp-2016">ICFP 2016</a>: 21st ACM SIGPLAN International Conference on Functional Programming<br>
   [<a href="http://plv.mpi-sws.org/iris/hogs.pdf">paper</a>]
 </li></ul>
 
-- 
2.30.2