From 24f4a50873f7ae090589c0b3f007748875738ab0 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 31 May 2022 11:07:09 +0100
Subject: Update favicon and FCCM

---
 papers.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'papers.bib')

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