Minor.

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},