2 files changed, 1 insertions, 1 deletions

diff --git a/papers.bib b/papers.bib
index 1b0ca2f..1a98af9 100644
--- a/papers.bib
+++ b/papers.bib
@@ -2,7 +2,7 @@
   author = {Pardalos, Michalis and Herklotz, Yann and Wickerson, John},
   title = {Resource Sharing for Verified High-Level Synthesis},
   year = {2022},
-  booktitle = {30th {IEEE} Annual Int. Symp. on Field-Programmable Custom Computing Machines},
+  booktitle = {30th {IEEE} Annual Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)},
   numpages = 5,
   url_artifact = {https://github.com/mpardalos/Vericert-Fun},
 }
diff --git a/static/favicon.png b/static/favicon.png
index ddb4147..5a7d906 100644
--- a/static/favicon.png
+++ b/static/favicon.png