diff --git a/publications/publications.bib b/publications/publications.bib
index 4df8906488adc54da773fd090597c90142a18947..6b083ea8cc2ed6c1e7c64e863e4492e74217a96b 100644
--- a/publications/publications.bib
+++ b/publications/publications.bib
@@ -591,7 +591,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
 @InProceedings{daRochaPinto2015Steps,
   Title                    = {{Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)}},
   Author                   = {Pedro {da Rocha Pinto} and Thomas Dinsdale-Young and Philippa Gardner},
-  Booktitle                = {Proceedings of the 31\textsuperscript{st} Conference on the Mathematical Foundations of Programming Semantics},
+  Booktitle                = {Proceedings of the 31\textsuperscript{st} Conference on the Mathematical Foundations of Programming Semantics ({MFPS})},
   Year                     = {2015},
   Month                    = {June},
   Pages                    = {3--18},