Update publications.bib

publications.bib

@@ -619,7 +619,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
 @InProceedings{Gardner2017Towards,
   Title                    = {{Towards Logic-based Verification of JavaScript Programs}},
   Author                   = {Jos{\'{e}} {Fragoso Santos} and Philippa Gardner and Petar Maksimović and Daiva Naudžiūnienė},
-  Booktitle                = {Proceedings of 26\textsuperscript{th} conference on Automated Deduction {(CADE 26)}},
+  Booktitle                = {Proceedings of 26\textsuperscript{th} Conference on Automated Deduction {(CADE 26)}},
   Year                     = {2017},
   Pages                    = {},