diff --git a/publications.bib b/publications.bib
index bc64dbd0d6d029dc8a1ea35fe8a0f1adc4d8bac6..731009e345ae8fc36cd600d6d4bb4f492b7a9784 100644
--- a/publications.bib
+++ b/publications.bib
@@ -530,7 +530,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
   Pages     = {401--422},
   url       = {http://dx.doi.org/10.1007/978-3-319-47958-3_21},
   doi       = {10.1007/978-3-319-47958-3_21},
-  Project   = { concurrency },
+  Project   = { web },
   
   Abstract  = {We present an axiomatic specification of a key fragment of DOM using structural separation logic. This specfication allows us to develop modular reasoning about client programs that call the DOM.}
 }